Programma del corso:
Algoritmi Distribuiti 2
Introduzione
Algoritmi di base per sistemi Message Passing
Modello formale per sistemi message passing
Broadcast and Convergecast su uno Spanning Tree
Algoritmo Flooding e costruzione di uno Spanning Tree
Costruzione di uno Spanning Tree Depth-First con una radice specificata
Costruzione di uno Spanning Tree Depth-First senza una radice specificata
Costruzione di uno Spanning Tree di peso minimo
Leader Election in Anelli
Il problema del Leader Election
Anelli Anonimi
Anelli Asincroni
Anelli Sincroni
La Mutua Esclusione per la Memoria Condivisa
Modello Formale per sistemi a memoria condivisa
Il problema della Mutua Esclusione
Mutua Esclusione usando registri R/M/W
Mutua Esclusione utilizzando registri R/W
Fault-Tolerant Consensus
Synchronous Systems with Crash Failures
Impossibility in Asynchronous Systems
Randomizzazione
L’elezione del Leader: un caso di studio
Materiale Didattico per il corso:
libro di testo:
Distributed Computing : Fundamentals, Simulation and Advanced Topics
H. Attiya, J Welch
Trasparenze utilizzate a lezione disponibili sul sito del corso
