• News
• Orario definitivo e ricevimento
  
• 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

• Il prossimo appello e' fissato per il 20 settembre 2005 ore 9:00.
  

• Martedì 14-16
• Mercoledì 11-13
  
• Giovedì 9-11

• Giovedi 14-16

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 
• Il sistema operativo UNIX (intro + uso dal punto di vista dell'utente)
• Processi e Thread
  
• 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
  
  
• Laboratorio (esperimenti di configurazione, partizionamento dischi, istallazioni, ecc.)
  
  

• Appunti in linea e trasparenze viste a lezione
  
  
• [2]
  Sistemi Operativi: Concetti ed Esempi - 6a ed. -
  Slberschatz-Galvin-Gagne
  Addison-Wesley
  
  Alternativa:
  
  
• [1]
  I Moderni Sistemi Operativi
  Andrew S. Tannenbaum
  Jackson-Libri Universita'
  
  
• Modern Operating Systems
  Andrew S. Tanenbaum
  Prentice Hall Int.
  
  +
  
  [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.
  
  
  

• Martedi 22/9, 11-13:
  Presentazione corso, introduzione ai sistemi operativi
  (definizione, cenni storici, struttura di calcolo)
  
  • Lucidi visti a lezione
    
  • Rif: Cap. 1 e 2 di [2] e Cap. 1: Sez. 1.1-1.4
  • Appunti
  
  
• Mercoledi 23/9. 9-11 e Martedi 28/9 14-16:
  Struttura di calcolo e struttura di un sistema operativo
  
• Lucidi visti a lezione
• Rif: Cap. 1.5-1.7 di [1] e Cap. 3 di [2]
  
  
• Mercoledi 29/9 11-13
  Introduzione a Unix
  
  • Lucidi visti a lezione
  • Appunti
    
  • Rif: Sezione 2.3 e capitolo 6 di [3]
    
    Altro materiale:
    
  • Gestione device: registro dei device (Linux) con indicazione di
    Major, Minor Number e nome del Device File per ogni (tipo di) dispositivo
  • Comunicazione: Well-known port numbers
    
    
    
• Giovedi 30/9 9-11
  Processi
  • Lucidi visti a lezione
  • Appunti
  • Rif: Cap. 2: Sez. 2.1-2.2 di [1] e  Cap. 4: Sez 4.1-4.3 e 5 di [2]
    
    
• Martedi 5/10 14-16
  Threads
  • Lucidi visti a lezione
  • Rif: Cap. 2: Sez. 2.1-2.2 di [1] e Cap. 4: Sez 4.1-4.3 e 5 di [2]
    
    
• Mercoledi 6/10 11-13 e Giovedi 7/10 9-11
  Cooperazione tra processi
• Rif: Cap. 2: Sez. 2.3-2.4 di [1] e Cap. 7: Sez 7.1-7.7 di [2]
  • Lucidi visti a lezione
  • Appunti

• Martedi 12/10 14-16
  Semafori e monitor
  • Lucidi visti a lezione
  • Semafori binari e implementazione semafori non binari
  • Appunti su semafori, monitor e problemi classici di sincronizzazione
    
    
• Mercoledi 13/10 11-13
  Riepilogo monitor
  
  • Ancora su monitor
    
  • Implementazione monitor con semafori
• Scambio di messaggi e problemi di concorrenza classici
  
  • Lucidi visti a lezione
  • Appunti su semafori, monitor e problemi classici di sincronizzazione
    
    
    Per approfondimenti su Thread e monitor nei linguaggi di programmazione:
    
  • Metodi sincronizzati in Java
    
    
• Martedi 19/10  14-16  e Mercoledi 20/10 11-12
  
• CPU Scheduling
• Rif: Cap. 2: Ultima sezione di [1] e Cap. 6 di [2]
• Lucidi visti a lezione
• Appunti: processi e concorrenza    

• Giovedi 21/10 9-11
  
  • Esercizi per compitino
    
  • Vedi Es 1 e 2 (testo e soluzione)
    
    
• Martedi 26/10 14-16 e Mercoledi 27/10 11-13
  
  • Deadlock (stallo)
  • Lucidi visti a lezione
  • Appunti: stallo
    
    
• Giovedi 28/10 9-11
  • Esercizi per compitino 
  • Vedi Esame Aprile 2004
    
    
• Martedi 2/11 14-16 e Mercoledi 3/11 11-13
  
  • Gestione della memoria
    
  • Lucidi visti a lezione
  • Appunti: gestione della memoria
  • Rif: Cap. 4 di [1] e Cap. 9 di [2]
    
    
• Giovedi 11: 14-16 primo compitino (Ma 9-Me 10: pausa lezioni)
  

• Martedi 15/11 14-16:
  • Correzione primo compitino
    
    
• Mercoledi 17/11 11-12 e Giovedi 18 9-11
  
  • Gestione della memoria e memoria virtuale
    
  • Lucidi visti a lezione
  • Appunti: gestione della memoria
  • Rif: Sez. 4.3-4.7 di [1] e Cap. 10 di [2]
    
    
• Martedi 23/11 14-16 e Mercoledi 24 11-12
  
  • Gestione della memoria in Unix e Windows
    
  • Lucidi visti a lezione(Unix)
  • Lucidi visti a lezione(Windows 2000) da attivare
    
  • Rif: Sez. 10.4 e 11.5 di [1] e Cap. 21.3.3.2 di [2]
    
    
• Giovedi 25/11 9-11
  • Esercizi su paginazione e gestione memoria (vedi esercizi on-line)
    
    
• Martedi 30/11: sciopero generale trasporti e universita'
  
  
• Mercoledi 1/12 11-12:
  • Gestione della memoria secondaria: file system manager
    
  • Lucidi visti a lezione
  • Rif: Capitolo 6 di [1] e Cap. 21.3.3.2 di [2]
    
    
• Giovedi 2/12 9-11:
  
  • Esercizi preparazione II compitino (vedi Esercizi)
    
    
    
• Martedi 7/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])
    
    
• Mercoledi 8/12: festa
• Giovedi 9/12: non ci sara' lezione
  
  
• Martedi 14/12 14-16: Esempi di file system
  
• Mercoledi 15/12 11-12: Esempi di file system ed esercizi (vedi Esercizi)
• Giovedi 16/12 9-11: Esercizi  (vedi Esercizi)
  
  
• Martedi 14/12 14-16 e Mercoledi 11-13:
  
  • Approfondimenti su Linux
  • Lucidi visti a lezione
  • Rif: Linux project hp Guida a Linux
    
    
• Giovedi 23/12 9-11: Esercizi  (vedi Esercizi)  -- Ultima lezione --
  

• Introduzione, storia, struttura di calcolo, struttura dei S.O.
  
  
• File .PDF 4 lucidi x foglio
  
  
• Introduzione a Unix
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Processi
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Threads
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Cooperazione tra processi
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Semafori e Monitor
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Scambio di messaggi e problemi classici
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Gestione dei processi (Scheduling)
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Gestione delle risorse (Deadlock)
  
  
  • File .PDF 4 lucidi x foglio
    
    
  • Rev: File .PDF 4 lucidi x foglio
    Lucidi con alcune modifiche rispetto alla prima versione messa in linea,
    algoritmo Identificazione deadlock (pag. 27-29) e banchiere con
    nomi in italiano (pag. 42-45)
    
    
• Gestione della memoria principale
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Memoria virtuale
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Gestione della memoria principale in Unix
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Gestione della memoria principale in Windows 2000
  • File .PDF 4 lucidi x foglio (non ancora attivo)
    
    
• Gestione della memoria secondaria: file system manager
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Esempi di File System (CP/M, MS-DOS, UNIX, NT, CDROM)
  
  
  • File .PDF 4 lucidi x foglio
    
    
• Approfondimenti su Linux
  
  • Linux, boot, panoramica servizi e FS Standard:
    
    • File .PDF
  • Gestione del disco: 
    • File .PDF 
  • Servizi Linux 1:
    
    • File .PDF
  • Servizi Linux 2:
    
    • File .PDF

• Cenni storici
• Unix da utente
• Processi e concorrenza
• Semafori, Monitor e Problemi classici di programmazione concorrente
• Scheduling dei Processi
• Deadlock
• Gestione della memoria principale
  
• Gestione del file system
  
  

• 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

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:
    
    
  • 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 Windows
  
• file system
• file system in Unix, Dos/Windows, CdRom, CP/M
  
• introduzione ai sistemi distribuiti (parte svolta dalla prof. Gianuzzi)
  

• 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
• Soluzioni del compitino 11 novembre 2004
  

• Testo e soluzioni
  
  • Testo A (prod.cons con monitor)
  • Testo B (funzione shift)

• Voti
  • Voti Testo A (prod.cons con monitor)
  • Voti Testo B (prod.cons con monitor)

• Testo e soluzioni
• TestoA
  
• TestoB
  
• Risultati
  
• Esame tipo primo compitino
  
• Esame completo
• Secondo compitino (+ media con voto primo compitino)

• Testo (Word)
  
• Soluzioni
  
  
• Risultati esame 11 febbraio  (completo, II e I parte) + voti finali
  
  
• Risultati esame 18 febbraio  (completo, II e I parte) + voti finali

• Bocchia 18
  
• De Trizio 25
  
• Favaretto 23
• Fui 25
• Moccagatta 21
• Perelli 11
• Rando 21.5 (22)
• Sugliano 19.5 (20)
• Zelaschi 18

• Arrigo 9
  
• Brissolese 17
• Calmanti 7.5
• Casamassima 20
• Cortesogno 19
• Doglio 16
• Ferrando 30
• Gavuglio 20.5
• La Marca 28.5
• Mino 7.5
• Panzeri 10
• Pastorino 13
• Petrillo 17
• Romano 24
• Soro 15

Sviluppo commerciale

• http://researchweb.watson.ibm.com/compsci/os/index.html
• http://www.sgi.com/developers/technology/
• http://www.hp.com/products1/unix/operating/
• http://www.tru64unix.compaq.com/
• http://research.microsoft.com/research/topics/

• 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.