Skip to Main content Skip to Navigation
Theses

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 metadatas

Cited literature [105 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00120382
Contributor : Stéphane Devismes <>
Submitted on : Tuesday, January 2, 2007 - 5:09:15 PM
Last modification on : Thursday, January 11, 2018 - 6:19:29 AM
Long-term archiving on: : Tuesday, September 21, 2010 - 11:29:29 AM

Files

Identifiers

  • HAL Id : tel-00120382, version 2

Collections

Citation

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⟩

Share

Metrics

Record views

257

Files downloads

351