Sistemi operativi2010/11
Questo insegnamento illustra il funzionamento delle componenti fondamentali di un moderno sistema operativo.
Avvisi
-
Esiti prova scritta di Sistemi operativi del 25 gennaio 2012 e calendario prove orali
Sono disponibili gli esiti della prova scritta del 25/1 e il calendario delle prove orali.
-
Luogo e ora della prova scritta di Sistemi operativi del 25 gennaio 2012
L'esame scritto del 25/01 si svolgerà nell'aula beta di Via Comelico a partire dalle ore 8:30.
-
Esiti prova scritta di Sistemi operativi del 9 gennaio 2012 e calendario prove orali
Sono disponibili gli esiti della prova scritta del 9/1 e il calendario delle prove orali.
-
Luogo e ora della prova scritta di Sistemi operativi del 9 gennaio 2012
L'esame scritto del 9/01 si svolgerà nell'aula V9 di Via Venezian a partire dalle ore 13:30.
-
Spostamento prova scritta di Sistemi operativi
La data dell'appello di gennaio di Sistemi operativi è stata posticipata a venerdì 9/01.
-
Esiti prova scritta di Sistemi operativi del 14 ottobre 2011 e calendario prove orali
Sono disponibili gli esiti della prova scritta del 14/10 e il calendario delle prove orali.
-
Luogo e ora della prova scritta di Sistemi operativi del 14 ottobre 2011
L'esame scritto del 14/10 si svolgerà nell'aula V4 di Via Venezian a partire dalle ore 13:30.
-
Spostamento prova scritta di Sistemi operativi
La data dell'appello di ottobre di Sistemi operativi è stata posticipata a venerdì 14/10.
-
Esiti prova scritta di Sistemi operativi del 19 settembre 2011 e calendario prove orali
Sono disponibili gli esiti della prova scritta del 19/9 e il calendario delle prove orali.
-
Luogo e ora della prova scritta di Sistemi operativi del 19 settembre 2011
L'esame scritto del 19/9 si svolgerà nell'aula alfa di Via Comelico 39 a partire dalle ore 9:30.
-
Esiti prova scritta di Sistemi operativi del 11 luglio 2011 e calendario prove orali
Sono disponibili gli esiti della prova scritta del 11/7 e il calendario delle prove orali.
-
Sospensione del ricevimento studenti
Il ricevimento studenti su base regolare è sospeso fino al prossimo semestre. Gli studenti possono contattare il docente per un ricevimento su appuntamento.
-
Luogo e ora della prova scritta di Sistemi operativi del 11 luglio 2011
L'esame scritto del 11/7 si svolgerà nell'aula beta di Via Comelico 39 a partire dalle ore 9:00.
-
Esiti prova scritta di Sistemi operativi del 21 giugno 2011 e calendario prove orali
Sono disponibili gli esiti della prova scritta del 21/6 e il calendario delle prove orali.
-
Luogo e ora della prova scritta di Sistemi operativi del 21 giugno 2011
L'esame scritto del 21/6 si svolgerà nell'aula beta di Via Comelico 39 a partire dalle ore 14:30.
-
Valutazione dell'insegnamento di Sistemi operativi
Nella parte finale della lezione di martedì 10/05 si svolgeranno le procedure relative alla valutazione della didattica.
-
Sospensione lezione di Sistemi operativi
La lezione di Sistemi operativi del 4 aprile è sospesa.
-
Inizio del secondo semestre
A seguito della delibera del CCD di Scienze e Tecnologie Informatiche l'inizio delle lezioni è stato anticipato al 7 marzo.
Orari del corso
Le lezioni si svolgeranno presso il dipartimento di Scienze dell'Informazione, secondo il seguente orario:
| Giorno | Ora | Luogo |
|---|---|---|
| martedì | 15:30 - 17:30 | aula alfa |
| giovedì | 15:30 - 17:30 | aula alfa |
Eventuali variazioni rispetto al calendario pianificato verranno comunicate in aula e pubblicizzate nel paragrafo Avvisi di questa pagina.
Ricevimento studenti
Su appuntamento, stanza 5015 del Dipartimento di Informatica.
È possibile contattare il docente tramite posta elettronica, avendo cura di leggere preventivamente la guida predisposta dal Prof. Sebastiano Vigna e di specificare chiaramente nell'oggetto del messaggio il nome dell'insegnamento e l'anno accademico. In particolare, si invitano gli studenti a usare sempre come mittente l'indirizzo fornito loro dall'Ateneo (basato cioè sul dominio studenti.unimi.it) firmando con nome, cognome e matricola e ricordando che i tempi di risposta possono variare in funzione degli impegni del docente.
Materiale didattico
Il corso è prevalentemente basato sul seguente libro di testo: A. Silberschatz, P. B. Galvin, G. Gagne, Sistemi Operativi -- concetti ed esempi, ottava edizione, Pearson Paravia Bruno Mondadori S.p.A., 2009 (ISBN 978-88-7192-569-1). Siccome non è mai troppo presto per cominciare a leggere la documentazione tecnica in lingua inglese, i più avventurosi possono cimentarsi con l'edizione internazionale: Silberschatz, P. B. Galvin, G. Gagne, Operating Systems Concepts, 8th Edition, International Student Version, Wiley, 2009 (ISBN 978-0-470-23399-3).
La scrittura di socket in C è spiegata nell'howto Sockets tutorial.
Programma
Il programma riguarda gli argomenti dettagliati nel calendario delle lezioni, che corrisponde al materiale trattato sul libro di testo (nell'edizione italiana) all'interno dei capitoli da 1 a 10, 11 (fino al paragrafo 11.6 escluso), 12 (paragrafi da 12.1 a 12.7.4 escluso e da 12.9 a 12.9.2 escluso), 14 (fino al paragrafo 14.8 escluso), 15, oltre al resto del materiale indicato tra il materiale didattico.
Calendario delle lezioni
| Lezione | Data | Argomento | Materiale |
|---|---|---|---|
| L01 | 08/03/2011 | Introduzione al corso | |
| L02 | 15/03/2011 | Richiami di architettura | |
| L03 | 22/03/2011 | Strutture dei sistemi operativi | |
| L04 | 24/03/2011 | Processi concorrenti | |
| L05 | 29/03/2011 | Gestione dei processi e memoria condivisa | |
| L06 | 31/03/2011 | Socket e pipe | |
| L07 | 07/04/2011 | Thread | |
| L08 | 12/04/2011 | Gestione del processore | |
| L09 | 14/04/2011 | Gestione del processore | |
| L10 | 19/04/2011 | Sincronizzazione | |
| L11 | 28/04/2011 | Semafori e monitor | |
| L12 | 03/05/2011 | Rilevare e prevenire il deadlock | |
| L13 | 05/05/2011 | Evitare il deadlock | |
| L14 | 10/05/2011 | Gestione della memoria | |
| L15 | 12/05/2011 | Paginazione | |
| L16 | 17/05/2011 | Paginazione e segmentazione | |
| L17 | 19/05/2011 | Memoria virtuale | |
| L18 | 24/05/2011 | Memoria virtuale | |
| L19 | 26/05/2011 | File system | |
| L20 | 31/05/2011 | Struttura delle directory e protezione | |
| L21 | 07/06/2011 | Implementazione di file system | |
| L22 | 09/06/2011 | Input/output a livello fisico | |
| L23 | 14/06/2011 | Protezione | |
| L24 | 16/06/2011 | Sicurezza |