08574 - SISTEMI OPERATIVI

Conoscenze e abilità da conseguire

Al termine del corso, lo studente acquisisce le problematiche teoriche e pratiche inerenti al progetto di moderni sistemi operativi, approfondendone la struttura, l'implementazione e il funzionamento.

Contenuti

Introduzione e prospettiva storica.

Richiami di Linguaggio ANSI C.

Shell e shell scripting.

Thread e processi.

Principali modelli di programmazione concorrente.

Deadlock.

Inter Process Communications.

Gestione della CPU.

Gestione della memoria centrale.

Gestione della memoria secondaria e file system.

Gestione dell'I/O.

Protezione e sicurezza.

Casi applicativi: i sistemi Linux e Windows.

Kernel Linux.

Introduzione alla virtualizzazione

Testi/Bibliografia

Silberschatz, P.B. Galvin, G. Gagne, Sistemi operativi. Concetti ed esempi, nona edizione, Pearson Education Italia (2014)

Metodi didattici

Lezioni frontali e esercitazioni in laboratorio informatico. I fondamenti teorici alla base dei moderni sistemi operativi sono esposti durante le lezioni frontali. Numerosi esercizi pratici sono svolti in aula ad anticipare gli esercizi che gli studenti dovranno successivamente svolgere nelle esercitazioni guidate in laboratorio, con la supervisione del docente. Estensioni delle esercitazioni sono regolarmente suggerite, e le soluzioni pubblicate sul web, allo scopo di promuovere e favorire lo studio individuale e le attività di laboratorio autonome. Alcune esercitazioni in laboratorio sono rivolte a simulare lo svolgimento della prova pratica che costituirà una delle due prove d'esame.

Modalità di verifica e valutazione dell'apprendimento

La prova d’esame mira a verificare il raggiungimento dei seguenti obiettivi didattici:

- conoscenza approfondita degli aspetti teorici, dei requisiti, degli algoritmi e delle scelte progettuali che determinano la realizzazione dei sistemi operativi.

· conoscenza approfondita e capacità di utilizzo degli strumenti, tecniche ed algoritmi che il sistema operativo offre all'utente e all'amministrazione di sistema per realizzare funzionalità di alto livello in contesti diversi, 

L'esame consiste di una verifica delle abilità pratiche conseguite dallo studente mediante una prova pratica in laboratorio, seguita da una successiva prova scritta per verificare la conoscenza degli aspetti teorici della disciplina. L'ammissione alla seconda prova teorica è condizionata al superamento con voto sufficiente della prima prova pratica.

NOTA BENE: DURANTE L'EMERGENZA covid-19, LE PROVE D'ESAME SI SVOLGERANNO IN MODALITA' ONLINE, CON GLI STUDENTI A CASA PROPRIA AL LAVORO SUL PROPRIO PC. IN TALE CONTINGENZA, SIA LA PRIVA PRATICA CHE LA PROVA SCRITTA DURERANNO SOLO UN'ORA. PER POTER SOSTENERE LA PROVA PRATICA LO STUDENTE DOVRA' INSTALLARE SUL PROPRIO PC UNA SHELL BASH, IL COMPILATORE gcc, i comandi make, tar, wget, E LE LIBRERIE PER UTILIZZARE I POSIX THREAD. VERIFICARE DI RIUSCIRE A COMPILARE ED ESEGUIRE TUTTI GLI ESEMPI DI PROGRAMMAZIONE CONCORRENTE E GLI SCRIPT BASH PRESENTATI A LEZIONE.

GLI STUDENTI CHE NON POSSONO DOTARSI DEGLI STRUMENTI INDICATI QUI SOPRA, MI SCRIVANO IL PRIMA POSSIBILE ED IO DEFINIRO' UNA MODALITA' ALTERNATIVA PER SOSTENERE L'ESAME.

Appena possibile, probabilmente nella sessione di gennaio-febbraio 2021, si tornerà alle seguenti vecchie modalità d'esame:

La prova pratica dura 3 ore ed è svolta nello stesso ambiente di laboratorio e con gli stessi strumenti software che gli studenti utilizzano durante le esercitazioni di laboratorio svolte all'interno del corso. La prova propone una serie di problemi da risolvere mediante l'implementazione di semplici applicazioni e scripts.

La prova teorica consiste di una prova scritta che dura 2 ore e prevede risposte aperte ad una serie di domande. La prova scritta spazia tra tutti gli argomenti presentati durante il corso, con una particolare attenzione a quelli svolte durante le lezioni in classe.

Strumenti a supporto della didattica

Lezioni: proiezione di diapositive a disposizione via Web e dimostrazioni pratiche dei concetti, algoritmi, tecniche, API e strumenti esposti nelle discussioni a lezione. Le dimostrazioni pratiche utilizzano script e files in codice ANSI C che sono preventivamente messi a disposizione nella pagina web del corso. In tal modo, gli studenti possono meglio seguire le dimostrazioni e replicarle durante la stessa lezione sui lo laptop, verificando personalmente lo sviluppo delle operazioni e individuando e proponendo immediatamente al docente eventuali dubbi, così da sollecitare al massimo l'interazione tra studenti e docente durante le lezioni.

Attività in laboratorio: il docente guida gli studenti nell'imparare progressivamente gli strumenti, le API e le strategie di risoluzione dei problemi concernenti tutti gli argomenti del corso. A ciascuno studente è fornito un proprio ambiente di lavoro virtualizzato, in cui lo studente opera con i privilegi di amministratore di sistema, in modo da effettuare realisticamente procedure operative di amministrazione del sistema virtuale.

Gli studenti possono dispiegare lo stesso ambiente virtuale sui loro personal computer, in modo da poter accedere a casa allo stesso ambiente di lavoro che trovano nei laboratori. Ovviamente, lo stesso ambiente di lavoro virtualizzato viene usato dal docente nelle esercitazioni pratiche svolte durante le lezioni in classe.

Link ad altre eventuali informazioni

http://www.cs.unibo.it/~ghini/didattica/sistemioperativi/sistemioperativi_index.html

Orario di ricevimento

Consulta il sito web di Vittorio Ghini