Light enabling snap-stabilization of fundamental protocols

Alain Cournier (1) , Stephane Devismes (1) , Vincent Villain (1)

1 LaRIA - Laboratoire de Recherche en Informatique d'Amiens

In this article, we show that some fundamental self- and snap-stabilizing wave protocols (e.g., token circulation, PIF , etc.) implicitly assume a very light property that we call BreakingIn . We prove that BreakingIn is strictly induced by self- and snap-stabilization. Combined with a transformer, BreakingIn allows to easily turn the non-fault-tolerant versions of those protocols into snap-stabilizing versions. Unlike the previous solutions, the transformed protocols are very efficient and work at least with the same daemon as the initial versions extended to satisfy BreakingIn . Finally, we show how to use an additional property of the transformer to design snap-stabilizing extensions of those fundamental protocols like Mutual Exclusion.

Domaines: Informatique [cs]

Alain Cournier, Stephane Devismes, Vincent Villain. Light enabling snap-stabilization of fundamental protocols. ACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (1), pp.1-27. ⟨10.1145/1462187.1462193⟩. ⟨hal-03241437⟩