• 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

• Martedì 14-16
• Mercoledì 11-13
  
• Giovedì 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 
• 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
  
  
• 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 testo e soluzione
• Martedi 26/10 14-16
• Deadlock (stallo)
• Lucidi visti a lezione
• Appunti: stallo
  

• 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



• Scheduling
• File .PDF 4 lucidi x foglio
  
  
• Deadlock
• File .PDF 4 lucidi 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
  
  

• 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: intro, processi e threads, cooperazione tra processi, CPU scheduling (vedi calendario del corso), stallo
  
  
• 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
  

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.