Enabling snap-stabilization

A snap-stabilizing protocol guarantees that the system always behaves according to its specification provided some processor initiated the protocol. We present how to snap-stabilize some important protocols, like Leader Election, Reset, Snapshot, and Termination Detection. We use a Snap-stabilizing Propagation of Information with Feedback protocol for arbitrary networks as the key module in the above transformation process. Finally, we design a universal transformer to provide a snap-stabilizing version of any protocol (which can be self-stabilized with the transformer of [15]).

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

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

[3]  Franck Petit,et al.  Time and Space Optimality of Distributed Depth-First Token Circulation Algorithms , 1999, WDAS.

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

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

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

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

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

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

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

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

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

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

[15]  W DijkstraEdsger.  Self-stabilizing systems in spite of distributed control , 1974 .

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

[17]  George Varghese,et al.  Self-stabilization by counter flushing , 1994, PODC '94.

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

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

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