The Community for Technology Leaders
23rd International Conference on Distributed Computing Systems, 2003. Proceedings. (2003)
Providence, Rhode Island
May 19, 2003 to May 22, 2003
ISSN: 1063-6927
ISBN: 0-7695-1920-2
pp: 12
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
ABSTRACT
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 [15]).
INDEX TERMS
Fault-tolerance, leader election, propagation of information with feedback, reset protocols, self-stabilization, snapshot, snap-stabilization
CITATION

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.
doi:10.1109/ICDCS.2003.1203447
97 ms
(Ver 3.3 (11022016))