Stabilisation instantanée efficace

Stabilisation instantanée efficace
Alain Cournier, Stéphane Devismes et Vincent Villain
Séminaire à l’université de Reims, le 5 avril 2007

Stabilisation instantanée efficace 2
Stabilisation
Auto-stabilisation (Dijkstra, 1974)
–Un système auto-stabilisant, quel que soit son état initial, converge
en un temps fini vers un comportement vérifiant ses spécifications.
Stabilisation instantanée (Bui, Datta, Petit et Villain,
1999)
–Un système instantanément stabilisant, quel que soit son état
initial, vérifie toujours ses spécifications.
Applications :
- Tolérance aux fautes transitoires, systèmes dynamiques

Stabilisation instantanée efficace 3
Algorithme à vagues
Un algorithme à vagues Pvérifie [Tel, 2001] :
1. Chaque exécution (vague) de Pse déroule en un temps fini
2. Chaque exécution de Pcontient au moins une décision
3. Durant une exécution, chaque décision est causalement précédée
par au moins une action sur chaque processeur
Décision : tâche « terminée »
Actions de démarrage
Exemples :
-Propagation d’informations avec retour (PIR)
- Circulation de jetons

Stabilisation instantanée efficace 4
Algorithme à vagues auto-stabilisant
1.X ≠ F(X)2.X ≠ F(X)
3.X ≠ F(X) 4.X ≠ F(X) N.X F(X)
F(.)

Stabilisation instantanée efficace 5
Algorithme à vagues instantanément stabilisant
1.X F(X) F(.)