Autour de l'autostabilisation Partie II. Techniques spécialisant l'approche

This paper constitues the first part of a survey on techniques derived from selfstabilization. Self-stabilisation is a versatile technique to design distributed algorithms that withstand transient faults. However, it also includes some drawbacks such as the temporary loss of safety, Recent research has been made to overeome these drawbacks leading to propose either to weaken or to enhance the stabilization. In this first part, we present the main weakened forms of self-stabilization. They are obtained by relaxing either the closure or the convergence property of self-stabilization, allowing to solve problems that are proven to be of high complexity or even impossible to solve in a self-stabilizing manner. In this paper, we present a detailed state-of-the-art of these techniques. In a second part, also published in this issue (Devismes et al., 2011), we deal about strenghtened forms of self-stablization.

[1]  Sébastien Tixeuil,et al.  Snap-stabilization in message-passing systems , 2008, PODC '08.

[2]  Franck Petit,et al.  Toward a Time-Optimal Odd Phase Clock Unison in Trees , 2006, SSS.

[3]  Franck Petit,et al.  Optimal snap-stabilizing depth-first token circulation in tree networks , 2007, J. Parallel Distributed Comput..

[4]  Stéphane Devismes,et al.  Light enabling snap-stabilization of fundamental protocols , 2009, TAAS.

[5]  Ted Herman.  Observations on Time-Adaptive Self-Stabilization , 1997 .

[6]  Ted Herman,et al.  Superstabilizing mutual exclusion , 2000, Distributed Computing.

[7]  Joffroy Beauquier,et al.  A 1-Strong Self-stabilizing Transformer , 2006, SSS.

[8]  Luo Qi,et al.  Parallel and Distributed Computing and Networks , 2011 .

[9]  Sriram V. Pemmaraju,et al.  Error-detecting codes and fault-containing self-stabilization , 2000, Inf. Process. Lett..

[10]  Anish Arora,et al.  Tolerance to unbounded Byzantine faults , 2002, 21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings..

[11]  Yoshiaki Katayama,et al.  A Latency Optimal Superstabilizing Mutual Exclusion Protocol in Unidirectional Rings , 2002, J. Parallel Distributed Comput..

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

[13]  Shlomi Dolev,et al.  SuperStabilizing protocols for dynamic distributed systems , 1995, PODC '95.

[14]  Sayaka Kamei,et al.  A Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence , 2008, OPODIS.

[15]  Sébastien Tixeuil,et al.  Self-Stabilization with r-Operators revisited , 2005, J. Aerosp. Comput. Inf. Commun..

[16]  George Varghese,et al.  The fault span of crash failures , 2000, JACM.

[17]  Hirotsugu Kakugawa,et al.  A self-stabilizing minimal dominating set algorithm with safe convergence , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[18]  Shlomi Dolev,et al.  Parallel composition for time-to-fault adaptive stabilization , 2007, Distributed Computing.

[19]  Josef Widder,et al.  Self-Stabilizing Failure Detector Algorithms , 2005, Parallel and Distributed Computing and Networks.

[20]  Arobinda Gupta,et al.  Fault-containing self-stabilizing distributed protocols , 2007, Distributed Computing.

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

[22]  Sukumar Ghosh,et al.  A Framework of Safe Stabilization , 2003, Self-Stabilizing Systems.

[23]  Shlomi Dolev,et al.  Empire of colonies: Self-stabilizing and self-organizing distributed algorithm , 2009, Theor. Comput. Sci..

[24]  Carole Delporte-Gallet,et al.  Stabilizing leader election in partial synchronous systems with crash failures , 2010, J. Parallel Distributed Comput..

[25]  Stéphane Devismes,et al.  Snap-stabilizing PIF and useless computations , 2006, 12th International Conference on Parallel and Distributed Systems - (ICPADS'06).

[26]  Mikel Larrea,et al.  Optimal implementation of the weakest failure detector for solving consensus , 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

[27]  Arobinda Gupta,et al.  An Exercise in Fault-Containment: Self-Stabilizing Leader Election , 1996, Inf. Process. Lett..

[28]  Boaz Patt-Shamir,et al.  Time-adaptive self stabilization , 1997, PODC '97.

[29]  Shing-Tsaan Huang,et al.  A Self-Stabilizing Algorithm for Constructing Breadth-First Trees , 1992, Inf. Process. Lett..

[30]  Boaz Patt-Shamir,et al.  Stabilizing Time-Adaptive Protocols , 1999, Theor. Comput. Sci..

[31]  Denyse Baillargeon,et al.  Bibliographie , 1929 .

[32]  Xin He,et al.  Fault-containing self-stabilization using priority scheduling , 2000, Inf. Process. Lett..

[33]  Ajoy Kumar Datta,et al.  Snap-stabilization and PIF in tree networks , 2007, Distributed Computing.

[34]  Sukumar Ghosh,et al.  Stabilizing Phase-Clocks , 1995, Inf. Process. Lett..

[35]  Josef Widder,et al.  On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection , 2005, Self-Stabilizing Systems.

[36]  Ajoy Kumar Datta,et al.  State-optimal snap-stabilizing PIF in tree networks , 1999, Proceedings 19th IEEE International Conference on Distributed Computing Systems.

[37]  Synnöve Kekkonen-Moneta,et al.  On FTSS-solvable distributed problems , 1997, PODC '97.

[38]  Ajoy Kumar Datta,et al.  Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks , 2002, Parallel Process. Lett..

[39]  Joffroy Beauquier,et al.  Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors , 1997, Int. J. Syst. Sci..

[40]  Sébastien Tixeuil,et al.  Bounding the Impact of Unbounded Attacks in Stabilization , 2006, IEEE Transactions on Parallel and Distributed Systems.

[41]  Mohamed G. Gouda,et al.  The linear alternator , 1997, WSS.

[42]  Mohamed G. Gouda,et al.  Stabilization of General Loop-Free Routing , 2002, J. Parallel Distributed Comput..

[43]  Sébastien Tixeuil,et al.  Route Preserving Stabilization , 2003, Self-Stabilizing Systems.

[44]  Kenneth J. Perry,et al.  Unifying Self-Stabilization and Fault-Tolerance (Preliminary Version). , 1993, PODC 1993.

[45]  Shing-Tsaan Huang,et al.  A Self-Stabilizing Algorithm for Constructing Spanning Trees , 1991, Inf. Process. Lett..

[46]  Boaz Patt-Shamir,et al.  Asynchronous and Fully Self-stabilizing Time-Adaptive Majority Consensus , 2005, OPODIS.

[47]  Boaz Patt-Shamir,et al.  Asynchronous time-adaptive self stabilization , 1998, PODC '98.

[48]  Vassos Hadzilacos,et al.  Tolerating Transient and Permanent Failures (Extended Abstract) , 1993, WDAG.