Local Stabilizer

A local stabilizer protocol that takes any on-line or of-line distributed algorithm and converts it into a synchronous self-stabilizing algorithm with local monitoring and repairing properties is presented. Whenever the self-stabilizing version enters an inconsistent state, the inconsistency is detected, in O(1) time, and the system state is repaired in a local manner. The expected computation time that is lost during the repair process is proportional to the largest diameter of a faulty region.

[1]  B. Awerbuch,et al.  Distributed program checking: a paradigm for building self-stabilizing distributed protocols , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[2]  Stuart R. Soloway,et al.  ON DISTRIBUTED NETWORK PROTOCOLS FOR CHANGING TOPOLOGIES , 1986 .

[3]  Baruch Awerbuch,et al.  Applying static network protocols to dynamic networks , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

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

[5]  M. Kaufmann.  What Can Be Computed Locally ? , 2003 .

[6]  Taesoon Park,et al.  Checkpointing and rollback-recovery in distributed systems , 1989 .

[7]  A. Prasad Sistla,et al.  Efficient distributed recovery using message logging , 1989, PODC '89.

[8]  Moni Naor,et al.  Local computations on static and dynamic graphs , 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.

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

[10]  Anish Arora,et al.  Maintaining Digital Clocks In Step , 1991, WDAG.

[11]  Brian A. Coan,et al.  Self-stabilizing topology maintenance protocols for high-speed networks , 1996, TNET.

[12]  Amos Israeli,et al.  Self-stabilization of dynamic systems assuming only read/write atomicity , 1990, PODC '90.

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

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

[15]  I-Ling Yen.  A Highly Safe Self-Stabilizing Mutual Exclusion Algorithm , 1996, Inf. Process. Lett..

[16]  Robert E. Strom,et al.  Optimistic recovery in distributed systems , 1985, TOCS.

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

[18]  Moti Yung,et al.  Memory-Efficient Self Stabilizing Protocols for General Networks , 1990, WDAG.

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

[20]  Arobinda Gupta,et al.  Fault-containing self-stabilizing algorithms , 1996, PODC '96.

[21]  Amos Israeli,et al.  Self-Stabilization of Dynamic Systems Assuming only Read/Write Atomicity , 1990, PODC.

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

[23]  Shlomi Dolev,et al.  Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs , 1997, Real-Time Systems.

[24]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

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

[26]  Nathan Linial,et al.  Locality in Distributed Graph Algorithms , 1992, SIAM J. Comput..

[27]  Yehuda Afek,et al.  Local stabilizer , 1997, PODC '97.

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

[29]  Shay Kutten,et al.  Fault-local distributed mending (extended abstract) , 1995, PODC '95.

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

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