![]() |
Codice: | 4I056 | Crediti: | 18 | Semestre: | 2 | Sigla: | SO1 |
Il modello concorrente. (8 ore)
Concetto di processo; stato e transizioni di stato. Separazione degli spazi; condivisione di codice e di dati. Interazione tra processi e paradigmi di interazione: condivisione di dati, sincronizzazione, comunicazione. Condivisione di dati: sezioni critiche e mutua esclusione; sua realizzazione con meccanismi del processore e con protocolli eseguiti dai processi (lock/unlock). Sincronizzazione: modello booleano e produttore-consumatore; protocolli per la sincronizzazione. Comunicazione: designazione del mittente e del destinatario, sincronismo o asincronismo. Dipendenze tra i paradigmi di interazione. Interazione con i processi esterni. Generazione e terminazione di processi.
Nucleo e processi. (15 ore)
Modelli di organizzazione del sistema operativo. Realizzazione dei processi: descrittore e altre strutture dati; meccanismi di protezione. Semafori e primitive P e V; loro applicazione alla sincronizzazione, alla mutua esclusione e alla comunicazione; semafori privati. Primitive per la comunicazione, per la sincronizzazione con i processi esterni e per la generazione e terminazione. La gestione del processore: politiche elementari, gestione a più livelli.
Le risorse. (4 ore)
Modelli di gestione delle risorse. Politiche elementari per la gestione. Il problema dello stallo: caratterizzazione, metodi per evitarlo, impedirlo, riconoscerlo ed eliminarlo. Attesa indefinita. Alcuni problemi classici.
Gestione dei dispositivi. (7 ore)
Dispositivi e processi di controllo. Gestione dei dispositivi a caratteri. Gestione del temporizzatore. Gestione dei dispositivi a blocchi con speciale riguardo per i dischi magnetici; politiche di ordinamento; politiche con memoria cache. Dispositivi virtuali: archivi sequenziali in memoria secondaria.
Gestione della memoria. (8 ore)
Gestione statica: partizioni fisse e variabili, paginazione statica. Gestione dinamica: swapping, paginazione dinamica. Modelli per la gestione dinamica della memoria: il concetto di località e di working set. Algoritmi di sostituzione
Gestione degli archivi. (4 ore)
Modello logico del sistema di archiviazione. Struttura fisica degli archivi e del sistema di archiviazione. Protezione e sicurezza del sistema di archiviazione.
Totale 48 ore
Ore lezione: | 75 | Ore esercitazione: | 45 |
Modalità di esame:
Prova scritta (sostituibile dai compitini secondo le modalitá abituali) e prova orale.