Συγχρονισμός στα Κατανεμημένα Συστήματα και Κατανεμημένος Υπολογισμός

Abstract

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

Since distributed systems (DS) communicate asynchronously through messages, the requirement for synchronization between communicating entities arises. In this chapter, we examine the concept of logical clocks and vector clocks, where unlike physical clocks, time is determined based on the sequence of events that occur, and is expressed by timestamps. Algorithms for the arrangement and sequence of events occurring in a DS are analyzed. In addition, global states and the consistency of a distributed computation are examined, as an execution of a DS may not be realistic, and a distributed computation may have many possible executions.