Introduzione ai sistemi distribuiti
Responsabile didattico: Marino Miculan
Durata: 28 ore
Periodo didattico: secondo semestre
Programma
Il corso offre un'ampia introduzione alla teoria dei sistemi distribuiti. Tra gli altri aspetti caratteristici dei sistemi distribuiti, coprirà i meccanismi a passaggio di messaggi e a memoria condivisa, i meccanismi sincroni vs. asincroni, la tolleranza agli errori, ecc.L'attenzione si concentra su concetti chiave, idee algoritmiche e analisi matematiche delle problematiche alla base dei sistemi distribuiti.
A tal fine, verrà fornita una solida base teorica per l'analisi e la progettazione di sistemi concorrenti, distribuiti e mobili, utilizzando formalismi come i calcoli di processo per modellare e ragionare su sistemi complessi, studiandone sia la semantica formale che i suoi molteplici usi, attraverso una serie di esempi da casi reali.
