Elu = p - Verimag

Election
Robuste, Auto-Stabilisante et Efficace
Carole Delporte-Gallet
Stéphane Devismes
(LIAFA)
(CNRS, LRI)
Hugues Fauconnier
(LIAFA)
LIAFA
Auto-Stabilisation : Fermeture + Convergence
Fermeture
Etats illégitimes
Etats legitimes
Convergence
Etats du système
16/08/2008
Algotel 2008
2
Avantage : tolérance aux pannes transitoires
16/08/2008
Algotel 2008
3
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
4
Efficacité en communication
[Larrea, Fernandez, and Arevalo, 2000]:
« An algorithm is communication-efficient
if
it eventually only uses n - 1 unidirectional links »
16/08/2008
Algotel 2008
5
Contribution

Election de Leader :



16/08/2008
Auto-stabilisante
Robuste
Efficace
Algotel 2008
6
Modèle
1
2



Réseau complet
Communications par messages
Lien :




Processeur :



3
4
16/08/2008
Unidirectionel
Sans ordre de réception
Synchrone
Synchrone ou crashé
Avec identité
Fautes transitoires

initialement, états des liens et des processeurs
quelconques
Algotel 2008
7
Principles de l’algorithme (1/4)

Chaque processeur p envoie périodiquement Vivant,p aux autres si Elu = p
Vivant,1
Elu=1
4
3
2 Elu=2
Elu=2
Vivant,2
Vivant,1
1
Vivant,2
16/08/2008
Algotel 2008
8
Principles de l’algorithme (2/4)

Quand un processeur p tel que Elu = p reçoit Vivant de q,

Elu := q if q < p
Vivant,1
Elu=1
4
3
2 Elu=2
Elu=1
Elu=2
Vivant,2
Vivant,1
1
Vivant,2
16/08/2008
Algotel 2008
9
Principles de l’algorithme (3/4)

Tout processeur q tel que Elu ≠ q choisit toujours comme élu le processeur
duquel il a reçu Vivant le plus récemment
Vivant,1
Elu=1
4
3
2 Elu=1
Vivant,1
1
Elu=2
Elu=1
16/08/2008
Algotel 2008
10
Principles de l’algorithme (4/4)

Sur Time out, un processeur p affecte Elu à p
Vivant,1
Elu=3
Elu=1
4
3
2 Elu=2
Elu=4
Elu=2
Vivant,2
Vivant,1
1
Vivant,2
16/08/2008
Algotel 2008
11
Perspectives


Appliquer la notion d’efficacité en
communication à d’autres algorithmes
auto-stabilisants
Trouver des solutions robustes et autostabilisantes pour d’autres type de
problèmes
16/08/2008
Algotel 2008
12
Merci !