Parallel composition for time-to-fault adaptive stabilization

Self-stabilizing algorithms automatically recover from any occurrence of a transient fault. The global state following the transient fault is considered to be the initial state for subsequent execution. An adaptive self-stabilizing algorithm changes its behavior based on characteristics of the initial state. This paper presents an asynchronous, adaptive, self-stabilizing algorithm for any non-interactive task. The algorithm adapts its output stabilization time in relation to the extent of faulty information in the initial state. The paper’s presentation emphasizes composition techniques that leverage several self-stabilizing components from previous research, resulting in a concise description of the algorithm.

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

[2]  Jennifer L. Welch,et al.  Self-Stabilizing Clock Synchronization in the Presence of ByzantineFaults ( Preliminary Version ) Shlomi Dolevy , 1995 .

[3]  Marina Papatriantafilou,et al.  On Self-Stabilizing Wait-Free Clock Synchronization , 1994, SWAT.

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

[5]  Shay Kutten,et al.  Optimal reactive k-stabilization: the case of mutual exclusion , 1999, PODC '99.

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

[7]  Yoshiaki Katayama,et al.  A latency-optimal superstabilizing mutual exclusion protocol , 1997, WSS.

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

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

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

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

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

[13]  Mohamed G. Gouda,et al.  Adaptive Programming , 1991, IEEE Trans. Software Eng..

[14]  Shlomi Dolev,et al.  Parallel composition of stabilizing algorithms , 1999, Proceedings 19th IEEE International Conference on Distributed Computing Systems.

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

[16]  Shay Kutten,et al.  k-stabilization of reactive tasks , 1998, PODC '98.

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

[18]  Ted Herman Phase Clocks for Transient Fault Repair , 2000, IEEE Trans. Parallel Distributed Syst..

[19]  Bruce S. Davie,et al.  Computer Networks: A Systems Approach , 1996 .

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

[21]  Shlomi Dolev,et al.  Communication Adaptive Self-Stabilizing Group Membership Service , 2001, WSS.

[22]  J.-M. Couvreur,et al.  Asynchronous unison , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

[23]  Shlomi Dolev Optimal Time Self Stabilization in Dynamic Systems (Preliminary Version) , 1993, WDAG.

[24]  Mohamed G. Gouda,et al.  Stabilizing Unison , 1990, Inf. Process. Lett..

[25]  Mohamed G. Gouda,et al.  Asynchronous Unison (Extended Abstract). , 1992, ICDCS 1992.

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

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

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

[29]  Amos Israeli,et al.  Self Stabilization of Dynamic Systems , 1989, The Sixteenth Conference of Electrical and Electronics Engineers in Israel,.

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

[31]  Anish Arora,et al.  Dining philosophers that tolerate malicious crashes , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[32]  George Varghese,et al.  Compositional proofs of self-stabilizing protocols , 1997, WSS.

[33]  Ran El-Yaniv,et al.  Memory Adaptive Self-Stabilizing Protocols (Extended Abstract) , 1992, WDAG.

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

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