Ορισμοί λειτουργικών συστημάτων, ιστορική εξέλιξή τους, κυριότερα μέρη τους. Διεργασίες, καταστάσεις διεργασιών, τμήμα ελέγχου διεργασιών, διαχείριση διακοπών. Διαδιεργασιακή επικοινωνία, κρίσιμες περιοχές, αμοιβαίος αποκλεισμός, primitives αμοιβαίου αποκλεισμού, υλοποίησή τους, αλγόριθμος Dekker, αλγόριθμος Peterson και αλγόριθμος Bakery (Lamport), hardware λύσεις, Test-and-Set εντολές. Σημαφόροι, υλοποίηση σημαφόρων, σημαφόροι μετρητές, σημαφόροι δυαδικοί. Κρίσιμες περιοχές υπό συνθήκη, ουρές γεγονότων, monitors. Παράδειγμα απομονωτή μηνυμάτων, αναγνώστες και γραφείς, συστήματα παραγωγού-καταναλωτή, Χρονοπρογραμματισμός διεργασιών, Νήματα, Χρονοπρογραμματισμός Νημάτων. Κατανεμημένος συγχρονισμός. Διαχείριση της μνήμης: (α) Πραγματική μνήμη: οργάνωση, συνεχές ασυνεχές μοίρασμα, κατάτμηση σταθερού μεγέθους, εναλλαγή. (β) Ιδεατή μνήμη: σελιδοποίηση, τμηματοποίηση, συνδυασμοί τους, μέσο μήκος σελίδας, μέσος αριθμός τμημάτων-οπών, ο κανόνας του 50%, μέθοδοι αντικατάστασης σελίδας, τοπικότητα, σύνολο εργασίας, σελιδοποίηση κατά απαίτηση. Χειρισμός διατάξεων εισόδου-εξόδου και χρονοπρογραμματισμός δίσκων. Θεωρία αδιεξόδων. Παραδείγματα λειτουργικών συστημάτων και τρόποι σχεδίασής τους.