28/10/08:
Tolleranza a guasti nei sistemi distribuiti a passaggio di messaggi: il problema del consenso. Guasti benigni di canali di comunicazione: il problema dei due generali. Dimostrazione di non esistenza della soluzione. Guasti benigni di processori: dimostrazione di esistenza di una soluzione in f+1 rounds nel caso di fallimento di al più f processori. Analisi della complessità dei messaggi. Guasti bizantini di processori: Algoritmo polinomiale di consenso (King algorithm) per n processori di cui f<n/4 bizantini.
30/10/08:
Dimostrazione di correttezza del King algorithm, numero di rounds e complessità. Impossibilità della risoluzione con 3 processori di cui 1 sleale. Caso generale: impossibilità della risoluzione con n processori di cui almeno n/3 sleali. Algoritmo esponenziale di consenso per n processori di cui f<n/3 Bizantini. Albero delle computazioni associato ad ogni processore.
4/11/08:
Dimostrazione di correttezza dell'algoritmo esponenziale: soddisfacimento delle condizioni di terminazione, validità ed accordo. Complessità dei messaggi.
Approfondimento: Non correttezza dell'algoritmo esponenziale di consenso per fallimenti Bizantini con n=3 ed f=1. Non correttezza dell'algoritmo King per fallimenti Bizantini con n=4 ed f=1.
Dispense: Consensus.