Scheda insegnamento

Anno Accademico di erogazione
2026/2027
Periodo di erogazione
Primo semestre
CFU
6 CFU
Lingua
Italiano
SSD
IINF-05/A

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.

Curriculum
Automazione dei sistemi complessi
Anno di corso
1
Periodo
Primo semestre
Ore
54
CUIN
260005947

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.

Prove previste

  • Prova scritta
  • Prova pratica

Curriculum
Automazione dei sistemi complessi
Anno di corso
1
Periodo
Primo semestre
Ore
54
CUIN
260005947

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, (2) competenze sulla struttura di un sistema operativo Unix con particolare riferimento al sistema Linux, (3) conoscenza delle particolari metodologie usate per risolvere le problematiche tipiche della gestione delle risorse in un sistema operativo moderno, (4) abilità nel usare e una piattaforma Unix a livello utente, (5) abilità nella programmabilità di un sistema Unix (scripting), (6) abilità di base nella programmazione di sistema.

Esempi di domande d’esame

Valter Crescenzi

Basi della programmazione concorrente

Il corso in cui è erogato questo insegnamento

API