Λειτουργικά Συστήματα

Κωδικός Μαθήματος
CEID_24Υ330
Τομέας
Τομέας Λογικού των Υπολογιστών
Διδάσκων
ΗΛΙΑΣ ΑΡΙΣΤΕΙΔΗΣ, ΜΑΚΡΗΣ ΧΡΗΣΤΟΣ, ΣΙΟΥΤΑΣ ΣΠΥΡΟΣ, ΧΑΤΖΗΔΟΥΚΑΣ ΠΑΝΑΓΙΩΤΗΣ
Εξάμηνο
5
ECTS
8

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

Μετάβαση στο περιεχόμενο