SELF-STABILIZATION IN DISTRIBUTED SYSTEMS – A SHORT SURVEY

Self-stabili zation is a very interesting and promising research field in computing science. This is due to its guarantees of automatic recovery from any transient failure, without any additional effort. This paper presents an overview of self-stabili zing distributed algorithms. First, the outlook of the self-stabili zation paradigm is shown, followed by a simple example and some formal definitions. Then, characteristics of stabili zation types are described. Finally, the paper presents several self-stabili zing algorithms and further lines of investigation strive for distributed systems.

[1]  Boaz Patt-Shamir,et al.  Time optimal self-stabilizing synchronization , 1993, STOC.

[2]  Boaz Patt-Shamir,et al.  Self-Stabilization by Local Checking and Global Reset (Extended Abstract) , 1994, WDAG.

[3]  Marco Schneider.  Self-Stabilizing Real-Time Decision Systems , 1995, Responsive Computer Systems.

[4]  Albert Mo Kim Cheng.  Self-stabilizing real-time rule-based systems , 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.

[5]  Jayadev Misra,et al.  Detecting termination of distributed computations using markers , 1983, PODC '83.

[6]  Boaz Patt-Shamir,et al.  Self-stabilization by local checking and correction , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[7]  Sukumar Ghosh,et al.  Trade-offs in fault-containing self-stabilization , 1997, PODC '97.

[8]  Valmir Carneiro Barbosa,et al.  An introduction to distributed algorithms , 1996 .

[9]  George Varghese.  Self-stabilization by counter flushing , 1994, PODC '94.

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

[12]  Shmuel Katz,et al.  Self-stabilizing extensions for message-passing systems , 1990, PODC '90.

[13]  Rafail Ostrovsky,et al.  Self-Stabilizing Symmetry Breaking in Constant Space , 2002, SIAM J. Comput..

[14]  Amos Israeli,et al.  Resource bounds for self stabilizing message driven protocols , 1991, PODC '91.

[15]  Anish Arora,et al.  Distributed Reset , 1994, IEEE Trans. Computers.

[16]  Daniel Lehmann,et al.  On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem , 1981, POPL '81.

[17]  Jennifer L. Welch,et al.  Wait-Free Clock Synchronization , 1993, PODC '93.

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

[19]  Mohamed G. Gouda.  The Stabilizing Philosopher: Asymmetry by Memory and by Action , 1987 .

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

[21]  Yehuda Afek,et al.  Local Stabilizer , 2002, J. Parallel Distributed Comput..

[22]  Edsger W. Dijkstra,et al.  Self stabilization in spite of distributed control , 1974 .

[23]  Shing-Tsaan Huang,et al.  Four-State Stabilizing Phase Clock for Unidirectional Rings of Odd Size , 1998, Inf. Process. Lett..

[25]  Ted Herman,et al.  Probabilistic Self-Stabilization , 1990, Information Processing Letters.

[26]  Mohamed G. Gouda,et al.  The Triumph and Tribulation of System Stabilization , 1995, WDAG.

[27]  Boaz Patt-Shamir,et al.  Self-stabilizing end-to-end communication , 1996, J. High Speed Networks.

[28]  George Varghese,et al.  Self-stabilization by window washing , 1996, PODC '96.

[29]  Janos Simon,et al.  Deterministic, Constant Space, Self-Stabilizing Leader Election on Uniform Rings , 1995, WDAG.

[30]  Ajoy Kumar Datta,et al.  Two-state self-stabilizing algorithms , 1992, Proceedings Sixth International Parallel Processing Symposium.

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

[32]  Pierre A. Humblet,et al.  A Distributed Algorithm for Minimum-Weight Spanning Trees , 1983, TOPL.

[33]  Amos Israeli,et al.  Self-Stabilizing Ring Orientation , 1990, WDAG.

[34]  Nancy A. Lynch,et al.  Easy impossibility proofs for distributed consensus problems , 1985, PODC '85.

[35]  B. Awerbuch,et al.  Memory-eecient and Self-stabilizing Network Reset , 2007 .

[36]  Marina Papatriantafilou,et al.  On Self-Stabilizing Wait-Free Clock Synchronization , 1997, Parallel Process. Lett..

[37]  Shay Kutten,et al.  Fault-Local Distributed Mending , 1999, J. Algorithms.

[38]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[39]  Arobinda Gupta,et al.  Fault-containing network protocols , 1997, SAC '97.