Dispense lezioni

• Introduzione al corso (pdf) 10/01/05
• Architettura dei sistemi operativi (pdf) 10/01/05
• Classificazione dei sitemi a processori multipli (pdf) 14/01/05
• Comunicazione nei sistemi operativi distribuiti - fino a RPC escluse - (pdf) 14/01/05
• Comunicazione nei sistemi operativi distribuiti - RPC e comunicazione di gruppo - (pdf) 21/01/05
• Sincronizzazione nei sistemi operativi distribuiti - fino a determinazione dello stato globale escluso (pdf) 21/01/05 - 28/01/05
• Sincronizzazione nei sistemi operativi distribuiti - fino a deadlock escluso (pdf) 28/01/05
• Esempio algoritmo snapshot (pdf) 04/02/05
• Sincronizzazione nei sistemi operativi distribuiti - deadlock e algoritmi di elezione (pdf) 04/02/05
• Gestione dei processi nei sistemi operativi distribuiti (pdf) 04/02/05
• File system distribuiti (pdf) 04/02/05
• File system distribuiti - caso di studio: NFS (pdf) 10/02/05
• Memoria condivisa distribuita (pdf) 10/02/05
• Introduzione ai sistemi operativi real-time (pdf) 18/02/05
• Scheduling in sistemi operativi real-time - task aperiodici (pdf) 25/02/05
• Scheduling in sistemi operativi real-time - task periodici (pdf) 04/03/05
• Scheduling in sistemi operativi real-time - task misti (pdf) 16/03/05