• Το μοντέλο της ταυτόχρονης εκτέλεσης.
• Το πρόβλημα του αμοιβαίου αποκλεισμού.
• Αλγόριθμοι αμοιβαίου αποκλεισμού σε επίπεδο εφαρμογής.
• Ειδικές εντολές συγχρονισμού σε υλικό.
• Σηματοφόροι.
• Κλασικά προβλήματα συγχρονισμού με σηματοφόρους.
• Ελεγκτές/παρακολουθητές.
• Κλασικά προβλήματα συγχρονισμού με ελεγκτές.
• Κρίσιμες περιοχές υπό συνθήκη.
• Το μοντέλο Communicating Sequential Processes (CSP).
• Το μοντέλο tuple space.
• Ταυτόχρονος προγραμματισμός και συγχρονισμός σε C/pthreads και Java.

• Κατανόηση του προβλήματος του συγχρονισμού σε ταυτόχρονα συστήματα.
  Γνώση των βασικών μηχανισμών συγχρονισμού, και κατανόηση του πως αυτά υλοποιούνται στα λειτουργικά συστήματα ή/και σε περιβάλλοντα εκτέλεσης πιο ψηλού επιπέδου.
• Γνώση των κλασικών προβλήματα συγχρονισμού και λύσεων τους με διαφορετικούς τρόπους, και κατανόηση του πως κατασκευάζονται τέτοιες λύσεις.
• Γνώση των βασικών λειτουργιών ταυτόχρονου προγραμματισμού και συγχρονισμού σε C και Java, και εφαρμογή των λειτουργιών αυτών σε πρακτικό επίπεδο.

I. Γραπτή εξέταση (75%)

• Ερωτήσεις θεωρίας
• Επίλυση προβλημάτων
• Ο βασθμός της γραπτής εξέτασης πρέπει να είναι >= 5.

ΙΙ. Εργασίες (25%)

• Σχεδιασμός και υλοποίηση λύσεων ταυτόχρονου προγραμματισμού σε C / Java.

• Εισαγωγή, βασικές έννοιες ταυτόχρονης εκτέλεσης: 1 εβδομάδα
• Μοντέλο ταυτοχρονισμού & βασικά προβλήματα: 1 εβδομάδα
• Κρίσιμο τμήμα & κλασικοί αλγόριθμοι: 2 εβδομάδες
• Απόδειξη ιδιοτήτων με γράφους καταστάσεων: 1 εβδομάδα
• Σηματοφόροι, κλασικά προβλήματα με σηματοφόρους: 2 εβδομάδες
• Ελεγκτές, κλασικά προβλήματα με ελεγκτές: 2 εβδομάδες
• Κρίσιμη περιοχή υπό συνθήκη: 1 εβδομάδα
• Χώροι πλειάδων (tuple spaces): 1 εβδομάδα
• Σύγχρονη ανταλλαγή μηνυμάτων (CSP): 1 εβδομάδα
• Ορθότητα λογισμικού υπό ταυτόχρονη εκτέλεση, προσπέλαση δομών δεδομένων χωρίς κλείδωμα: 1 εβδομάδα
• Συνέπεια μνήμης, συνοχή κρυφής μνήμης: 1 εβδομάδα