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