Self-Stabilization with r-Operators revisited

We present a generic distributed algorithm for solving silents tasks such as shortest path calculus, depth-first-search tree construction, best reliable transmitters, in directed networks where communication may be only unidirectional. Our solution is written for the asynchronous message passing communication model, and tolerates multiple kinds of failures (transient and intermittent). First, our algorithm is self-stabilizing, so that it recovers correct behavior after finite time starting from an arbitrary global state caused by a transient fault. Second, it tolerates fair message loss, finite message duplication, and arbitrary message reordering, during both the stabilizing phase and the stabilized phase. This second property is most interesting since, in the context of unidirectional networks, there exist no self-stabilizing reliable data-link protocol. The correctness proof subsumes previous proofs for solutions in the simpler reliable shared memory communication model.

[1]  Sébastien Tixeuil,et al.  A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks , 2004, ALGOSENSORS.

[2]  Shmuel Katz,et al.  Self-stabilizing extensions for meassage-passing systems , 2005, Distributed Computing.

[3]  Sébastien Tixeuil,et al.  Self-stabilization with path algebra , 2003, Theor. Comput. Sci..

[4]  Yehuda Afek,et al.  Self-stabilization over unreliable communication media , 2005, Distributed Computing.

[5]  C. Leake.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[6]  Shlomi Dolev,et al.  Memory requirements for silent stabilization , 1999, Acta Informatica.

[7]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[8]  Mohamed G. Gouda,et al.  Stabilization of Routing in Directed Networks , 2001, WSS.

[9]  Sandeep S. Kulkarni,et al.  Collision-Free Communication in Sensor Networks , 2003, Self-Stabilizing Systems.

[10]  Sébastien Tixeuil,et al.  Self-stabilization with r-operators , 2001, Distributed Computing.

[11]  Sébastien Tixeuil,et al.  Self-stabilization with r-Operators Revisited , 2005, Self-Stabilizing Systems.

[12]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

[13]  Bertrand Ducourthial.  New operators for computing with associative nets , 1998, SIROCCO.

[14]  Shlomi Dolev,et al.  Self-stabilizing group communication in directed networks , 2003, Acta Informatica.

[15]  Yehuda Afek,et al.  Self-stabilizing unidirectional network algorithms by power-supply , 1997, SODA '97.

[16]  Sébastien Tixeuil,et al.  Tolerating Transient and Intermittent Failures , 2002, J. Parallel Distributed Comput..