|
Docente
|
BONOMI SILVIA
(programma)
- Introduzione ai sistemi distribuiti
- Astrazioni di base (Computazioni distribuite, astrazione di processi, Astrazione delle comunicazioni, Assunzioni di sincronia, Astrazione del Tempo)
- Sincronizzazione dei clock fisici
- Comunicazione Broadcast (Best Effort Broadcast, Broadcast affidabile, Broadcast uniforme e affidabile, Broadcast probabilistico)
- Consenso (Consenso regolare, Risultato di Impossibilità FLP, Consenso uniforme, Algoritmo di Paxos)
- Primitive di comunicazione ordinate
- Memorie condivise
- Replicazione software
- CAP Theorem e le sue applicazioni
- Tolleranza a guasti Bizantini
- Sistemi - Publish/subscribe
- Distributed Ledgers
 - C. Cachin, R. Guerraoui and L. Rodrigues. Introduction to Reliable and Secure Distributed Programming, Springer, 2011
Suggeriti
- George Coulouris, Jean Dollimore and Tim Kindberg, Gordon Blair "Distributed Systems: Concepts and Design (5th Edition)". Addison - Wesley, 2012.
|
