Κατανεμημένα Συστήματα: Θεωρία και Προγραμματισμός - Open Courses (INF105)

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

Λέξεις κλειδιά: Συγχρονισμός, χρονιστές, καταστάσεις, στιγμιότυπα, παρατηρήσεις, κατηγορήματα, αδιέξοδα, αμοιβαίος αποκλεισμός.