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

Από DistrSys

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

1η διάλεξη (Τετάρτη, 18 Οκτωβρίου 2006)

Ύλη:

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


Διαφάνειες:


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

  • Εισαγωγή απο τις σημειώσεις του μαθήματος
  • Τόμος Ι απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 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


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


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

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


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Σωστή 
 3125  Κοντοτάσιου Ιωάννα  ✓ 
 3171  Μπέσσας Απόστολος  ✓ 
 3180  Παγανια Δήμητρα-Δέσποινα  ✓ 
 3221  Σταμάτης Απόστολος  ✓ 


2η διάλεξη (Τρίτη, 31 Οκτωβρίου 2006)

Ύλη:

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


Διαφάνειες:


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

  • Τόμος Ι απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 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 διεργασίες συνδεδεμένες μέσω ενός δικτύου δακτυλίου. Κάθε διεργασία γνωρίζει το σύνολο των διεργασιών και την τοπολογία του δικτύου αλλά δεν έχει μια μοναδική ταυτότητα. Σχεδιάστε έναν πιθανοτικό αλγόριθμο για το πρόβλημα της εκλογής αρχηγού (δηλ. οι διεργασίες μπορούν να παίρνουν τυχαίες αποφάσεις). Ορίστε προσεκτικά τις ιδιώτητες του αλγόριθμου σας (π.χ. είναι εγγυημένη η ορθότητα ή υπάρχει μικρή πιθανότητα αποτυχίας;). Αναλύστε την χρονική πολυπλοκότητα και πολυπλοκότητα μηνυμάτων (κατά μέση τιμή).


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Σωστή 
 2724  Σιδέρης Κυριάκος  ✓ 
 2864  Κουκόπουλος Ζώης  ✓ 
 2893  Μόσχος Βασίλειος  ✓ 
 2932  Ραμάντα Ιωάννα  ✓ 
 2952  Σπύρου Αναστασία  ✓ 
 3112  Καραμπίνας Δημήτρης  ✓ 
 3171  Μπέσσας Απόστολος  ✓ 


3η διάλεξη (Τετάρτη, 8 Νοεμβρίου 2006)

Ύλη:

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


Διαφάνειες:


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

  • Τόμος Ι απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 7: Βασικοί Αλγόριθμοι Επικοινωνίας με Πέρασμα Μηνυμάτων
  • Βιβλίο "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


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

Ερώτημα A
Θεωρείστε ένα σύγχρονο κατανεμημένο σύστημα με n διεργασίες συνδεδεμένες μέσω ενός γενικού δικτύου. Κάθε διεργασία έχει μια μοναδική ταυτότητα και δεν γνωρίζει το σύνολο των διεργασιών ή την τοπολογία του δικτύου. Σχεδιάστε τον ποιό αποδοτικό αλγόριθμο που μπορείτε για την κατασκευή ενός ελάχιστου-ύψους επικαλυπτικού δέντρου. Ορίστε προσεκτικά τις ιδιώτητες του αλγόριθμου σας και αναλύστε την χρονική πολυπλοκότητα και πολυπλοκότητα μηνυμάτων.
Ερώτημα B
Θεωρείστε ένα σύγχρονο κατανεμημένο σύστημα με n διεργασίες 1,...,n, συνδεδεμένες μέσω ενός δικτύου γραμμής. Οι διεργασίες μπορούν να ξεχωρίσουν τον δεξιό γείτονα τους από τον αριστερό και γνωρίζουν αν είναι στις άκρες του δικτύου. Κάθε διεργασία u δέχεται ως είσοδο έναν ακέραιο αριθμό iu και έχει σταθερού μεγέθους μνήμη. Σχεδιάστε έναν αλγόριθμο που ταξινομεί τους αριθμούς μεταξύ των διεργασιών, όπου κάθε διεργασία u θα δίνει έξοδο έναν ακέραιο αριθμό ou και το σύνολο τιμών εξόδου είναι ίσο με το σύνολο τιμών εισόδου και o1≤...≤on. Προσπαθήστε να σχεδιάσεται τον ποιό αποδοτικό αλγόριθμο ως προς την χρονική πολυπλοκότητα και πολυπλοκότητα μηνυμάτων.


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Α Σωστή   B Σωστή 
 2812  Αντωνέλλης Δημήτριος     
 2846  Ζούζιας Αναστάσιος    ✓ 
 2916  Παπουτσάκης Κων/νος     
 2932  Ραμάντα Ιωάννα    ✓ 
 2952  Σπύρου Αναστασία  ✓  ✓ 
 3078  Γιαννούλης Γιώργος  ✓  ✓ 
 3112  Καραμπίνας Δημήτρης    ✓ 
 3171  Μπέσσας Απόστολος  ✓  ✓ 
 3180  Παγανιά Δήμητρα-Δέσποινα     
 3207  Ηλίας Ρίνης  ✓  ✓ 


4η διάλεξη (Τετάρτη, 15 Νοεμβρίου 2006)

Ύλη:

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


Διαφάνειες:


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

  • Βιβλίο "Κατανεμημένα Συστήματα με 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


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

Ερώτημα A
Θεωρείστε ένα σύγχρονο κατανεμημένο σύστημα με n=4 διεργασίες συνδεδεμένες μέσω ενός μη-κατευθυνόμενου, πλήρως συνδεδεμένου δικτύου. Σχεδιάστε έναν αλγόριθμο που λύνει το πρόβλημα της επικύρωσης δοσοληψιών στην περίπτωση που συμβούν σ=3 σφάλματα τερματισμού. Προσπαθήστε να σχεδιάσεται τον ποιό αποδοτικό αλγόριθμο ως προς την χρονική πολυπλοκότητα.
Ερώτημα B
Θεωρείστε ένα σύγχρονο κατανεμημένο σύστημα με n=3 μονάδες u1,u2,u3 συνδεδεμένες μέσω ενός μη-κατευθυνόμενου δικτύου με m=2 κανάλια επικοινωνίας, συγκεκριμένα u1u2 και u1u3. Κάθε διεργασία u έχει μοναδική ταυτότητα και πιο συγκεκριμένα, οι ταυτότητες των u2 και u3 είναι διαδοχικοί φυσικοί αριθμοί, δηλ. αν u2=50 τότε η ταυτότητα της u3 θα είναι είτε 49 είτε 51. Κάθε γύρο, η διεργασία u1 θέτει την εξής ερώτηση σε μια από τις u2 και u3: "Γνωρίζεις την ταυτότητα της άλλης διεργασίας?". Οι u2,u3 μπορούν μόνο να απαντήσουν θετικά ή αρνητικά στις ερωτήσεις της u1 και δεν επιτρέπεται να θέσουν δικές τους ερωτήσεις. Υπάρχει τρόπος η u2 ή η u3 να μπορέσει να απαντήσει στην ερώτηση της u1 θετικά? Αν ναι, πώς? Αν όχι, γιατί?


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Α Σωστή   B Σωστή 
 2724  Σιδέρης Κυριάκος  ✓  ✓ 
 2830  Γκατζέλης Βασίλης  ✓  ✓ 
 2864  Κουκόπουλος Ζώης  ✓  ✓ 
 2893  Μόσχος Βασίλειος  ✓  ✓ 
 2932  Ραμαντά Ιωάννα  ✓  ✓ 
 2952  Σπύρου Αναστασία  ✓   
 3112  Καραμπίνας Δημήτρης    ✓ 
 3125  Κοντοτάσιου Ιωάννα     
 3130  Κούστα Μαρία  ✓  ✓ 
 3171  Μπέσσας Απόστολος  ✓   
 3206  Ρεσβάνης Μιχάλης  ✓  ✓ 
 3207  Ηλίας Ρίνης  ✓  ✓ 
 3220  Σταθόπουλος Αναστάσιος    ✓ 


5η διάλεξη (Τετάρτη, 22 Νοεμβρίου 2006)

Ύλη:

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


Διαφάνειες:


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

  • Τόμος Ι απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 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


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


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

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


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Σωστή 
 2724  Σιδέρης Κυριάκος  ✓ 
 2830  Γκατζέλης Βασίλης  ✓ 
 2846  Ζούζιας Αναστάσιος  ✓ 
 2864  Κουκόπουλος Ζώης  ??? 
 2893  Μόσχος Βασίλειος  ??? 
 2932  Ραμαντά Ιωάννα  ✓ 
 2949  Σοφιός Ιωάννης  ✓ 
 2952  Σπύρου Αναστασία  ✓ 
 3021  Ασημακόπουλος Σωτήρης  ✓ 
 3130  Κούστα Μαρία  ✓ 
 3173  Μποχρίνη Σταυρούλα  ✓ 
 3206  Ρεσβάνης Μιχάλης  ??? 
 3207  Ρίνης Ηλίας  ✓ 
 3220  Σταθόπουλος Αναστάσιος  ✓ 
 3249  Χριστοφοράκη Μαρία  ??? 


6η διάλεξη (Τετάρτη, 29 Νοεμβρίου 2006)

Ύλη:

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


Διαφάνειες:


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

  • Τόμος Ι απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 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 γύρων.


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Σωστή 
 2724  Σιδέρης Κυριάκος  ✓ 
 2830  Γκατζέλης Βασίλης  ✓ 
 2846  Ζούζιας Αναστάσιος  ✓ 
 2864  Κουκόπουλος Ζώης  ✓ 
 2952  Σπύρου Αναστασία  ✓ 
 3078  Γιαννούλης Γιώργος  ✓ 
 3112  Καραμπίνας Δημήτρης  ✓ 
 3173  Μποχρίνη Σταυρούλα  ✓ 
 3206  Ρεσβάνης Μιχάλης  ✓ 
 3220  Σταθόπουλος Αναστάσιος  ✓ 
 3249  Χριστοφοράκη Μαρία  ✓ 


7η διάλεξη (Τετάρτη, 6 Δεκεμβρίου 2006)

Ύλη:

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


Διαφάνειες:


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

  • Τόμος Ι απο τις Πανεπιστημιακές Σημειώσεις "Θεμελιώδη Ζητήματα Κατανεμημένων Συστημάτων" (Π.Σπυράκης, Β.Ταμπακάς):
    • Κεφάλαιο 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


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


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

Ερώτημα A
Αποδείξτε την ορθότητα του αλγόριθμου LamportME
Ερώτημα B
Σχεδιάστε έναν αλγόριθμο για την επίλυση του 2-αμοιβαίου αποκλεισμού όπου ανα πάσα χρονική στιγμή, το πολύ 2 διεργασίες μπορούν να βρίσκονται στο ΚΤ.


Απαντήσεις:

 ΑΜ   Ονοματεπώνυμο   Α Σωστή   B Σωστή 
 2817  Βαλσόματζης Εμμανουήλ  ✓  ✓ 
 2846  Ζούζιας Αναστάσιος  ✓  ✓ 
 2864  Κουκόπουλος Ζώης  ✓  ✓ 
 2893  Μόσχος Βασίλειος    ✓ 
 2952  Σπύρου Αναστασία  ✓  ✓ 
 3078  Γιαννούλης Γιώργος  ✓  ✓ 
 3130  Κούστα Μαρία  ✓  ✓ 
 3206  Ρεσβάνης Μιχάλης  ✓  ✓ 
 3220  Σταθόπουλος Αναστάσιος  ✓  ✓ 
 3249  Χριστοφοράκη Μαρία  ✓  ✓ 
Ανακτήθηκε από το "http://www.ceid.upatras.gr/courses/katanemhmena/wiki/index.php/2006-2007:%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".