Sistemi operativi2011/12
Questo insegnamento illustra il funzionamento delle componenti fondamentali di un moderno sistema operativo.
Avvisi
-
Esiti prova scritta di Sistemi operativi del 16 gennaio 2013 e calendario prove orali
Sono disponibili gli esiti della prova scritta di Sistemi operativi del 16/1 e il calendario delle prove orali.
-
Orario di ricevimento per il secondo semestre
L'orario di ricevimento studenti per il secondo semestre si svolgerà il giovedì dalle 15:00 alle 17:00 nello studio del docente, a partire dal 24/1.
-
Dettagli per la prova scritta di Sistemi operativi del 8 16/1/2013
L'esame scritto del 16/1 si svolgerà nell'aula V2 di via Venezian a partire dalle ore 9:30.
Avvisi precedenti (24)
-
Esiti prova scritta di Sistemi operativi del 26 novembre 2012 e calendario prove orali
Sono disponibili gli esiti della prova scritta di Sistemi operativi del 26/11 e il calendario delle prove orali.
-
Recupero della prova scritta di Sistemi operativi di Settembre
La prova scritta di settembre sarà recuperata in data 26/11 alle ore 13:30 nell'aula 208 di via Celoria.
-
Esiti prova scritta di Sistemi operativi dell'8 ottobre 2012 e calendario prove orali
Sono disponibili gli esiti della prova scritta di Sistemi operativi del 8/10 e il calendario delle prove orali.
-
Dettagli per la prova scritta di Sistemi operativi dell'8/10/2012
L'esame scritto dell'08/10 si svolgerà nell'aula G24 di via Golgi a partire dalle ore 14:30.
-
Annullamento dell'appello di settembre di Sistemi operativi
L'appello di settembre è annullato per cause indipendenti dalla volontà del docente e verrà recuperato in seguito.
-
Esiti prova scritta di Sistemi operativi del 23 luglio 2012 e calendario prove orali
Sono disponibili gli esiti della prova scritta di Sistemi operativi del 23/7 e il calendario delle prove orali.
-
Luogo e ora prova scritta di Sistemi operativi del 23 luglio 2012
L'esame scritto di Sistemi operativi del 23/7 si svolgerà nell'aula beta di Via Comelico 39 a partire dalle ore 8:30.
-
Esiti prova scritta di Sistemi operativi del 6 luglio e calendario prove orali
Sono disponibili gli esiti della prova scritta di Sistemi operativi del 6/7 e il calendario delle prove orali.
-
Luogo e ora prova scritta di Sistemi operativi del 6 luglio 2012
L'esame scritto di Sistemi operativi del 6/7 si svolgerà nell'aula beta di Via Comelico 39 a partire dalle ore 8:30.
-
Esiti prova scritta di Sistemi operativi del 14 giugno 2012 e calendario prove orali
Sono disponibili gli esiti della prova scritta del 14/6 e il calendario delle prove orali.
-
Luogo e ora della prova scritta di Sistemi operativi del 14 giugno 2012
L'esame scritto del 14/6 si svolgerà nell'aula beta di Via Comelico 39 a partire dalle ore 8:30.
-
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.
-
Sospensione lezioni di Sistemi operativi
Le lezioni di Sistemi operativi del martedì sono sospese fino al primo maggio (incluso). Le lezioni del giovedì si svolgeranno invece regolarmente.
-
Sospensione ricevimento studenti
A causa della prossima riunione del Consiglio di Facoltà e delle vacanze di Pasqua il ricevimento studenti fino al 13/4 si svolgerà su appuntamento.
-
Sospensione del ricevimento studenti
Il ricevimento studenti del 21/03 è sospeso. Gli studenti possono contattare il docente per un ricevimento su appuntamento.
-
Modifica del calendario delle lezioni di Sistemi operativi
A partire dal 6/3 le lezioni del martedì di Sistemi operativi si terranno nell'aula G08 di via Golgi.
-
Sospensione del ricevimento studenti
Il ricevimento studenti del 29/02 e del 07/03 è sospeso. Gli studenti possono contattare il docente per un ricevimento su appuntamento.
-
Orario di ricevimento per il secondo semestre
L'orario di ricevimento studenti per il secondo semestre si svolgerà il martedì dalle 14:30 alle 16:00.
-
Inizio lezioni di Sistemi operativi
Le lezioni di Sistemi operativi inizieranno a partire dal 28/2.
-
Sospensione del ricevimento studenti
Il ricevimento studenti del 19/01 è sospeso. Gli studenti possono contattare il docente per un ricevimento su appuntamento.
-
Spostamento del ricevimento studenti
Il ricevimento studenti di questa settimana si svolgerà venerdì 13 alle 10:30.
-
Modifica orario del ricevimento studenti
Il ricevimento studenti odierno è spostato alle 16:30
-
Sospensione del ricevimento studenti
Il ricevimento studenti del 6/10 è sospeso. Gli studenti possono contattare il docente per un ricevimento su appuntamento.
-
Semestre del corso di Sistemi operativi
L'insegnamento di Sistemi operativi sarà erogato nel secondo semestre.
Orari del corso
Le lezioni si svolgeranno presso il settore didattico di città studi, secondo il seguente orario:
| Giorno | Ora | Luogo |
|---|---|---|
| martedì | 13:30 - 15:30 | aula 403 G08 (via Golgi) |
| giovedì | 8:30 - 10:30 | aula 405 (via Celoria) |
Eventuali variazioni rispetto al calendario pianificato verranno comunicate in aula e pubblicizzate nel paragrafo Avvisi di questa pagina. In particolare, in alcuni casi la lezione del martedì si svolgerà dalle 13:30 alle 16:30.
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).
Gli studenti che non hanno dimestichezza con il linguaggio C possono fare riferimento al testo storico: B. W. Kernighan, D. M. Ritchie, Il linguaggio C. Principi di programmazione e manuale di riferimento, seconda edizione, Pearson, 2007. Anche in questo caso non è una cattiva idea considerare di leggere la versione in lingua originale. Un testo più approfondito è invece K. N. King, C Programming -- A Modern Approach, W. W. Norton (in questo caso l'edizione italiana è disponibile ma sconsigliata a causa di una traduzione non ottimale).
La parte di corso relativa alla scrittura di codice multi-processo è spiegata sul libro di testo e nell'articolo Delve into UNIX process creation.
La scrittura di socket in C è spiegata nell'howto Sockets tutorial.
Gli script di shell sono introdotti nel tutorial BashGuide.
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 6 (fino al paragrafo 6.6 incluso), da 7 a 9 (esclusi i paragrafi 9.7 e 9.8), 10, 11 (fino al paragrafo 11.6 escluso), 12 (fino al paragrafo 12.5 incluso), oltre al resto del materiale indicato tra il materiale didattico.
Calendario delle lezioni
| Lezione | Data | Argomento | Materiale |
|---|---|---|---|
| L01 | Introduzione al corso | ||
| L02 | 01/03/2012 | Richiami di architettura | |
| L03 | 06/03/2012 | Introduzione al linguaggio C | |
| L04 | 08/03/2012 | Strutture dei sistemi operativi | |
| L05 | 13/03/2012 | Processi concorrenti | |
| L06 | 15/03/2012 | Gestione dei processi | |
| L07 | 20/03/2012 | Memoria condivisa, socket e pipe | |
| L08 | 22/03/2012 | Thread | |
| L09 | 27/03/2012 | Gestione del processore | |
| L10 | 29/03/2012 | Gestione del processore | |
| L11 | 03/04/2012 | Sincronizzazione | |
| L12 | 12/04/2012 | Semafori | |
| L13 | 19/04/2012 | Rilevare e prevenire il deadlock | |
| L14 | 26/04/2012 | Evitare il deadlock | |
| L15 | 03/05/2012 | Eliminare il deadlock. Gestione della memoria | |
| L16 | 08/05/2012 | Allocazione contigua della memoria. Paginazione | |
| L17 | 10/05/2012 | Paginazione e segmentazione | |
| L18 | 15/05/2012 | Memoria virtuale, valutazione della didattica | |
| L19 | 17/05/2012 | Memoria virtuale | |
| L20 | 22/05/2012 | File system | |
| L21 | 24/05/2012 | Struttura delle directory e protezione | |
| L22 | 29/05/2012 | Implementazione di file system | |
| L23 | 31/05/2012 | Script di shell | |
| L24 | 05/06/2012 | Script di shell |