Τμήμα Πληροφορικής, Εαρινό Εξάμηνο Ακ. Έτους 2006-07

Η/Υ Ε07: Κατανεμημένα Συστήματα

Μάθημα Επιλογής  

Γενικά | Ανακοινώσεις | Ημερολόγιο | Διαφάνειες Διαλέξεων & Άλλο Υλικό

Γενικές Πληροφορίες

Διδάσκουσα:                                       Παναγιώτα Φατούρου
Γραφείο:                                              26 (Α’ ορόφου)
Ώρες Γραφείου:                                  Πέμπτη: 11:00 – 12:00
Ηλεκτρονική Διεύθυνση:                    faturuATcs.uoi.gr
Τηλέφωνο:                                          (26510) 98808

Ηλεκτρονική Διεύθυνση Μαθήματος:  cse07ATcs.uoi.gr
Ηλεκτρονική Διεύθυνση Λίστας Μαθήματος: cse07listATcs.uoi.gr

 

Ώρες και Αίθουσες Διδασκαλίας

Πέμπτη, 12:00-15:00, στην αίθουσα Ι3.  

 

Σύνοψη Μαθήματος

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

 

Βιβλία

Στο μάθημα θα σας μοιραστεί το 1ο από τα παραπάνω βιβλία. Το βιβλίο και οι διαφάνειες του μαθήματος μαζί με τις σημειώσεις που μπορείτε να κρατάτε κατά την παράδοση θα σας βοηθήσουν να διεκπεραιώσετε επιτυχώς το μάθημα.

 

Πρόγραμμα

1η εβδομάδα

Εισαγωγή, Χαρακτηρισμός, Στόχοι, Ζητήματα Σχεδίασης

2η εβδομάδα

Βασικοί Αλγόριθμοι σε Κατανεμημένα Συστήματα Μεταβίβασης Μηνυμάτων

3η εβδομάδα

Βασικοί Αλγόριθμοι σε Κατανεμημένα Συστήματα Μεταβίβασης Μηνυμάτων  

4η εβδομάδα

Αλγόριθμοι Επιλογής Αρχηγού

5η εβδομάδα

Αμοιβαίος Αποκλεισμός

6η εβδομάδα

Αμοιβαίος Αποκλεισμός

7η εβδομάδα

Αμοιβαίος Αποκλεισμός 

8η εβδομάδα

Επίτευξη ομοφωνίας

9η εβδομάδα

Επίτευξη ομοφωνίας

10η εβδομάδα

Causality and Time

 

Εργασίες και Βαθμολόγηση

Κατά τη διάρκεια του εξαμήνου θα δοθούν κάποιες θεωρητικές ασκήσεις και 1 εργασία. Κάθε άσκηση ή εργασία θα πρέπει να επιστρέφεται πριν από την αναγραφόμενη ημερομηνία και ώρα. Καθυστερημένες ασκήσεις ή εργασίες γίνονται δεκτές με μείωση βαθμού 5 μονάδων (στις 100) για κάθε μέρα καθυστέρησης. Καθυστερημένες σειρές ασκήσεων ή εργασίες δεν γίνονται δεκτές μετά την εξέτασή τους.

Η τελική εξέταση θα γίνει με ανοιχτά βιβλία. Στην τελική εξέταση θα πρέπει όλοι οι εξεταζόμενοι φοιτητές να έχουν μαζί τους το πάσο τους.

Ο τελικός βαθμός θα εξαρτηθεί τόσο από τη βαθμολογία των ασκήσεων, όσο και από την επίδοση των φοιτητών στην τελική εξέταση, ως εξής:

Σειρές Ασκήσεων & Εργασία: 35%

Τελική Εξέταση: 65%

Ο ίδιος αλγόριθμος για την διεξαγωγή της βαθμολογίας ισχύει και  για την εξέταση του Σεπτεμβρίου.

 

Παρακολούθηση

Η παρακολούθηση στις διαλέξεις αναμένεται, αλλά δεν είναι υποχρεωτική.

  

Παρατήρηση

Συνίσταται να έχετε διεκπεραιώσει με επιτυχία τα μαθήματα των «Δομών Δεδομένων», των «Σχεδίασης και Ανάλυσης Αλγορίθμων» και των «Λειτουργικών Συστημάτων».

 

E-mailing Λίστα & Λογαριασμός Μαθήματος

Για το  μάθημα θα υπάρχει e-mailing λίστα η οποία θα χρησιμοποιείται για την αποστολή e-mail σε όλους τους φοιτητές που έχουν δηλώσει το μάθημα. Οι φοιτητές υποχρεούνται να εγγραφούν στη λίστα το αργότερο μέχρι τις 30 Απριλίου 2007. Για να εγγραφείτε στη λίστα αρκεί να στείλετε ένα ηλεκτρονικό μήνυμα (e-mail) στη διεύθυνση 

majordomoΑΤ cs.uoi.gr 

με κενό θέμα και σώμα:

 subscribe cse07list

Η e-mail address της λίστας είναι cse07list ΑΤ cs.uoi.gr. Όλα τα e-mails προς αυτή τη διεύθυνση θα λαμβάνονται από όλους τους φοιτητές που έχουν εγγραφεί στη λίστα.

Για το μάθημα υπάρχει επίσης λογαριασμός με e-mail address: cse07 ΑΤ cs.uoi.gr. Μπορείτε να στέλνετε e-mails με απορίες τόσο στον λογαριασμό όσο και στη λίστα. Τα e-mails σας θα πρέπει να απευθύνονται προς τη λίστα μόνο αν πιστεύετε πως αυτά που γράφετε ή ρωτάτε είναι χρήσιμα και ενδιαφέροντα σε όλους τους συμφοιτητές σας.

Ανακοινώσεις

Oι διαφάνειες της Ενότητας του Προβλήματος του Χρονισμού είναι διαθέσιμες (causality.pdf).
 To project είναι διαθέσιμο (ds-projects.pdf).
  • H 2η σειρά ασκήσεων είναι διαθέσιμη (ds-hw2.pdf).
  • Oι διαφάνειες της Ενότητας του Προβλήματος της Ομοφωνίας είναι διαθέσιμες (consensus.pdf).
  • H ώρα διδασκαλίας του μαθήματος παραμένει 12-3 όπως αναγράφεται στο πρόγραμμα (γιατί δεν είναι τελικά εφικτή η αλλαγή της ώρας του μαθήματος των Μεταφραστών). Το μάθημα διδάσκεται στην αίθουσα Ι2.
  • H 1η σειρά ασκήσεων είναι διαθέσιμη (ds2007-hw1.pdf).
  • Oι διαφάνειες της Ενότητας του Αμοιβαίου Αποκλεισμού είναι διαθέσιμες (ds-mutual-exclusion.pdf).
  • Οι διαφάνειες των πρώτων διαλέξεων είναι διαθέσιμες (lecture1-2.pdf)
  • Το 1ο μάθημα θα γίνει την Πέμπτη,  19 Απριλίου 2007.
  • Γενικές Πληροφορίες για το μάθημα (distributed-systems.doc).

Ημερολόγιο

Δευτέρα Τρίτη Τετάρτη Πέμπτη Παρασκευή
16/4

 

 17/4

 

 18/4

 

 19/4

Εισαγωγή, Χαρακτηρισμός, Στόχοι, Ζητήματα Σχεδίασης. Συζήτηση για το μάθημα και τις απαιτήσεις του.

Μελέτη διαφανειών και Κεφαλαίου 1, Κατανεμημένα Συστήματα, Tanenbaum

 20/4

 
23/4

 

 24/4

 

 25/4

 

 26/4

Βασικοί Αλγόριθμοι σε κατανεμημένα συστήματα μεταβίβασης μηνύματος.

Μελέτη διαφανειών και Κεφαλαίων 1 και 2, Hagit Attiya and Jennifer Welch, "Distributed Computing: Fundamentals, Simulations and Advanced Topics"

 27/4

 
30/4

 

 1/5

 

 2/5

 

 3/5

Βασικοί αλγόριθμοι σε κατανεμημένα συστήματα μεταβίβασης μηνύματος - Αλγόριθμοι Εκλογής αρχηγού.

Μελέτη διαφανειών. Μελέτη Κεφαλαίου 2 και ενοτήτων 3.1 και 3.2, Attiya and Welch, "Distributed Computing: Fundamentals, Simulations and Advanced Topics".

 

 4/5

 
7/5

 

8/5

 

 9/5

 

 10/5

Αλγόριθμοι εκλογής αρχηγού - Αμοιβαίος Αποκλεισμός.

Μελέτη διαφανειών. Μελέτη κεφαλαίου 3, Attiya and Welch, "Distributed Computing: Fundamentals, Simulations and Advanced Topics" (όχι Ενότητα 3.3.2). Μελέτη Ενοτήτων 4.1, 4.2, 4.3 (όχι ενότητα 4.3.3.), 4.4.1,  Attiya and Welch, "Distributed Computing: Fundamentals, Simulations and Advanced Topics".

 11/5

 
14/5


 

 15/5


 

 16/5


 

 17/5

Το μάθημα αναβλήθηκε.

 18/5


 
21/5

 

 22/5

 

 23/5

 

 24/5

Αμοιβαίος Αποκλεισμός.

Μελέτη διαφανειών και Ενοτήτων 4.1, 4.2, 4.3 (όχι 4.3.3),  Attiya and Welch, "Distributed Computing: Fundamentals, Simulations and Advanced Topics".

 25/5

 
28/5

 

 29/5

 

 30/5

 

 31/6

Αμοιβαίος Αποκλεισμός.

Μελέτη διαφανειών και Ενότητας 4.4 (όχι 4.4.4),  Attiya and Welch, "Distributed Computing: Fundamentals, Simulations and Advanced Topics".

 1/6

 
4/6

 

 5/6

 

 6/6

 

 7/6

Αμοιβαίος Αποκλεισμός

Μελέτη διαφανειών. Μελέτη ενότητας 10.8, Nancy Lynch, "Distributed Algorithms" (σελίδες 300-306, όχι το κομμάτι "The general case" της 10.8.3)

 8/6

 
11/6

 

 12/6

 

 13/6

 

 14/6

Πρόβλημα Ομοφωνίας.

Μελέτη διαφανειών. Μελέτη Ενότητας 5.1 (όχι 5.1.4), Attiya and Welch, "Distributed Computing: Fundamentals, Simulations and Advanced Topics".

Μελέτη Ενοτήτων 6.1, 6.2.1, 6.2.3, Nancy Lynch, "Distributed Algorithms".

Ανάρτηση Project

 15/6

 
18/6

 

 19/6

 

 20/6

 

 21/6

Πρόβλημα Ομοφωνίας

Μελέτη διαφανειών. Μελέτη Ενοτήτων 6.3.1, 6.3.2, Nancy Lynch, "Distributed Algorithms".

 22/6

 
25/6

Θέματα Χρονισμού

Μελέτη διαφανειών. Μελέτη Ενότητας 6.1, 6.2.1, Attiya and Welch, "Distributed Computing: Fundamentals, Simulations and Advanced Topics".

 26/6

 

 27/6

 

 28/6

Θέματα Χρονισμού

Μελέτη διαφανειών. Μελέτη Ενότητας 6.3 (επιλεκτικά σύμφωνα με τις διαφάνειες), Attiya and Welch, "Distributed Computing: Fundamentals, Simulations and Advanced Topics".

 29/6

 
2/7 3/7

Παράδοση Αναφοράς Project (δυνητικά)

 4/7

 

 5/7

Εξέταση Project (δυνητικά)

 6/7

 
9/7

 

 10/7

 

 11/7

Εξέταση Μαθήματος

 12/7

 

 13/7

 
16/7 17/7 18/7 19/7 20/7

Παράδοση Αναφοράς Project
23/7

Εξέταση Project

 24/7      

   

Περιγραφή Project

Κάθε project περιλαμβάνει την κατανόηση ενός paper (ή μέρος κάποιου κεφαλαίου βιβλίου), την παρουσίαση των αποτελεσμάτων που περιγράφονται σε αυτό και τη συγγραφή ενός παραδοτέου.

Project: Ανάθεση και Οδηγίες (ds-projects.pdf).

Διαφάνειες Διαλέξεων & Άλλο Υλικό

Oι διαφάνειες της Ενότητας του Προβλήματος του Χρονισμού είναι διαθέσιμες (causality.pdf).
 Project: Ανάθεση και Οδηγίες (ds-projects.pdf).
  • 2η σειρά ασκήσεων (ds-hw2.pdf).
  • Oι διαφάνειες της Ενότητας του Προβλήματος της Ομοφωνίας είναι διαθέσιμες (consensus.pdf).
  • H 1η σειρά ασκήσεων είναι διαθέσιμη (ds2007-hw1.pdf).
  • Oι διαφάνειες της Ενότητας του Αμοιβαίου Αποκλεισμού είναι διαθέσιμες (ds-mutual-exclusion.pdf).
  • Οι διαφάνειες των πρώτων διαλέξεων είναι διαθέσιμες (lecture1-2.pdf).
  • Γενικές Πληροφορίες για το μάθημα (distributed-systems.doc)

Σχετική βιβλιογραφία

Other Books on Distributed Systems

§         S. Mullender, Distributed Systems, ACM Press, 1993.

§         G. Coulouris, J. Dollimore and T. Kindberg, “Distributed Systems, Concepts and Design”, Addison-Wesley, 1994.

§         A. Tanenbaum and M. van Steen, Distributed Systems: Principles and Paradigms, Prentice Hall,  Inc., 2002.

§        M. Raynal, Algorithms for Mutual Exclusion, MIT Press, 1986.

§         M. Raynal, Networks and Distributed Computation: Concepts, Tools and Algorithms, MIT Press, 1988.

§         S. Dolev, Self-Stabilization, MIT Press, 2000.

§         Α. Tanenbaum, Computer Networks, Prentice-Hall, Inc., 1996.

§         G. Tell, Introduction to Distributed Algorithms, Cambridge University Press, 1994.

Journals

§         Journal of the ACM

§         SIAM Journal on Computing

§         Distributed Computing

§         Information and Computation

§         IEEE Transactions on Parallel and Distributed Systems

§         Parallel and Distributed Computing Practices

§         Parallel Computing

§         Journal of Parallel and Distributed Computing

§         Distributed and Parallel Databases

§         International Journal of High Speed Computing Networks

§         International Journal of Parallel and Distributed Systems and

§         Parallel Algorithms and Applications

§         Concurrency: Practice and Experience

Proceedings publishing distributed computing papers

§         ACM Symposium on Principles of Distributed Computing (PODC)

§         International Symporium on DIStributed Computing (DISC)

§         IEEE Symposium on Foundations of Computer Science (FOCS)

§         ACM Symposium on Theory of Computing (STOC)

§         IEEE Conference on Distributed Computing Systems

§         IPPS & SPDP

Τελευταία  τροποποίηση:14/4/07
Κατασκευή και συντήρηση σελίδων:  Παναγιώτα Φατούρου