Περίληψη: | Δεδομένου ότι στα κατανεμημένα συστήματα (ΚΣ) η επικοινωνία γίνεται ασύγχρονα μέσω μηνυμάτων, εγείρεται η απαίτηση για συγχρονισμό μεταξύ των οντοτήτων που επικοινωνούν. Σε αυτό το κεφάλαιο εξετάζεται η έννοια των λογικών ρολογιών και των διανυσματικών ρολογιών, όπου αντίθετα από τα φυσικά ρολόγια, ο χρόνος καθορίζεται με βάση τη σειρά των γεγονότων που συμβαίνουν, και εκφράζεται με τις χρονοσφραγίδες. Επίσης, αναλύονται οι αλγόριθμοι για τη διάταξη και την αλληλουχία των γεγονότων που συμβαίνουν σε ένα ΚΣ. Επιπρόσθετα, εξετάζονται οι καθολικές καταστάσεις και η συνέπεια ενός κατανεμημένου υπολογισμού, καθώς μια εκτέλεση ενός ΚΣ μπορεί να μην είναι ρεαλιστική και ένας κατανεμημένος υπολογισμός μπορεί να έχει πολλές ενδεχόμενες εκτελέσεις.
|