Ingegneria Informatica e dell'Intelligenza Artificiale
Cod 198289
- Laurea triennale
- 3 anni
- 180 CFU
- L-8 R
ING-INF/05
Sistemi Operativi e Virtualizzazione
Codice: 20810523
Scheda insegnamento
- Anno Accademico di erogazione
- 2026/2027
- Corso di studi
- Ingegneria Informatica e dell'Intelligenza Artificiale
- Periodo di erogazione
- Primo semestre
- CFU
- 9 CFU
- Lingua
- Italiano
- SSD
- ING-INF/05
Scopri il programma didattico
Programma, testi adottati e modalità d’esame sono quelli pubblicati dai docenti per l’anno accademico 2026/2027. L’insegnamento è diviso in canali: ogni canale ha il suo programma.
- Docente
- Valter Crescenzi
- Curriculum
- Sistemi informatici
- Anno di corso
- 3
- Periodo
- Primo semestre
- Ore
- 81
- CUIN
- 260001031
Programma
- Introduzione ai Sistemi Operativi
- Virtualizzazione del processore
- Virtualizzazione della memoria
- Programmazione concorrente
- Virtualizzazione dello storage
Prerequisiti
Conoscenza dei concetti fondamentali della programmazione in C, acquisita attraverso l'insegnamento di Fondamenti di Informatica o simili.
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à di erogazione
Il corso viene svolto in aula. Le registrazioni vengono rese disponibili agli studenti che ne hanno diritto.
Modalità di frequenza
In presenza, 3 lezioni frontali settimanali
Modalità di valutazione
L'esame comprende domande di teoria ed esercizi di programmazione da svolgere in laboratorio.
- Docente
- Stefano Iannucci
- Curriculum
- Sistemi informatici
- Anno di corso
- 3
- Periodo
- Primo semestre
- Ore
- 81
- CUIN
- 260001031
Programma
- Introduzione ai Sistemi Operativi
- Virtualizzazione del processore
- Virtualizzazione della memoria
- Programmazione concorrente
- Virtualizzazione dello storage
Prerequisiti
Conoscenza dei concetti fondamentali della programmazione in C, acquisita attraverso l'insegnamento di Fondamenti di Informatica o simili.
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à di erogazione
Il corso viene svolto in aula. Le registrazioni vengono rese disponibili agli studenti che ne hanno diritto.
Modalità di frequenza
La frequenza non è obbligatoria.
Modalità di valutazione
L'esame comprende domande di teoria ed esercizi di programmazione da svolgere in laboratorio.
Esplora gli obiettivi dell’insegnamento
Ambito disciplinare: Ingegneria informatica
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.
Risultati di apprendimento attesi — Stefano Iannucci
-
Esempi di domande d’esame
Valter Crescenzi
Spiegare come è implementato un lock