23rd International Conference on Distributed Computing Systems, 2003. Proceedings. (2003)
Providence, Rhode Island
May 19, 2003 to May 22, 2003
Alain Cournier , LaRIA, Universit? de Picardie Jules Verne
Ajoy K. Datta , University of Nevada Las Vegas
Franck Petit , LaRIA, Universit? de Picardie Jules Verne
Vincent Villain , LaRIA, Universit? de Picardie Jules Verne
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.Weusea 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 ).
Fault-tolerance, leader election, propagation of information with feedback, reset protocols, self-stabilization, snapshot, snap-stabilization
A. Cournier, V. Villain, A. K. Datta and F. Petit, "Enabling Snap-Stabilization," 23rd International Conference on Distributed Computing Systems, 2003. Proceedings.(ICDCS), Providence, Rhode Island, 2003, pp. 12.