Sistemi Operativi A (a.a. 2002/2003)

Prof. Riccardo Focardi

Risultati Esami

• Prova scritta del 17 Gennaio 2003:  risultati
• Prova scritta del 12 Febbraio 2003:  risultati
• Prova scritta del 9 Luglio 2003:  risultati
• Prova scritta del 9 Settembre 2003:  risultati
• Prova scritta del 15 Gennaio 2004:  risultati
• Prova scritta del 11 Febbraio 2004:  risultati
• Prova scritta del 3 Giugno 2004:  risultati
• Prova scritta del 8 Luglio 2004:  risultati
• Prova scritta del 15 Settembre 2004:  risultati

Testi

• W. Stallings, Operating Systems (quarta ed.), Prentice-Hall, 2000

• A Silberschatz, P.Galvin, Sistemi Operativi (quinta ed.), Addison Weseley, 1999 

Programma del corso

• Parte I - Introduzione. slides in pdf
  Livelli di software. Funzioni e struttura di un sistema operativo. Livelli di macchine virtuali. Meccanismi di interruzione. Meccanismi di base hardware e software. Evoluzione e classificazione di sistemi operativi. I sistemi UNIX e Windows 2000.
  
• Parte II - I  processi. slides in pdf
  Struttura e proprietà dei processi. Stati di un processo. Creazione e terminazione di processi, commutazione di contesto. La gestione dei processi in UNIX. Cooperazione e competizione tra processi.  I threads. Processi sequenziali, concorrenti e in tempo reale. Gestione dell'unità centrale. Politiche di scheduling. Indicatori di prestazioni. 
• Parte III - Sincronizzazione.
  Concorrenza e condizioni di interferenza. La sezione critica. Soluzioni software e hardware. Semafori. slides in pdf
  Il problema dei filosofi a cena e dei lettori/scrittori. I Monitor. Primitive per l'invio e la ricezione di messaggi. Schemi produttore-consumatore. Gestione dei deadlock: prevenzione, controllo e riconoscimento. L'algoritmo del banchiere. Un esempio di deadlock: i filosofi a cena. slides in pdf
  
• Parte IV - La gestione della memoria. slides in pdf
  Spazi di indirizzamento. Rilocazione statica e dinamica. Partizionamento fisso e dinamico. Algoritmi di allocazione. Il "Buddy System". Tecniche di paginazione e segmentazione. La memoria virtuale. Strategie di sostituzione delle pagine: ottima, LRU, FIFO, clock. Strategie di allocazione. La strategia Working Set. Gestione della memoria in UNIX e Windows 2000: cenni.

Programma ridotto per la Laurea specialistica in Informatica per le discipline Umanistiche

• Parte I - Introduzione. slides in pdf (gli slides si riferiscono al programma intero per informatica)
  Livelli di software. Funzioni e struttura di un sistema operativo. Livelli di macchine virtuali. Meccanismi di interruzione. Evoluzione e classificazione di sistemi operativi. I sistemi UNIX e Windows 2000.
  
• Parte II - I  processi. slides in pdf (gli slides si riferiscono al programma intero per informatica)
  Struttura e proprietà dei processi. Stati di un processo. Creazione e terminazione di processi. Cooperazione e competizione tra processi.  I threads. Processi sequenziali, concorrenti e in tempo reale.
• Parte III - Sincronizzazione.
  Concorrenza e condizioni di interferenza. La sezione critica. Soluzioni software e hardware. Semafori. Sincronizzazione produttore-consumatore tramite semafori. slides in pdf (gli slides si riferiscono al programma intero per informatica)
  Le condizioni necessarie e sufficienti per il deadlock. slides in pdf (gli slides si riferiscono al programma intero per informatica)
  

Link utili

I siti Web dei seguenti libri di testo contengono errata-corrige, esercizi, esempi, altro materiale didattico e riferimenti

• W. Stallings, Operating Systems, 4th ed., Prentice-Hall, 2000
• A. Silberschatz, P. Galvin, Operating Systems Concepts, 6th ed., John Wiley & Sons, 2001
• A. Tanenbaum, Modern Operating Systems, 2nd ed., Prentice-Hall, 2001