Snap-stabilizing PIF algorithm in arbitrary networks

We present the first snap-stabilizing propagation of information with feedback (PIF) protocol in arbitrary networks. A snap-stabilizing protocol, starting from any arbitrary initial system configuration, always behaves according to its specification. Our protocol is distributed, deterministic, and does not use a pre-constructed spanning tree.

[1]  Ernest J. H. Chang,et al.  Echo Algorithms: Depth Parallel Operations on General Graphs , 1982, IEEE Transactions on Software Engineering.

[2]  Amos Israeli,et al.  Uniform Dynamic Self-Stabilizing Leader Election , 1997, IEEE Trans. Parallel Distributed Syst..

[3]  Shing-Tsaan Huang,et al.  A Self-Stabilizing Algorithm for Constructing Spanning Trees , 1991, Inf. Process. Lett..

[4]  Michel Raynal,et al.  Synchronization and control of distributed systems and programs , 1990, Wiley series in parallel computing.

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

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

[7]  Gerard Tel,et al.  Introduction to Distributed Algorithms: Contents , 2000 .

[8]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[9]  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.

[10]  Ajoy Kumar Datta,et al.  Self-stabilization with global rooted synchronizers , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[11]  Ajoy Kumar Datta,et al.  Self-stabilizing PIF algorithm in arbitrary rooted networks , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[12]  Ajoy Kumar Datta,et al.  Optimal PIF in Tree Networks , 1999, WDAS.

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

[14]  H. S. M. Kruijer.  Self-Stabilization (in Spite of Distributed Control) in Tree-Structured Systems , 1979, Inf. Process. Lett..

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

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

[17]  Ajoy Kumar Datta,et al.  Space optimal PIF algorithm: self-stabilized with no extra space , 1999, 1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305).

[18]  Adrian Segall,et al.  Distributed network protocols , 1983, IEEE Trans. Inf. Theory.

[19]  LAIN,et al.  Snap-Stabilizing PIF Algorithm in Tree Networks Without Sense Of Direction , 1999 .

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

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

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