Fornire: (1) competenze sulla struttura di un generico sistema operativo moderno ed una comprensione dei principi di virtualizzazione e delle tecniche di virtualizzazione hardware e software; (2) competenze sulla struttura di un sistema operativo Unix con particolare riferimento al sistema Linux, integrando anche una panoramica sulla virtualizzazione; (3) conoscenza delle particolari metodologie usate per risolvere le problematiche tipiche della gestione delle risorse in un sistema operativo moderno, con un focus aggiuntivo sulle sfide e le soluzioni di gestione delle risorse in ambienti virtualizzati; (4) abilità nell'uso di una piattaforma Unix e dei sistemi di virtualizzazione a livello utente; (5) abilità nella programmazione di sistema e concorrente.
scheda docente materiale didattico
- Virtualizzazione del processore
- Virtualizzazione della memoria
- Programmazione concorrente
- Virtualizzazione dello storage
Programma
- Introduzione ai Sistemi Operativi- Virtualizzazione del processore
- Virtualizzazione della memoria
- Programmazione concorrente
- Virtualizzazione dello storage
Testi Adottati
Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, Operating Systems: Three Easy Pieces, https://pages.cs.wisc.edu/~remzi/OSTEP/Bibliografia Di Riferimento
Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, Operating Systems: Three Easy Pieces, https://pages.cs.wisc.edu/~remzi/OSTEP/Modalità Frequenza
In presenza, 3 lezioni frontali settimanaliModalità Valutazione
L'esame comprende domande di teoria ed esercizi di programmazione da svolgere in laboratorio. scheda docente materiale didattico
- Virtualizzazione del processore
- Virtualizzazione della memoria
- Programmazione concorrente
- Virtualizzazione dello storage
Programma
- Introduzione ai Sistemi Operativi- Virtualizzazione del processore
- Virtualizzazione della memoria
- Programmazione concorrente
- Virtualizzazione dello storage
Testi Adottati
Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, Operating Systems: Three Easy Pieces, https://pages.cs.wisc.edu/~remzi/OSTEP/Bibliografia Di Riferimento
Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, Operating Systems: Three Easy Pieces, https://pages.cs.wisc.edu/~remzi/OSTEP/Modalità Frequenza
La frequenza non è obbligatoria.Modalità Valutazione
L'esame comprende domande di teoria ed esercizi di programmazione da svolgere in laboratorio.