Stéphane Devismes

Stabilisation instantanée efficace
Alain Cournier, Stéphane Devismes et Vincent Villain
Séminaire FRAGILE, le 19 juin 2007, LIP6

Stéphane Devismes, FRAGILE, 19 juin 2007 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.

Stéphane Devismes, FRAGILE, 19 juin 2007 3
Auto-stabilisation : point de vue « système »
Etats légitimes
Etats illégitimes

Stéphane Devismes, FRAGILE, 19 juin 2007 4
Stabilisation instantanée :
point de vue « utilisateur »
A partir de n’importe quelle configuration initiale,
assurer un service spécifique dès la première
requête.
1.X F(X) F(.)

Stéphane Devismes, FRAGILE, 19 juin 2007 5
Exemple: imprimante partagée