• News
• Orario definitivo
• Programma del corso e testi di riferimento
• Calendario delle lezioni
• Materiale in linea:
  
• Trasparenze viste a lezione (PDF),
• Appunti in linea (HTML)
  
• Esercizi
  
• Modalità e sessioni d'esame
• Voti esami e compitini, laboratorio, e situazione individuale  NEW
  
• Servizio di prenotazione  (vedi Forum studenti)
• Link utili

• Esame 9/10 settembre
• Testo e soluzioni
• Voti scritto
• Riepilogo voti con laboratorio
  
  
• Esame 8 luglio:
  
• Testo e soluzioni
• Voti scritto
  
  
• Esame 14 giugno:
• Testo e soluzioni
• Voti scritto
  
  
• Esame 22 aprile:
• Testo scritto con soluzioni
  
• Voti scritto
• Riepilogo voti con laboratorio
  

• Lunedì  16-18
  
• Martedì 14-16
• Venerdì 9-11

Il programma prevede i seguenti argomenti (vedi programma dettagliato per il materuiale on-line)

• Introduzione (cenni storici + terminologia)
  
• Struttura dei Sistemi di Calcolo (trap, interrupt)
  
• Struttura dei Sistemi Operativi
  
• Processi e Thread
  
• Il sistema operativo UNIX (intro + uso dal punto di vista dell'utente)
  
• Scheduling della CPU
  
• Cooperazione tra Processi (race conditions, semafori, monitor, algoritmi classici)
  
• Gestione della Memoria
  
• Memoria Virtuale
  
• Modello della memoria in Unix e Windows
• Il File System 
  
• Implementazione del File System
  
• File System in Unix e DOS
• Introduzione ai sistemi distribuiti (Gianuzzi)
  
  
• Laboratorio (esperimenti di configurazione, partizionamento dischi, istallazioni, ecc.)
  
  

• Appunti in linea e trasparenze viste a lezione
  
  
• [1]
  I Moderni Sistemi Operativi
  Andrew S. Tannenbaum
  Jackson-Libri Universita'
  
  
• Modern Operating Systems
  Andrew S. Tanenbaum
  Prentice Hall Int.
  
  
• Possibili alternative
  
  [2]
  Sistemi Operativi: Concetti ed Esempi - 6a ed. -
  Slberschatz-Galvin-Gagne
  Addison-Wesley
  

+

[3]
Unix: Architettura di un sistema
Maurice J. Bach
Jackson

(utile comunque anche per S.O. 2)

o altro libro di introduzione a Unix


• Nota:
  Il libro:
  
  Sistemi Operativi: Progetto ed implementazione
  Tanenbaum e Woodhull
  UTET
  

contiene la parte di teoria del Tanenbaum "Moderni Sistemi Operativi".
Tuttavia usa come esempio molto dettagliato "MINIX" che non vedremo a
lezione.
Il libro di Silberschatz-Galvin-Gagne è più introduttivo
(confronta tra loro vari esempi quali Windows e Solaris)

• Lunedi 22/9, 11-13:
  Presentazione corso, introduzione ai sistemi operativi
  (definizione, cenni storici, struttura di calcolo)
  
  • Lucidi visti a lezione
    
  • Rif: Cap. 1: Sez. 1.1-1.4 di [1] (Cap. 1 e 2 di [2]) 
  • Appunti
  
  
• Martedi 23/9. 14-16:
Struttura di un sistema operativo

• Lucidi (vedi lezione precedente, ho messo in linea la versione completa)
• Rif: Cap. 1.5-1.7 di [1] (Cap. 3 di [2]) e appunti su unix
  
  
  
• Venerdi 26/9. Non ci sarà lezione
  
  
• Lunedi 29/9, 14-16:
  
  • Introduzione a Unix (vedi lucidi e appunti su unix lezione precendenti)

• Martedi 30/9. 14-16:
• Introduzione a Unix (vedi lucidi e appunti su unix lezione precendenti)
• Processi e threads
• Lucidi visti a lezione
• Rif: Cap. 2: Sez. 2.1-2.2 di [1] (Cap. 4: Sez 4.1-4.3 e 5 di [2])
  
  
• Approfondimenti su Windows:
• Documentazione su processi e threads MSDN (Microsoft Develeper Network)
• Approfondimenti su Unix:
• Sezione 2.3 e capitolo 6 di [3]
  

• Venerdi 3/10. 9-11:
• Cooperazione tra processi
• Lucidi visti a lezione
• Rif: Cap. 2: Sez. 2.3-2.4 di [1] (Cap. 7: Sez 7.1-7.7 di [2])
• Appunti: processi e concorrenza
• Note su proprieta' di progresso e bounded waiting e loro relazione


• Lunedi 6/10, 16-18:
• Problemi della sezione critica: Peterson, Test&Set, Prod-Consumatore con sleep-wait
• Semafori, scambio di messaggi e barriere
  
• Problemi tipici della sincronizzazione: 5 filosofi, lettori-scrittori, barbiere
• Lucidi, riferimenti e appunti: vedi lezione precendente
  
  
• Martedi 7/10, 14-16:
• Monitor, scambio di messaggi e barriere
• Problemi tipici della sincronizzazione: 5 filosofi, lettori-scrittori, barbiere
• Lucidi, riferimenti e appunti: vedi lezione precendente
• Appunti su semafori, monitor e problemi classici di sincronizzazione
• Esempio esecuzione soluzione dei 5 filosofi
• Esercizi su processi, threads, e sincronizzazione
  
• Codifica dei monitor tramite semafori:
  
• Codifica del monitor alla Hoare (P=wait/down; V=signal/up) (.ps.gz)
  vedi anche appunti Dodero
  
  
• Venerdi 10/10, 9-11:
• CPU Scheduling
• Lucidi visti a lezione
• Rif: Cap. 2: Ultime sezione di [1] (Cap. 6 di [2])
• Appunti: processi e concorrenza

• Lunedi 13/10, 16-18:
• Scheduling in Unix e Windows
  
• Lucidi e appunti: lezione precendente + interrupt in Unix
  
• Rif su Unix: Sezione 6.1-6.4 e Capitolo 8 di [3]
  
  
• Approfondimenti su Windows:
• Documentazione su scheduling MSDN (Microsoft Develeper Network)
  
  
• Martedi 14/10, 14-16:
• Gestione della memoria principale
• paginazione
• segmentazione
• Lucidi visti a lezione
• Rif: Cap. 4 di [1] (Cap. 9 di [2])
  
  
• Venerdi 17/10, 9-11:
  
• Memoria virtuale
• Lucidi visti a lezione
• Rif: Sez. 4.3-4.7 di [1] (Cap. 10 di [2])
  
  
• Lunedi 20/10, 14-16
• Cenni alla gestione della memporia principale in Unix e Windows 2000
• Lucidi visti a lezione
• Rif: Sez. 10.4 e 11.5 di [1] (Cap. 21.3.3.2 di [2])


• Martedi 21/10, 14-16
  Lunedi 27/10: 16-18
  Venerdi 31/10: 9-11
• Lezioni di laboratorio (S. Bencetti):
  Linux, fasi di boot, partizionamento disco, configurazione sistema, ecc.
• Materiale messo a disposizione da Stefano Bencetti
  
  
• Martedi 28/10, 14-16:
  
• Note su proprieta' di progresso e bounded waiting e loro relazione
• Correzione alla lavagna esercizi su processi, threads, semafori e monitor
• Esempio di compitino (con soluzioni)
  
  
• Lunedi 3/11: 14-15
  
• 14-15: Introduzione ai sistemi distribuiti (V. Gianuzzi).
• Appunti: intro a S.O.D.
  
  
• 15-16: Esercitazione in classe per compitino (G. Dodero)
  
  
• Martedi 4/11: 14-16
• Esericitazione in classe per compitino (Dodero)
  
  
• Venerdi 7/11: 9-11
• Introduzione ai sistemi distribuiti di V. Gianuzzi
• Appunti: Modello ISO/OSI
  
  
• Lunedi 17 14-15: Fine introduzione Reti (Gianuzzi); 15-16 Discussione esame (Delzanno)
  
  
• Martedi 18 e  Venerdi 21: Laboratorio (Bencetti)
  
  
• Martedi 25 e Venerdi 28: laboratorio (Bencetti)

• Lunedi 24/11 e 1/12: 14-15
• Introduzione al File System: Organizzazione e implementazione
  
• Lucidi visti a lezione
• Appunti (Dodero-Gianuzzi)
  
• Rif: Capitolo 6 di [1] (Cap. 21.3.3.2 di [2])
• 
  
• Venerdi 6/12:9-11 e Martedi 9/12: 14-16
  
• Esempi di file system
• Lucidi visti a lezione
• Rif: Sezione 6.4 e 11.7 (NTFS) di [1] (Cap. 11 e 12 (fino alla sezione 12.8) e 21.5 di [2])
  
  
• (Venerdi 12/12 e Lunedi 15/12: lezioni annullate a causa sciopero bus e treni)
  
  
• Martedi 16/12: 14-16
• Esercizi su gestione della memoria e file system con soluzioni
  
  
• Venerdi 9/12:9-11
  
• Esercizi su gestione della memoria e file system con soluzioni
  

• Contenuti
• Introduzione ai S.O. e Unix
  
• Processi e threads
• Cooperazione tra processi
• CPU Scheduling
• Gestione della memoria principale
• Memoria virtuale
• Gestione della memoria principale in Unix e Windows 2000
• File System 
• Esempi di File System (CP/M, MS-DOS, UNIX, NT, CDROM)
• Tutti i lucidi

• Introduzione, storia, struttura di calcolo, struttura dei S.O., e Unix da "utente"
  
  
• File .PDF 1 lucido x foglio
   (versione completa: 118 trasparenze (alcune su piu fogli) su 131 fogli PDF)
  
• File .PDF 4 lucidi x foglio
   (versione completa: 118 trasparenze, 4 x foglio)
  
  
• Processi e threads
  
  
• File .PDF 1 lucido x foglio
   (trasparenze da pag. 119 a pag. 167 su 53 fogli PDF)
  
• File .PDF 4 lucidi x foglio
   (trasparenze da pag. 119 a pag. 167 4 x foglio)
   
  
• Cooperazione tra processi
  
  

• File .PDF 1 lucido x foglio NUOVA VERSIONE 6/10
   (trasparenze da pag. 168 a pag. 218 su 59 fogli PDF)
• File .PDF 4 lucidi x foglio NUOVA VERSIONE 6/10(trasparenze da pag. 168 a pag. 218 4 x foglio)
  
  
• Note su proprieta' di progresso e bounded waiting e loro relazione
  


• Attenzione: in data 6/10/03 sono state apportate alcune modifiche ai lucidi di questa parte
  (che ora hanno 2 pagine in piu) rispetto ai lucidi mesi in linea prima del 6/10
  (vedi lucidi vecchi su cooperazione processi).
  
  Seguendo la numerazione dei nuovi lucidi le modifiche riguardano i lucidi:
  
  • alg. fornaio 185, 186
• def. semafori: 192
• scambio di messaggi asincrono: 208
• codice 5 filosofi: 215
  
  
• CPU Scheduling
  
  
• File .PDF 1 lucido x foglio
   (trasparenze da pag. 219 a pag. 258 su 41 fogli PDF)
• File .PDF 4 lucidi x foglio
   (trasparenze da pag. 219 a pag. 258 4 x foglio)
  
  NOTA: Lucido pag. 248 visto a lezione (modificato rispetto a sopra)
  
  
• Approfondimento su gestione dei processi in Unix: interrupt, trap
     (leggere prima di Scheduling in CPU Scheduling/insieme a gestione processi)
  

• File .PDF 1 lucido x foglio
   (trasparenze da pag. 259 a pag. 267 su 10 fogli PDF)
  
• File .PDF 4 lucidi x foglio 
  (trasparenze da pag. 259 a pag. 267 4 x foglio)
  
  
• Gestione della memoria principale
  
  
• File .PDF 1 lucido x foglio
   (trasparenze da pag. 268 a pag. 316 su 56  fogli PDF)
  
• File .PDF 4 lucidi x foglio
   (trasparenze da pag. 268 a pag. 316 4 x foglio)
  
  

• Memoria virtuale
  
  
• File .PDF 1 lucido x foglio (visti a lezione il 17/10)
   (trasparenze da pag. 317 a pag. 355 su 50 fogli PDF)
  
• File .PDF 4 lucidi x foglio (visti a lezione il 17/10)
   (trasparenze da pag. 317 a pag. 355 4 x foglio)
  
  
• Gestione della memoria principale in Unix e Windows 2000
  
  
• File .PDF 1 lucido x foglio
   (trasparenze da pag. 356 a pag. 374 su 50 fogli PDF)
  
• File .PDF 4 lucidi x foglio
   (trasparenze da pag. 356 a pag. 374 4 x foglio)
  
  
• File System
  
  
• File .PDF 1 lucido x foglio
   (trasparenze da pag. 376 a pag. 436 su 72 fogli PDF)
  
• File .PDF 4 lucidi x foglio
   (trasparenze da pag. 376 a pag. 436 4 x foglio)
  
  
• Esempi di File System (CP/M, MS-DOS, UNIX, NT, CDROM)
  
  
• File .PDF 1 lucido x foglio
    (trasparenze da pag. 437 a pag. 482 su 16 fogli PDF)
  
• File .PDF 4 lucidi x foglio
    (trasparenze da pag. 437 a pag. 482 4 x foglio)
  
  

• Tutti i lucidi (in formato 4 pagine per lucido)
     (Le note su progresso e bounded waiting sono integrate nei lucidi: 484 pagine)
  
  
• File .PDF: 4 trasparenze per x foglio

• Cenni storici
• Unix da utente
• Processi e concorrenza
• Semafori, Monitor e Problemi classici di programmazione concorrente
• Scheduling dei Processi
• Gestione della memoria principale
  
• Gestione del file system
  
  
• Introduzione ai sistemi distribuiti
• Modello ISO/OSI
  

• Processi, threads, problemi di sezione critica e sincronizzazione
• Esempio di compitino (fino a CPU scheduling) con soluzioni
• Esercizi su gestione della memoria e file system con soluzioni
• Esercizi su gestione della memoria e file system con soluzioni
• Esercizi vari
• Testi e soluzioni del primo compitino (febbraio 2004)
  
• Testo e soluzioni del secondo compitino (gennaio 2004)
  
• Esame Gennaio 2004
• Esame Febbraio 2004
• Esame Aprile 2004
• Esame Giugno 2004

Sviluppo commerciale

• Sistemi Operativi @ IBM
• Sistemi Operativi @ SGI
• Sistemi Operativi @ HP
• Sistemi Operativi @ Compaq
• Sistemi Operativi @ Microsoft

• BSD
• Linux

• Microsoft studia Linux: "Restiamo noi i migliori" di Riccardo Staglianò (La Repubblica, 03.10.2002

L'esame consiste di due parti

• orale sulla parte di laboratorio con discussione dell'esercitazione pratica
  
• scritto sulla parte di teoria (vedi lezioni e materiale) con "domande" ed "esercizi"
  

• Il primo  compitino sara' composto di diverse domande sulla parte iniziale del programma:
  
  
• Dall'introduzione ai sistemi operativi fino allo scheduling della CPU: intro, processi e threads, cooperazione tra processi, CPU scheduling (vedi calendario del corso)
  
  
• Vi saranno domande di teoria ed esercizi (su algoritmi di mutua esclusione, CPU scheduling)

• gestione della memoria principale
• memoria virtuale
• gestione della memoria in Unix e Windowd
  
• file system
• file system in Unix, Dos/Windows, CdRom, CP/M
  
• introduzione ai sistemi distribuiti (parte svolta dalla prof. Gianuzzi)
  

• una domanda orale sulla prima parte  di corso (fino a CPU scheduling)
  
• un'esercizio su processi e threads

• Esempio di esame con soluzioni (corretto 29/10)
• Esempio di domande sulla II parte del corso
  
• Testi e soluzioni del primo compitino (febbraio 2004)
  
• Testo e soluzioni del secondo compitino (gennaio 2004)
  
• Esame Gennaio 2004
• Esame Febbraio 2004
• Esame Aprile 2004
  

• Compitini
• 14 Novembre 03
  
• 14 Gennaio 04

• Esami
• 14 Gennaio 04
• Compitino 12 febbraio 04
  
• Voti esame 12 febbraio 04
• Voti esame 22 aprile 04
• Voti esame 22 aprile 04

• Riepilogo voti (individuale)
  

Sviluppo commerciale

• Sistemi Operativi @ IBM
• Sistemi Operativi @ SGI
• Sistemi Operativi @ HP
• Sistemi Operativi @ Compaq
• Sistemi Operativi @ Microsoft

• BSD
• Linux

• Microsoft studia Linux: "Restiamo noi i migliori" di Riccardo Staglianò (La Repubblica, 03.10.2002)
• IBM's "Blue Gene" to run on Linux di Michael Kanellos ( ZD Net News, 25.10.2002)

• Linux_Journal Una rivista mensile interamente dedicata al sistema operativo Linux. Una parte degli articoli presenti nella versione cartacea sono disponibili anche in linea.
• Linux Magazine Un'altra rivista mensile interamente dedicata al sistema operativo Linux. Una parte degli articoli presenti nella versione cartacea sono disponibili anche in linea. Interessante la sezione Gearheads Only

• M. Mitchell, J. Oldham, e A. Samuel, Advanced Linux Programming Un libro in inglese sulla programmazione di sistema in ambiente Linux.

• Leonardo Giordani, Programmazione concorrente: Principi e introduzione ai processi. LinuxFocus fornisce articoli di supporto e documentazione su Linux nei paesi non aglofoni. Il presente articolo introduce alla multiprogrammazione ed alla sua implementazione nel sistema operativo Linux. La versione in italiano è disponibile qui.
  
  
• Andries Brouwer, A small trail through the Linux kernel Un interessante viaggio nel kernel 2.4 di Linux. Una traduzione in italiano è disponibile qui.
  
  
• Daniel Robbins, Introducing Ext3. Il settimo dei dodici articoli della serie Advanced filesystem implementor's guide.
  
  
• Russell Quong, Shell scripts in 20 pages. Molte risposte ai dubbi sulla programmazione di shell.
• VX Heavens. Un sito in inglese interamente dedicato ai virus, con tutorial, articoli, eseguibili e sorgenti. Le informazioni contenute possono aiutare a capire meglio come difendersi.
  
  
• Farsite. Un progetto della Microsoft per la realizzazione di un file system distribuito.