Diario delle lezioni

Ogni lezione è da 2 ore.

Totale:

• 12 lezioni (24 ore)

21 marzo 2017 (Lezione n° 1)

• Presentazione del corso e delle modalità d’esame
• Cap 15, fino a pag. 493 (Scheduling and Dispatch escluso)

23 marzo 2017 (Lezione n° 2)

• Parte restante del cap. 15
• Cap 16, fino a pag. 528 (Graphical user Interfaces escluso)

24 marzo 2017 (Lezione n° 3)

• Parte restante del cap. 16 (tranne sezione 16.4)
• Approfondimento: comandi shell Linux e script Bash:
  http://www.dmi.unict.it/diraimondo/web/wp-content/uploads/classes/so/1415/SO-tutorial-lab-unix-shell.pdf

28 marzo 2017 (Lezione n° 4)

• Cap 17, fino a pag. 568 (Free space management escluso)

30 marzo 2017 (Lezione n° 5)

• Parte restante del cap. 17

31 marzo 2017 (Lezione n° 6)

• Cap 18 sezione 8
• Cap 18 dall’inizio fino a pag. 613 (“Priority scheduling” escluso)

4 aprile 2017 (Lezione n° 7)

• Cap 18, fino a pag. 627 (Page raplacement algorithms escluso)

6 aprile 2017 (Lezione n° 8)

• Parte restante del cap. 18
• Esercizi

7 aprile 2017 (Lezione n° 9)

• Esercizi

20 aprile 2017 (Lezione n° 10)

• Comunicazione e Sincronizzazione di processi
• Ambiente locale e ambiente globale
• Comunicazione diretta e indiretta
• Problemma della sezione critica e mutua esclusione
• Semafori
• Caso di studio: processi produttore e consumatore
• Introduzione al deadlock

21 aprile 2017 (Lezione n° 11)

• Meccanisimi di comunicazione in Unix: Pipe, Fifo, Socket
• Deadlock: definizione, condizioni necessarie
• Gestione del deadlock
• Rilevare i deadlock
• Evitare i deadlock: concetto di stato sicuro e algoritmo del banchiere
• Prevenire i deadlock

28 aprile 2017 (Lezione n° 12)

• Esercizi