From self- to snap- stabilization

Authors:
Alain Cournier;Stéphane Devismes;Vincent Villain
Affiliations:
LaRIA, CNRS, University of Picardie Jules Verne, Amiens, France;LaRIA, CNRS, University of Picardie Jules Verne, Amiens, France;LaRIA, CNRS, University of Picardie Jules Verne, Amiens, France
Venue:
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Year:
2006

Citing 10
Cited 4

Adaptive Programming

IEEE Transactions on Software Engineering
Uniform Dynamic Self-Stabilizing Leader Election

IEEE Transactions on Parallel and Distributed Systems
Self-stabilizing systems in spite of distributed control

Communications of the ACM
Introduction to Distributed Algorithms

Introduction to Distributed Algorithms
State-optimal snap-stabilizing PIF in tree networks

ICDCS '99 Workshop on Self-stabilizing Systems
Enabling Snap-Stabilization

ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Self-stabilizing extensions for message-passing systems

Distributed Computing - Special issue: Self-stabilization
Self-stabilizing depth-first token circulation on networks

Distributed Computing - Special issue: Self-stabilization
Snap-Stabilizing PIF and Useless Computations

ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
An improved snap-stabilizing PIF algorithm

SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems

Light enabling snap-stabilization of fundamental protocols

ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Safe and Eventually Safe: Comparing Self-stabilizing and Non-stabilizing Algorithms on a Common Ground

OPODIS '09 Proceedings of the 13th International Conference on Principles of Distributed Systems
From self- to self-stabilizing with service guarantee 1-hop weight-based clustering

SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Ideal stabilisation

International Journal of Grid and Utility Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we propose a light semi-automatic method allowing to snap-stabilize self-stabilizing wave protocols for arbitrary networks with a unique initiator. To that goal, we consider such a self-stabilizing protocol A. We then slightly update A to obtain a protocol B that can be automatically transformed, using a black box protocol, into a snap-stabilizing protocol. B is easy to obtain from A compared to the design of a snap-stabilizing protocol.