A Framework of Safe Stabilization

Classical stabilizing systems do not take into consideration safety issues. This paper examines two different safety models for stabilizing distributed systems, and studies the cost of enforcing safety requirements in the context of various kinds of failures.

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

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

[3]  Jun Kiniwa,et al.  Avoiding faulty privileges in self-stabilizing depth-first token passing , 2001, Proceedings. Eighth International Conference on Parallel and Distributed Systems. ICPADS 2001.

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

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

[6]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[7]  Frank Harary,et al.  Graph Theory , 2016 .

[8]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

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

[10]  Mohamed G. Gouda,et al.  Token Systems that Self-Stabilize , 1989, IEEE Trans. Computers.

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

[12]  Bowen Alpern,et al.  Recognizing safety and liveness , 2005, Distributed Computing.

[13]  Vincent Villain,et al.  An Improved Snap-Stabilizing PIF Algorithm , 2003, Self-Stabilizing Systems.

[14]  Xin He,et al.  Scalable Self-Stabilization , 1999, J. Parallel Distributed Comput..

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

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

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

[18]  Ajoy Kumar Datta,et al.  Snap-stabilizing PIF algorithm in arbitrary networks , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.