The Computer Journal Advance Access originally published online on January 4, 2006
The Computer Journal 2006 49(3):268-280; doi:10.1093/comjnl/bxh154
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||
Snap-Stabilizing Depth-First Search on Arbitrary Networks
LaRIA, CNRS FRE 2733, Universit de Picardie Jules Verne Amiens (France)
*Corresponding author: devismes{at}laria.u-picardie.fr
A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In this paper, we present the first snap-stabilizing depth-first search wave protocol for arbitrary rooted networks assuming an unfair daemon, i.e. assuming the weakest scheduling assumption (a preliminary version of this work was presented in OPODIS 2004, 8th International Conference on Principles of Distributed Systems, Grenoble (France)).
Key Words: Distributed systems fault-tolerance stabilization depth-first search wave algorithms