Introduzione ai sistemi distribuiti
a.a. 2022/23
Responsabile didattico: Marino Miculan
Docenti: Marino Miculan, Gabriele Puppis
Durata: 28 ore
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.