Descrizione
Il corso fornisce gli strumenti teorici fondamentali:
- della teoria dei Sistemi Operativi;
- delle tecniche di programmazione concorrente:
Le esercitazioni saranno sviluppate in ambiente LINUX.
Descrizione
- Concetti Introduttivi ed evoluzione storica dei Sistemi Operativi.
- Gestione dei Processi. Concetto di processo. I meccanismi di creazione e terminazione di processi: le primitive fork/join.
- I processi di Linux e Windows.
- Scheduling dei Processi. Scheduler di breve, medio e lungo termine.
- Comunicazione tra processi. Competizione, cooperazione ed interferenza. Mutua Esclusione. Race Conditions.
- Il concetto di Thread. Differenza tra Thread e Processo. Lo standard POSIX per la programmazione multithread.
Descrizione
- Deadlock. Meccanismi per la prevenzione statica e dinamica del deadlock. Algoritmi per il rilevamento del deadlock.
- Gestione della Memoria Centrale. Tecniche della Paginazione e Segmentazione. Memoria Virtuale.
- Gestione dell’I/O. La virtualizzazione delle risorse di I/O. Livello indipendente dai dispositivi, livello dipendente dai dispositivi. I driver. Architetture RAID.
- La gestione dei File. Il file System. Il concetto di directory. Tecniche di allocazione dei file su supporto di memoria di massa.
Testi d’esame
- Ancillotti, Boari, Ciampolini, Lipari. Sistemi Operativi, McGraw Hill
- Silberschatz, Galvin, Gagne. Sistemi operativi, Addison Wesley
Materiali di studio e fonti in rete
- Stallings. Operating Systems: Internals and Design Principles, Prentice Hall
- Materiali relativi a lezioni ed esercitazioni del Docente Domenico Cotroneo
Le lezioni del Corso
1. Introduzione ai Sistemi Operativi
2. Richiami
3. Architettura e funzionalità dei sistemi operativi
4. Esercitazione – Installazione del Sistema operativo Linux
6. Gestione dei processi nei sistemi operativi Unix/Linux e Window...
8. Esercitazione: Makefile e librerie
9. Esercitazione: System call per la gestione dei processi
11. Introduzione alla Sincronizzazione dei Processi
12. Sincronizzazione nel modello ad ambiente globale
13. Sincronizzazione nel modello ad ambiente locale
14. Esercitazione: Interprocess Communication e Shared Memory
15. Esercitazione: Gestione dei semafori
16. Esercitazione: Problema dei produttori e consumatori
17. Esercitazione: Problema dei lettori e degli scrittori
19. Il Deadlock
I materiali di supporto della lezione
Stallings. Operating Systems: Internals and Design Principles, Prentice Hall.
Il Podcast della lezione
Le altre lezioni del corso con podcast
I podcast del corso sono disponibili anche su iTunesU e tramite Feed RSS.
