Elu = p - Verimag

Election
Robuste, Auto-Stabilisante et Efficace
Carole Delporte-Gallet (LIAFA)
Stéphane Devismes (CNRS, LRI)
Hugues Fauconnier (LIAFA)
LIAFA

16/08/2008 Algotel 2008 2
Auto-Stabilisation : Fermeture + Convergence
Etats du système
Etats illégitimes Etats legitimes
Convergence
Fermeture

16/08/2008 Algotel 2008 3
Avantage : tolérance aux pannes transitoires

16/08/2008 Algotel 2008 4
Auto-Stabilisation + Robustesse
i.e. tolérance aux pannes transitoires et
définitives (e.g. crash de processeurs)
Gopal and Perry, PODC’93
Beauquier and Kekkonen-Moneta, JSS’97
Anagnostou and Hadzilacos, WDAG’93

16/08/2008 Algotel 2008 5
Efficacité en communication
[Larrea, Fernandez, and Arevalo, 2000]:
« An algorithm is communication-efficient
if
it eventually only uses n - 1 unidirectional links »