Enabling Snap-Stabilization

Providence, Rhode Island May 19-May 22

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/ICDCS.2003.1203447

23rd IEEE International Conference on ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Alain Cournier Articles by Ajoy K. Datta Articles by Franck Petit Articles by Vincent Villain

	ASCII Text	x
	Alain Cournier, Ajoy K. Datta, Franck Petit, Vincent Villain, "Enabling Snap-Stabilization," Distributed Computing Systems, International Conference on, pp. 12, 23rd IEEE International Conference on Distributed Computing Systems (ICDCS'03), 2003.

	BibTex	x
	@article{ 10.1109/ICDCS.2003.1203447, author = {Alain Cournier and Ajoy K. Datta and Franck Petit and Vincent Villain}, title = {Enabling Snap-Stabilization}, journal ={Distributed Computing Systems, International Conference on}, volume = {0}, year = {2003}, issn = {1063-6927}, pages = {12}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCS.2003.1203447}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Distributed Computing Systems, International Conference on TI - Enabling Snap-Stabilization SN - 1063-6927 SP EP A1 - Alain Cournier, A1 - Ajoy K. Datta, A1 - Franck Petit, A1 - Vincent Villain, PY - 2003 KW - Fault-tolerance KW - leader election KW - propagation of information with feedback KW - reset protocols KW - self-stabilization KW - snapshot KW - snap-stabilization VL - 0 JA - Distributed Computing Systems, International Conference on ER -

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

Index Terms:

Fault-tolerance, leader election, propagation of information with feedback, reset protocols, self-stabilization, snapshot, snap-stabilization

Citation:

Alain Cournier, Ajoy K. Datta, Franck Petit, Vincent Villain, "Enabling Snap-Stabilization," icdcs, pp.12, 23rd IEEE International Conference on Distributed Computing Systems (ICDCS'03), 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.