Dispense lezioni
Introduzione ai sistemi operativi (
1 slide x foglio
;
2 slide x foglio
)
Storia
Componenti
Servizi
Architettura
Processi e thread (
1 slide x foglio
;
2 slide x foglio
)
Concetti di base
Stato
Operazioni
Esecuzione
Scheduling della CPU (
1 slide x foglio
;
2 slide x foglio
)
Rappresentazione e implementazione
Tipi di scheduler
Modello a burst
Metriche di scheduling
Algoritmi di scheduling (FCFS, SJF)
Scheduling della CPU (
1 slide x foglio
;
2 slide x foglio
)
Algoritmi di scheduling (RR, con priorità, HRRN, code multilivello)
Valutazione degli algoritmi
Esercizio riassuntivo scheduling CPU con RR (q=1) commentato (
1 slide x foglio
;
2 slide x foglio
)
Sincronizzazione tra processi (
1 slide x foglio
;
2 slide x foglio
)
Modello del produttore consumatore
Sezione critica
Soluzioni SW
Soluzioni HW
Sincronizzazione tra processi (
1 slide x foglio
;
2 slide x foglio
)
Semafori
Esempi su problemi di sincronizzazione
Monitor
Sincronizzazione in Java
Scambio di messaggi
Deadlock (
1 slide x foglio
;
2 slide x foglio
)
Gestione memoria (
1 slide x foglio
;
2 slide x foglio
)
Introduzione
Binding degli indirizzi
Collegamento e caricamento
Allocazione contigua della memoria
Gestione memoria (
1 slide x foglio
;
2 slide x foglio
)
Paginazione e segmentazione
Gestione memoria (
1 slide x foglio
;
2 slide x foglio
)
Memoria virtuale
Gestione memoria secondaria (
1 slide x foglio
;
2 slide x foglio
)
Struttura del disco
Scheduling del disco
Gestione del disco
Interfaccia file system (
1 slide x foglio
;
2 slide x foglio
)
Struttura di file/directory
Operazioni su file/directory
Protezione
Implementazione file system (
1 slide x foglio
;
2 slide x foglio
)
File system a livelli
Allocazione spazio su disco
(slide riviste)
Implementazione delle directory
Gestione dello spazio libero
File System: efficienza e prestazioni (
1 slide x foglio
;
2 slide x foglio
)
Il sistema di I/O (
1 slide x foglio
;
2 slide x foglio
)
Hardware di I/O
Interfacce di I/O
Software di I/O
Caso di studio: Unix (
1 slide x foglio
;
2 slide x foglio
)
Gestione dei processi
Caso di studio: Unix (
1 slide x foglio
;
2 slide x foglio
)
Scheduling
Struttura del file system
Caso di studio: Unix (
1 slide x foglio
;
2 slide x foglio
)
Strutture dati interne per la gestione del file system
Caso di studio: Unix (
1 slide x foglio
;
2 slide x foglio
)
Gestione della memoria