Skip to Main content Skip to Navigation

Quelques Contributions à la Stabilisation Instantanée

Abstract : In this PhD thesis, we are interested in the notion of snap-stabilization. Thus, we first proposed two solutions to the depth-first search problem in arbitrary rooted networks. These two protocols are written in the state model and work under a distributed unfair daemon: the weakest scheduling assumption of the model. The first one is based on IDs lists. The other one uses a question mechanism instead of the IDs lists. We then propose two snap-stabilizing applications obtained with the previously presented depth-first search protocols. These two applications allow us to evaluate some global network properties. Actually, the first application marks the cutnodes and the bridges of the network. The second application allows us to evaluate if a given set of processors is a cutset of the network. Finally, in the last part, we generalize our approach by studying an efficient semi-automatic transformer that snap-stabilizes service protocols with a unique initiator. A depth-first search protocol as well as a breath-first spanning tree construction protocol show how our method is easy. Our depth-first search protocol is not only easy to write but its complexity is a trade-off between the list-based and the question-based solutions. Finally, using a counting property of our transformer, we show how to use this depth-first search protocol to solve in few lines the mutual exclusion problem in a snap-stabilizing manner.
Complete list of metadata

Cited literature [105 references]  Display  Hide  Download
Contributor : Stéphane Devismes <>
Submitted on : Tuesday, January 2, 2007 - 5:09:15 PM
Last modification on : Friday, April 30, 2021 - 4:22:03 PM
Long-term archiving on: : Tuesday, September 21, 2010 - 11:29:29 AM



  • HAL Id : tel-00120382, version 2



Stéphane Devismes. Quelques Contributions à la Stabilisation Instantanée. Réseaux et télécommunications [cs.NI]. Université de Picardie Jules Verne, 2006. Français. ⟨tel-00120382v2⟩



Record views


Files downloads