Auto-stabilisation Efficace

Abstract : When a distributed system is subject to transient failures that arbitrarily modify its state, it is crucial to recover a correct behavior within finite time. Self-stabilization offers such a guarantee, but usually uses large resources. In this thesis, we focus on minimizing these resources when such solutions exist.

We introduced the concept of transient failure detectors, oracles that are called by processors, which notify if transient failures occurred within constant time. Our implementation enables classifying classic problems according to the specific resources dedicated to error detection.
A natural extension was to show that a local property on the local code executed by each processor is sufficient to guarantee self-stabilization of the whole system, whatever the computation assumptions and communication graph may be. Since the original algorithm is not modified, it is overhead-free. Similarly, we developed two synchronizers that enable dynamic tasks to be solved self-stabilizingly, whose memory overhead is constant. Moreover, one of them is snap-stabilizing. Finally, we presented a general technique to systematically reduce the communication
cost, assuming a bounded retransmission delay, and we gave a general framework and tools to design self-stabilizing algorithms in this context.
Complete list of metadatas

Cited literature [74 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00124843
Contributor : Sébastien Tixeuil <>
Submitted on : Tuesday, January 16, 2007 - 3:07:45 PM
Last modification on : Tuesday, April 24, 2018 - 1:39:08 PM
Long-term archiving on : Tuesday, April 6, 2010 - 10:08:18 PM

File

Identifiers

  • HAL Id : tel-00124843, version 1

Collections

Citation

Sébastien Tixeuil. Auto-stabilisation Efficace. Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2000. Français. ⟨tel-00124843⟩

Share

Metrics

Record views

408

Files downloads

333