Adaptive Stabilization of Reactive Protocols

A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the number of processors hit by the fault. General adaptive protocols are known for the special case of function computations: these are tasks that map static distributed inputs to static distributed outputs. In reactive distributed systems, input values at each node change on-line, and dynamic distributed outputs are to be generated in response in an on-line fashion. To date, only some specific reactive tasks have had an adaptive implementation. In this paper we outline the first proof that all reactive tasks admit adaptive protocols. The key ingredient of the proof is an algorithm for distributing input values in an adaptive fashion. Our algorithm is optimal, up to a constant factor, in its fault resilience, response time, and recovery time.

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

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

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

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

[5]  Hongwei Zhang,et al.  LSRP: local stabilization in shortest path routing , 2006, TNET.

[6]  Boaz Patt-Shamir,et al.  Distributed error confinement , 2003, PODC '03.

[7]  Shay Kutten,et al.  Tight fault locality , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

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

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

[10]  He Zhu.  Interconnections, 2nd Ed. , 2000 .

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

[12]  Hongwei Zhang,et al.  GS3: scalable self-configuration and self-healing in wireless networks , 2002, PODC '02.

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

[14]  John Moy,et al.  OSPF Version 2 , 1998, RFC.

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

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

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

[18]  Zohar Manna,et al.  Models for reactivity , 1993, Acta Informatica.

[19]  Leonid A. Levin,et al.  Fast and lean self-stabilizing asynchronous protocols , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

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

[21]  Shay Kutten,et al.  Tight Fault Locality (Extended Abstract) , 1995, FOCS 1995.

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

[23]  Eric C. Rosen,et al.  The New Routing Algorithm for the ARPANET , 1980, IEEE Trans. Commun..

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

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

[26]  Moti Yung,et al.  The Local Detection Paradigm and Its Application to Self-Stabilization , 1997, Theor. Comput. Sci..

[27]  Baruch Awerbuch,et al.  Distributed control for PARIS , 1990, PODC '90.

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

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