2007-2008:Κατανεμημένα Συστήματα Ι:Υλικό Διαλέξεων

Από DistrSys

Πίνακας περιεχομένων

1η διάλεξη (Δευτέρα, 15 Οκτωβρίου 2007)

Ύλη:

  • Εισαγωγή στα Κατανεμημένα Συστήματα


Διαφάνειες:


Σχετικό υλικό:

  • Εισαγωγή απο τις σημειώσεις του μαθήματος
  • Τόμος Ι απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 1: Βασικά Χαρακτηριστικά των Κατανεμημένων Συστημάτων
    • Κεφάλαιο 2: Σκοποί Σχεδιασμού και Λογικά ρολόγια
      • 2.1: Εισαγωγή
      • 2.2: Βασικά θέματα σχεδιασμού
      • 2.3: Απαιτήσεις χρηστών
  • Πανεπιστημιακές Σημειώσεις "Λειτουργικά Συστήματα" (Π.Τριανταφύλλου):
    • Κεφάλαιο 7: Εισαγωγή σε Κατανεμημένα Συστήματα
  • Βιβλίο "Κατανεμημένα Συστήματα με Java" (Ι.Κ.Κάβουρας, Ι.Ζ.Μήλης, Γ.Β.Ξυλωμένος, Α.Α.Ρουκουνάκη), ISBN 9602098295
    • Κεφάλαιο 1: Εισαγωγή
  • Βιβλίο "Distributed Algorithms" (N.Lynch), ISBN 1558603484:
    • Chapter 1: Introduction
  • Βιβλίο "Distributed Computing Fundamentals, Simulations, and Advanced Topics" (H.Attiya, J.Welch), ISBN 0471453242:
    • Chapter 1: Introduction
  • Βιβλίο "Introduction to Distributed Algorithms" (G.Tel), ISBN 0521794838:
    • Chapter 1: Introduction: Distributed Systems
  • Βιβλίο "Distributed Systems, Concepts and Design" (G.Coulouris, J.Dollimore, T.Kindberg), ISBN 0201619180:
    • Chapter 1: Characterization of Distributed Systems
  • Βιβλίο "Distributed Systems: Principles and Paradigms" (A.Tanenbaum, M.Steen), ISBN 0130888931:
    • Chapter 1: Introduction


Υλικό στο διαδίκτυο:


Ερώτηση Διάλεξης:

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


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Σωστή 
 2803  Κανελλόπουλος Βασίλης  ✓ 
 2946  Σιώκης Απόστολος  ✓ 
 2965  Τόκας Θεοφάνης  ✓ 
 2983  Χωμενίδης Χαράλαμπος  ✓ 
 3050  Ακριβόπουλος Ορέστης  ✓ 
 3072  Γερακιός Κώστας  ✓ 
 3092  Δούβρης Αριστείδης  ✓ 
 3095  Ζαγγανά Ελένη  ✓ 
 3149  Μαρίνος Ηλίας  ✓ 
 3186  Παπαπαναγιώτου Βασίλης  ✓ 
 3202  Πουλημένος Προκόπιος  ✓ 
 3221  Σταμάτης Απόστολος  ✓ 
 3236  Τσώτας Σωτήριος  ✓ 
 3251  Ανδρέου Ανδρέας  ✓ 
 3253  Ηλιάδης Σωκράτης  ✓ 
 3255  Σαββίδης Γρηγόρης  ✓ 
 3256  Πασχαλίδης Χαράλαμπος  ✓ 
 3257  Δημοσθένους Γιώργος  ✓ 
  
 ΑΜ   Ονοματεπώνυμο   Σωστή 
 3278  Οικονόμου Γεώργιος  ✓ 
 3280  Λογαράς Μάριος  ✓ 
 3312  Ιωαννίδης Ιωάννης  ✓ 
 3371  Ευσταθίου Διονύσης  ✓ 
 3376  Θηραιού Μαρία-Ειρήνη  ✓ 
 3385  Καλοφωλιάς Βασίλης  ✓ 
 3424  Λούκας Ανδρέας  ✓ 
 3451  Νάφας Αλέξανδρος  ✓ 
 3471  Πατλάκας Ιωάννης  ✓ 
 3476  Πουλοκέφαλος Νικόλαος  ✓ 
 3488  Σπύρου Δήμητρα  ✓ 
 3531  Μαλλιαρός Φραγκίσκος  ✓ 
 3544  Βούρκος Ανδρέας  ✓ 
 3545  Αντωνίου Αθανάσιος  ✓ 
 3552  Μάρκου Μάριος  ✓ 
 3555  Πιερής Χρίστος  ✓ 
 3581  Σέχου Αουρέλα  ✓ 


2η διάλεξη (Δευτέρα, 22 Οκτωβρίου 2007)

Ύλη:

  • Μοντέλο Σύγχρονων Συστημάτων
  • Εκλογή Αρχηγού


Διαφάνειες:


Σχετικό υλικό:

  • Τόμος Ι απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 3: Βασικά πρωτόκολλα Εκλογής Αρχηγού
      • 3.1: Ο αλγόριθμος των Chang & Roberts
      • 3.4: Εκλογή αρχηγού σε Σύγχρονους Δακτύλιους Επεξεργαστών
  • Βιβλίο "Κατανεμημένα Συστήματα με Java" (Ι.Κ.Κάβουρας, Ι.Ζ.Μήλης, Γ.Β.Ξυλωμένος, Α.Α.Ρουκουνάκη), ISBN 9602098295
    • Κεφάλαιο 6: Εκλογή Αρχηγού
  • Βιβλίο "Distributed Algorithms" (N.Lynch), ISBN 1558603484:
    • Chapter 2: Modelling I: Synchronous Network Model
    • Chapter 3: Leader Election in a Synchronous Ring
    • Chapter 4: Algorithms in General Synchronous Networks
      • 4.1: Leader Election in General Network
  • Βιβλίο "Distributed Computing Fundamentals, Simulations, and Advanced Topics" (H.Attiya, J.Welch), ISBN 0471453242:
    • Chapter 2: Basic Algorithms in Message Passing Systems
      • 2.1: Formal Model for Message Passing Systems
    • Chapter 3: Leader Election in Rings
      • 3.1: The Leader Election Problem
      • 3.4: Synchronous Rings
  • Βιβλίο "Introduction to Distributed Algorithms" (G.Tel), ISBN 0521794838:
    • Chapter 2: The Model
      • 2.1: Transition Systems and Algorithms
        • 2.1.1: Transision System
        • 2.1.3: Systems with Synchronous Message Passing
      • 2.4: Additional Assumptions, Complexity
    • Chapter 7: Election Algorithms
      • 7.1: Introduction
      • 7.2: Ring Networks
  • Βιβλίο "Distributed Systems, Concepts and Design" (G.Coulouris, J.Dollimore, T.Kindberg), ISBN 0201619180:
    • Chapter 2: System Models
    • Chapter 11: Coordination and Agreement
      • 11.3: Elections
  • Βιβλίο "Distributed Systems: Principles and Paradigms" (A.Tanenbaum, M.Steen), ISBN 0130888931:
    • Chapter 5: Synchronization
      • 5.4: Election Algorithms


Ερώτηση Διάλεξης:

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


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Σωστή 
 2437  Θεοδώρου Δημήτρης  X 
 2784  Μπέλλος Γιώργος  ✓ 
 2880  Λυκοκανέλλος Φιλοποίμην  ✓ 
 2946  Σιώκης Απόστολος  ✓ 
 2953  Σπυρώνης Ιωάννης  X 
 2963  Τσαμπίκας Σπυρίδων  X 
 2965  Τόκας Θεοφάνης  ✓ 
 2983  Χωμενίδης Χαράλαμπος  ✓ 
 3027  Δημόπουλος Κωνσταντίνος  X 
 3050  Ακριβόπουλος Ορέστης  X 
 3067  Βλαχογιάννη Μαρία-Όλγα  ✓ 
 3072  Γερακιός Κώστας  ✓ 
 3095  Ζαγγανά Ελένη  ✓ 
 3102  Καλοφωλιάς Γιάννης  ✓ 
 3129  Κουμπούρη Αθανασία  ✓ 
 3132  Κουτσουπιά Μαργαρίτα  X 
 3149  Μαρίνος Ηλίας  ✓ 
 3179  Ντάσιος Βαγγέλης  ✓ 
 3186  Παπαπαναγιώτου Βασίλης  ✓ 
 3194  Πασιόπουλος Ανδρέας  ✓ 
 3202  Πουλημένος Προκόπιος  ✓ 
 3221  Σταμάτης Απόστολος  ✓ 
 3223  Στάμου Σπύρος  ✓ 
 3236  Τσώτας Σωτήριος  X 
  
 ΑΜ   Ονοματεπώνυμο   Σωστή 
 3251  Ανδρέου Ανδρέας  ✓ 
 3253  Ηλιάδης Σωκράτης  ✓ 
 3255  Σαββίδης Γρηγόρης  ✓ 
 3256  Πασχαλίδης Χαράλαμπος  ✓ 
 3257  Δημοσθένους Γιώργος  ✓ 
 3280  Λογαράς Μάριος  ✓ 
 3316  Κουτσουρίδης Χάρης  ✓ 
 3343  Αντωνίου Μαρία  X 
 3352  Γεροσταμούλος Αθανάσιος  ✓ 
 3366  Δημητρακόπουλος Γεώργιος  ✓ 
 3371  Ευσταθίου Διονύσης  ✓ 
 3385  Καλοφωλιάς Βασίλης  ✓ 
 3424  Λούκας Ανδρέας  ✓ 
 3447  Μπούσης Δημήτρης  ✓ 
 3451  Νάφας Αλέξανδρος  ✓ 
 3471  Πατλάκας Ιωάννης  ✓ 
 3476  Πουλοκέφαλος Νικόλαος  ✓ 
 3488  Σπύρου Δήμητρα  X 
 3507  Τσολάκος Λάμπρος  ✓ 
 3531  Μαλλιαρός Φραγκίσκος  ✓ 
 3544  Βούρκος Ανδρέας  ✓ 
 3545  Αντωνίου Αθανάσιος  ✓ 
 3552  Μάρκου Μάριος  ✓ 
 3581  Σέχου Αουρέλα  ✓ 


3η διάλεξη (Δευτέρα, 29 Οκτωβρίου 2007)

Ύλη:

  • Αναζήτηση κατά Εύρος
  • Συντομότερα Μονοπάτια


Διαφάνειες:


Σχετικό υλικό:

  • Βιβλίο "Distributed Algorithms" (N.Lynch), ISBN 1558603484:
    • Chapter 4: Algorithms in General Synchronous Networks
  • Βιβλίο "Introduction to Distributed Algorithms" (G.Tel), ISBN 0521794838:
    • Chapter 6: Wave and Traversal Algorithms
  • Βιβλίο "Distributed Computing Fundamentals, Simulations, and Advanced Topics" (H.Attiya, J.Welch), ISBN 0471453242:
    • Chapter 2: Basic Algorithms in Message Passing Systems
  • Βιβλίο "Distributed Systems, Concepts and Design" (G.Coulouris, J.Dollimore, T.Kindberg), ISBN 0201619180:
    • Chapter 11: Coordination and Agreement


Ερώτηση Διάλεξης:

Θεωρείστε ένα σύγχρονο κατανεμημένο σύστημα με n διεργασίες συνδεδεμένες μέσω ενός γενικού δικτύου. Κάθε διεργασία έχει μια μοναδική ταυτότητα και δεν γνωρίζει το σύνολο των διεργασιών ή την τοπολογία του δικτύου. Κατά την εκτέλεση του συστήματος, σε κάθε γύρο μπορεί να συμβεί 1 σφάλμα επικοινωνίας σε ένα και μόνο ένα κανάλι. Σε κάθε εκτέλεση του συστήματος, κάθε κανάλι αποτυγχάνει σε ένα και μόνο ένα μήνυμα. Σχεδιάστε τον ποιό αποδοτικό αλγόριθμο που μπορείτε για την κατασκευή ενός επικαλυπτικού δέντρου. Ορίστε προσεκτικά τις ιδιώτητες του αλγόριθμου σας και αναλύστε την χρονική πολυπλοκότητα και πολυπλοκότητα μηνυμάτων.


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Σωστή 
 2803  Κανελλόπουλος Βασίλης  ✓ 
 2946  Σιώκης Απόστολος  ✓ 
 2965  Τόκας Θεοφάνης  ✓ 
 2983  Χωμενίδης Χαράλαμπος  ✓ 
 3027  Δημόπουλος Κωνσταντίνος  ✓ 
 3050  Ακριβόπουλος Ορέστης  ✓ 
 3052  Αλμπάνης Παναγιώτης  ✓ 
 3072  Γερακιός Κώστας  X 
 3091  Δομένικου Αικατερίνη  ✓ 
 3095  Ζαγγανά Ελένη  ✓ 
 3128  Κουκουλέτσος Δημήτρης  Χ 
 3129  Κουμπούρη Αθανασία  ✓ 
 3149  Μαρίνος Ηλίας  ✓ 
 3177  Νικολακάκου Νίκη  ✓ 
 3186  Παπαπαναγιώτου Βασίλης  X 
 3194  Πασιόπουλος Ανδρέας  ✓ 
 3221  Σταμάτης Απόστολος  ✓ 
 3223  Στάμου Σπύρος  ✓ 
 3233  Τροχαλάκης Χρήστος  ✓ 
 3236  Τσώτας Σωτήριος  ✓ 
 3251  Ανδρέου Ανδρέας  ✓ 
  
 ΑΜ   Ονοματεπώνυμο   Σωστή 
 3255  Σαββίδης Γρηγόρης  ✓ 
 3256  Πασχαλίδης Χαράλαμπος  ✓ 
 3257  Δημοσθένους Γιώργος  ✓ 
 3275  Γεωργίου Δημήτριος  ✓ 
 3278  Οικονόμου Γεώργιος  ✓ 
 3280  Λογαράς Μάριος  ✓ 
 3305  Πίκουλας Γρηγόριος  ✓ 
 3312  Ιωαννίδης Ιωάννης  ✓ 
 3316  Κουτσουρίδης Χάρης  ✓ 
 3371  Ευσταθίου Διονύσης  X 
 3376  Θηραιού Μαρία-Ειρήνη  ✓ 
 3385  Καλοφωλιάς Βασίλης  ✓ 
 3447  Μπούσης Δημήτρης  ✓ 
 3471  Πατλάκας Ιωάννης  ✓ 
 3488  Σπύρου Δήμητρα  ✓ 
 3531  Μαλλιαρός Φραγκίσκος  ✓ 
 3544  Βούρκος Ανδρέας  ✓ 
 3545  Αντωνίου Αθανάσιος  ✓ 
 3552  Μάρκου Μάριος  ✓ 
 3581  Σέχου Αουρέλα  ✓ 


4η διάλεξη (Δευτέρα, 5 Νοεμβρίου 2007)

Ύλη:

  • Συναίνεση Υπό Την Παρουσία Σφαλμάτων
  • Σφάλματα Επικοινωνίας
  • Σφάλματα Τερματισμού
    • Αλγόριθμοι Επικύρωσης


Διαφάνειες:


Σχετικό υλικό:

  • Βιβλίο "Κατανεμημένα Συστήματα με Java" (Ι.Κ.Κάβουρας, Ι.Ζ.Μήλης, Γ.Β.Ξυλωμένος, Α.Α.Ρουκουνάκη), ISBN 9602098295
    • Κεφάλαιο 19: Ανοχή Βλαβών
  • Βιβλίο "Distributed Algorithms" (N.Lynch), ISBN 1558603484:
    • Chapter 5: Distributed Consensus with Link Failures
    • Chapter 6: Distributed Consensus with Process Failures
  • Βιβλίο "Distributed Computing Fundamentals, Simulations, and Advanced Topics" (H.Attiya, J.Welch), ISBN 0471453242:
    • Chapter 5: Fault-Tolerant Consensus
  • Βιβλίο "Introduction to Distributed Algorithms" (G.Tel), ISBN 0521794838:
    • Chapter 13: Fault Tolerance in Distributed Systems
  • Βιβλίο "Distributed Systems, Concepts and Design" (G.Coulouris, J.Dollimore, T.Kindberg), ISBN 0201619180:
    • Chapter 13: Distributed Transactions
  • Βιβλίο "Distributed Systems: Principles and Paradigms" (A.Tanenbaum, M.Steen), ISBN 0130888931:
    • Chapter 7: Fault Tolerance


Ερώτηση Διάλεξης:

Θεωρείστε ένα σύγχρονο κατανεμημένο σύστημα με n διεργασίες συνδεδεμένες μέσω ενός πλήρως συνδεδεμένου δικτύου, όπου κάθε διεργασία έχει μια μοναδική ταυτότητα αλλά δεν γνωρίζει το σύνολο των διεργασιών. Κάθε διεργασία u δέχεται ως είσοδο έναν ακέραιο αριθμό iu. Σχεδιάστε έναν κατανεμημένο αλγόριθμο που να κατασκευάζει ενα επικαληπτικό δέντρο τέτοιο ώστε οι σταθμοί να εμφανίζονται στο δέντρο ταξινομημένοι ως προς τους αριθμούς που έχουν δοθεί. Οι διεργασίες έχουν σταθερού μεγέθους μνήμη.


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Σωστή 
 2803  Κανελλόπουλος Βασίλης  ✓ 
 2880  Λυκοκανέλλος Φιλοποίμην  ✓ 
 2946  Σιώκης Απόστολος  ✓ 
 3027  Δημόπουλος Κωνσταντίνος  X 
 3067  Βλαχογιάννη Μαρία-Όλγα  ✓ 
 3072  Γερακιός Κώστας  ✓ 
 3091  Δομένικου Αικατερίνη  ✓ 
 3095  Ζαγγανά Ελένη  X 
 3128  Κουκουλέτσος Δημήτρης  Χ 
 3186  Παπαπαναγιώτου Βασίλης  ✓ 
 3221  Σταμάτης Απόστολος  ✓ 
 3223  Στάμου Σπύρος  ✓ 
 3251  Ανδρέου Ανδρέας  ✓ 
 3253  Ηλιάδης Σωκράτης  ✓ 
 3255  Σαββίδης Γρηγόρης  ✓ 
 3256  Πασχαλίδης Χαράλαμπος  ✓ 
 3257  Δημοσθένους Γιώργος  ✓ 
 3278  Οικονόμου Γεώργιος  ✓ 
  
 ΑΜ   Ονοματεπώνυμο   Σωστή 
 3280  Λογαράς Μάριος  ✓ 
 3305  Πίκουλας Γρηγόριος  ✓ 
 3312  Ιωαννίδης Ιωάννης  X 
 3352  Γεροσταμούλος Αθανάσιος  ✓ 
 3371  Ευσταθίου Διονύσης  X 
 3385  Καλοφωλιάς Βασίλης  ✓ 
 3424  Λούκας Ανδρέας  ✓ 
 3447  Μπούσης Δημήτρης  X 
 3451  Νάφας Αλέξανδρος  ✓ 
 3471  Πατλάκας Ιωάννης  ✓ 
 3476  Πουλοκέφαλος Νικόλαος  ✓ 
 3488  Σπύρου Δήμητρα  X 
 3531  Μαλλιαρός Φραγκίσκος  ✓ 
 3544  Βούρκος Ανδρέας  ✓ 
 3545  Αντωνίου Αθανάσιος  ✓ 
 3552  Μάρκου Μάριος  ✓ 
 3581  Σέχου Αουρέλα  ✓ 


5η διάλεξη (Δευτέρα, 12 Νοεμβρίου 2007)

Ύλη:

  • Βυζαντινά Σφάλματα
  • Μοντέλο Ασύγχρονων Συστημάτων
    • Εκλογή Αρχηγού
    • Κατασκευή Επικαλυπτικών Δέντρων
    • Αναζήτηση κατά Εύρος


Διαφάνειες:


Σχετικό υλικό:

  • Τόμος Ι απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 3: Βασικά πρωτόκολλα Εκλογής Αρχηγού
    • Κεφάλαιο 7: Βασικοί Αλγόριθμοι Επικοινωνίας με Πέρασμα Μηνυμάτων
  • Βιβλίο "Κατανεμημένα Συστήματα με Java" (Ι.Κ.Κάβουρας, Ι.Ζ.Μήλης, Γ.Β.Ξυλωμένος, Α.Α.Ρουκουνάκη), ISBN 9602098295
    • Κεφάλαιο 6: Εκλογή Αρχηγού
  • Βιβλίο "Distributed Algorithms" (N.Lynch), ISBN 1558603484:
    • Chapter 8: Modelling II: Asynchronous System Model
      • 8.1: I/O Automata
      • 8.2: Operations on Automata
    • Chapter 14: Modelling IV: Asynchronous Network Model
    • Chapter 15: Basic Asynchronous Network Algorithms
  • Βιβλίο "Distributed Computing Fundamentals, Simulations, and Advanced Topics" (H.Attiya, J.Welch), ISBN 0471453242:
    • Chapter 2: Basic Algorithms in Message Passing Systems
    • Chapter 3: Leader Election in Rings
  • Βιβλίο "Introduction to Distributed Algorithms" (G.Tel), ISBN 0521794838:
    • Chapter 2: The Model
    • Chapter 6: Wave and Traversal Algorithms
    • Chapter 7: Election Algorithms
  • Βιβλίο "Distributed Systems, Concepts and Design" (G.Coulouris, J.Dollimore, T.Kindberg), ISBN 0201619180:
    • Chapter 2: System Models
    • Chapter 11: Coordination and Agreement
  • Βιβλίο "Distributed Systems: Principles and Paradigms" (A.Tanenbaum, M.Steen), ISBN 0130888931:
    • Chapter 5: Synchronization
      • 5.4: Election Algorithms


Υλικό στο διαδίκτυο:


6η διάλεξη (Δευτέρα, 19 Νοεμβρίου 2007)

Ύλη:

  • Δρομολόγηση
  • Συγχρονισμός
  • Συγχρονισμός Ρολογιών


Διαφάνειες:


Σχετικό υλικό:

  • Τόμος Ι απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 4: Συγχρονιστές
    • Κεφάλαιο 5: Αλγόριθμοι Δρομολόγησης
  • Βιβλίο "Κατανεμημένα Συστήματα με Java" (Ι.Κ.Κάβουρας, Ι.Ζ.Μήλης, Γ.Β.Ξυλωμένος, Α.Α.Ρουκουνάκη), ISBN 9602098295
    • Κεφάλαιο 2: Διάταξη γεγονότων
      • 2.1 Εισαγωγή
      • 2.2 Συγχρονισμός φυσικών ρολογιών
  • Βιβλίο "Distributed Algorithms" (N.Lynch), ISBN 1558603484:
    • Chapter 16: Synchronizers
  • Βιβλίο "Distributed Computing Fundamentals, Simulations, and Advanced Topics" (H.Attiya, J.Welch), ISBN 0471453242:
    • Chapter 11: Simulating Synchrony
  • Βιβλίο "Introduction to Distributed Algorithms" (G.Tel), ISBN 0521794838:
    • Chapter 12: Synchrony in Networks
      • 12.3 Synchronizer Algorithms
      • 12.4 Application: Breadth-first Search
    • Chapter 15: Fault Tolerance in Synchronous Systems
      • 15.3 Clock Synchronization
  • Βιβλίο "Distributed Systems, Concepts and Design" (G.Coulouris, J.Dollimore, T.Kindberg), ISBN 0201619180:
    • Chapter 10: Time and Global States
      • 10.1 Introduction
      • 10.2 Clocks, events and process states
      • 10.3 Synchronizing physical clocks
  • Βιβλίο "Distributed Systems: Principles and Paradigms" (A.Tanenbaum, M.Steen), ISBN 0130888931:
    • Chapter 5: Synchronization
      • 5.1: Clock Synchronization


Υλικό στο διαδίκτυο:


Ερώτηση Διάλεξης:

Θεωρείστε ένα ασύγχρονο κατανεμημένο σύστημα με n διεργασίες συνδεδεμένες μέσω ενός μη-κατευθυνόμενου, πλήρως συνδεδεμένου δικτύου. Τροποποιείστε τον αλγόριθμο SimpleSync έτσι ώστε να να επιτρέπει στις διεργασίες να εκτελέσουν r συγχρονισμένα βήματα ακόμα και αν συμβούν σ σφάλματα επικοινωνίας κατά την διάρκεια προσομοίωσης των r γύρων.


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Σωστή 
 2946  Σιώκης Απόστολος  ✓ 
 3027  Δημόπουλος Κωνσταντίνος  ✓ 
 3072  Γερακιός Κώστας  ✓ 
 3091  Δομένικου Αικατερίνη  ✓ 
 3095  Ζαγγανά Ελένη  ✓ 
 3128  Κουκουλέτσος Δημήτρης  ✓ 
 3186  Παπαπαναγιώτου Βασίλης  ✓ 
 3202  Πουλημένος Προκόπιος  ✓ 
 3223  Στάμου Σπύρος  ✓ 
 3251  Ανδρέου Ανδρέας  ✓ 
 3253  Ηλιάδης Σωκράτης  ✓ 
 3256  Πασχαλίδης Χαράλαμπος  ✓ 
  
 ΑΜ   Ονοματεπώνυμο   Σωστή 
 3280  Λογαράς Μάριος  ✓ 
 3305  Πίκουλας Γρηγόριος  ✓ 
 3316  Κουτσουρίδης Χάρης  ✓ 
 3352  Γεροσταμούλος Αθανάσιος  ✓ 
 3471  Πατλάκας Ιωάννης  ✓ 
 3488  Σπύρου Δήμητρα  ✓ 
 3531  Μαλλιαρός Φραγκίσκος  ✓ 
 3544  Βούρκος Ανδρέας  ✓ 
 3545  Αντωνίου Αθανάσιος  ✓ 
 3552  Μάρκου Μάριος  ✓ 
 3581  Σέχου Αουρέλα  ✓ 


7η διάλεξη (Δευτέρα, 26 Νοεμβρίου 2007)

Ύλη:

  • Διάταξη Γεγονότων και Λογικός Χρόνος
  • Αμοιβαίος Αποκλεισμός


Διαφάνειες:


Σχετικό υλικό:

  • Τόμος Ι απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 2: Σκοποί Σχεδιασμού και Λογικά ρολόγια
      • 2.4 Ανεξαρτησία και εξάρτηση γεγονότων
      • 2.5 Λογικά Ρολόγια (Logical Clocks)
  • Πανεπιστημιακές Σημειώσεις "Λειτουργικά Συστήματα" (Π.Τριανταφύλλου):
    • Κεφάλαιο 11: Συντονισμός Γεγονότων σε Κατανεμημένα Συστήματα
  • Βιβλίο "Κατανεμημένα Συστήματα με Java" (Ι.Κ.Κάβουρας, Ι.Ζ.Μήλης, Γ.Β.Ξυλωμένος, Α.Α.Ρουκουνάκη), ISBN 9602098295
    • Κεφάλαιο 2: Διάταξη γεγονότων
    • Κεφάλαιο 3: Αμοιβαίος αποκλεισμός
  • Βιβλίο "Distributed Algorithms" (N.Lynch), ISBN 1558603484:
    • Chapter 18: Logical Time
  • Βιβλίο "Distributed Computing Fundamentals, Simulations, and Advanced Topics" (H.Attiya, J.Welch), ISBN 0471453242:
    • Chapter 6: Causality and Time
      • 6.1 Capturing Causality
  • Βιβλίο "Introduction to Distributed Algorithms" (G.Tel), ISBN 0521794838:
    • Chapter 2: The Model
      • 2.3 Synchronizer Algorithms
  • Βιβλίο "Distributed Systems, Concepts and Design" (G.Coulouris, J.Dollimore, T.Kindberg), ISBN 0201619180:
    • Chapter 10: Time and Global States
      • 10.4 Logical time and logical clocks
    • Chapter 11: Coordination and Agreement
      • 11.2 Mutual Exclusion
  • Βιβλίο "Distributed Systems: Principles and Paradigms" (A.Tanenbaum, M.Steen), ISBN 0130888931:
    • Chapter 5: Synchronization
      • 5.2 Logical Clocks


Υλικό στο διαδίκτυο:


Ερώτηση Διάλεξης:

Αποδείξτε την ορθότητα του αλγόριθμου LamportME


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Σωστή 
 2803  Κανελλόπουλος Βασίλης  ✓ 
 2953  Σπυρώνης Ιωάννης  X 
 3027  Δημόπουλος Κωνσταντίνος  ✓ 
 3050  Ακριβόπουλος Ορέστης  X 
 3067  Βλαχογιάννη Μαρία-Όλγα  X 
 3072  Γερακιός Κώστας  X 
 3091  Δομένικου Αικατερίνη  ✓ 
 3095  Ζαγγανά Ελένη  X 
 3128  Κουκουλέτσος Δημήτρης  X 
 3149  Μαρίνος Ηλίας  X 
 3202  Πουλημένος Προκόπιος  ✓ 
 3221  Σταμάτης Απόστολος  X 
 3223  Στάμου Σπύρος  X 
 3251  Ανδρέου Ανδρέας  X 
 3253  Ηλιάδης Σωκράτης  X 
  
 ΑΜ   Ονοματεπώνυμο   Σωστή 
 3255  Σαββίδης Γρηγόρης  X 
 3256  Πασχαλίδης Χαράλαμπος  X 
 3257  Δημοσθένους Γιώργος  X 
 3278  Οικονόμου Γεώργιος  X 
 3280  Λογαράς Μάριος  ✓ 
 3305  Πίκουλας Γρηγόριος  X 
 3312  Ιωαννίδης Ιωάννης  ✓ 
 3352  Γεροσταμούλος Αθανάσιος  X 
 3371  Ευσταθίου Διονύσης  ✓ 
 3471  Πατλάκας Ιωάννης  ✓ 
 3531  Μαλλιαρός Φραγκίσκος  ✓ 
 3544  Βούρκος Ανδρέας  X 
 3545  Αντωνίου Αθανάσιος  ✓ 
 3552  Μάρκου Μάριος  ✓ 
 3581  Σέχου Αουρέλα  ✓ 


8η διάλεξη (Δευτέρα, 3 Δεκεμβρίου 2007)

Ύλη:

  • Καθολικές Καταστάσεις
  • Ολικά Συνεπή Στιγμιότυπα


Διαφάνειες:


Σχετικό υλικό:

  • Βιβλίο "Distributed Algorithms" (N.Lynch), ISBN 1558603484:
    • Chapter 19: Global Snapshots and Stable Properties
  • Βιβλίο "Introduction to Distributed Algorithms" (G.Tel), ISBN 0521794838:
    • Chapter 10: Snapshots
  • Βιβλίο "Κατανεμημένα Συστήματα με Java" (Ι.Κ.Κάβουρας, Ι.Ζ.Μήλης, Γ.Β.Ξυλωμένος, Α.Α.Ρουκουνάκη), ISBN 9602098295
    • Κεφάλαιο 4: Καθολικές καταστάσεις


Υλικό στο διαδίκτυο:


Ερώτηση Διάλεξης:

Θεωρείστε ένα ασύγχρονο κατανεμημένο σύστημα με n διεργασίες συνδεδεμένες μέσω ενός γενικού δικτύου. Κάθε διεργασία έχει μια μοναδική ταυτότητα και δεν γνωρίζει το σύνολο των διεργασιών ή την τοπολογία του δικτύου. Σχεδιάστε έναν αλγόριθμο που επιτρέπει σε όλες τις διεργασίες να υπολογίσει την διάμετρο του δικτύου. Συζητήστε την χρονική πολυπλοκότητα και πολυπλοκότητα επικοινωνίας του αλγόριθμου σας.


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Σωστή 
 2803  Κανελλόπουλος Βασίλης  ✓ 
 2946  Σιώκης Απόστολος  ✓ 
 2953  Σπυρώνης Ιωάννης  ✓ 
 3067  Βλαχογιάννη Μαρία-Όλγα  ✓ 
 3091  Δομένικου Αικατερίνη  ✓ 
 3128  Κουκουλέτσος Δημήτρης  ✓ 
 3221  Σταμάτης Απόστολος  ✓ 
 3251  Ανδρέου Ανδρέας  ✓ 
 3255  Σαββίδης Γρηγόρης  ✓ 
 3256  Πασχαλίδης Χαράλαμπος  ✓ 
 3257  Δημοσθένους Γιώργος  ✓ 
 3280  Λογαράς Μάριος  X 
  
 ΑΜ   Ονοματεπώνυμο   Σωστή 
 3305  Πίκουλας Γρηγόριος  ✓ 
 3316  Κουτσουρίδης Χάρης  ✓ 
 3352  Γεροσταμούλος Αθανάσιος  X 
 3385  Καλοφωλιάς Βασίλης  ✓ 
 3447  Μπούσης Δημήτρης  X 
 3451  Νάφας Αλέξανδρος  ✓ 
 3471  Πατλάκας Ιωάννης  ✓ 
 3507  Τσολάκος Λάμπρος  ✓ 
 3531  Μαλλιαρός Φραγκίσκος  ✓ 
 3545  Αντωνίου Αθανάσιος  ✓ 
 3552  Μάρκου Μάριος  ✓ 
 3581  Σέχου Αουρέλα  ✓ 


9η διάλεξη (Δευτέρα, 10 Δεκεμβρίου 2007)

Ύλη:

  • Αποτίμηση Καθολικού Κατηγορήματος
  • Ανίχνευση Τερματισμού


Διαφάνειες:


Σχετικό υλικό:

  • Τόμος ΙΙ απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 2: Ανίχνευση Τερματισμού
  • Βιβλίο "Distributed Algorithms" (N.Lynch), ISBN 1558603484:
    • Chapter 19: Global Snapshots and Stable Properties
  • Βιβλίο "Introduction to Distributed Algorithms" (G.Tel), ISBN 0521794838:
    • Chapter 10: Snapshots
  • Βιβλίο "Κατανεμημένα Συστήματα με Java" (Ι.Κ.Κάβουρας, Ι.Ζ.Μήλης, Γ.Β.Ξυλωμένος, Α.Α.Ρουκουνάκη), ISBN 9602098295
    • Κεφάλαιο 5: Αποτίμηση καθολικού κατηγορήματος


10η διάλεξη (Δευτέρα, 17 Δεκεμβρίου 2007)

Ύλη:

  • Σταθεροποίηση / Αυτο-σταθεροποίηση
    • Τεχνική Power-Supply
    • Αμοιβαίος Αποκλεισμός
    • Αναζήτηση κατά Εύρος
    • Εκλογή Αρχηγού


Διαφάνειες:


Σχετικό υλικό:

  • Τόμος ΙΙ απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 4: Κατανεμημένα Συστήματα με Ανοχή σε Σφάλματα
  • Βιβλίο "Introduction to Distributed Algorithms" (G.Tel), ISBN 0521794838:
    • Chapter 13: Fault Tolerance in Distributed Systems
    • Chapter 17: Stabilization
Ανακτήθηκε από το "http://www.ceid.upatras.gr/courses/katanemhmena/wiki/index.php/2007-2008:%CE%9A%CE%B1%CF%84%CE%B1%CE%BD%CE%B5%CE%BC%CE%B7%CE%BC%CE%AD%CE%BD%CE%B1_%CE%A3%CF%85%CF%83%CF%84%CE%AE%CE%BC%CE%B1%CF%84%CE%B1_%CE%99:%CE%A5%CE%BB%CE%B9%CE%BA%CF%8C_%CE%94%CE%B9%CE%B1%CE%BB%CE%AD%CE%BE%CE%B5%CF%89%CE%BD".