Self-stabilization with Path Algebra - Archive ouverte HAL
Article Dans Une Revue Theoretical Computer Science Année : 2003

Self-stabilization with Path Algebra

Résumé

Self-stabilizing protocols can resist transient failures and guarantee system recovery in a finite time. We highlight the connexion between the formalism of self-stabilizing distributed systems and the formalism of generalised path algebra and asynchronous iterations with delay. We use the later to prove that a local condition on locally executed algorithm (being a strictly idempotent $r$-operator) ensures self-stabilization of the global system. As a result, a parametrized distributed algorithm applicable to any directed graph topology is proposed, and the function parameter of our algorithm is instantiated to produce distributed algorithms for both fundamental and high level applications. Due to fault resilience properties of our algorithm, the resulting protocols are self-stabilizing at no additional cost.
Fichier principal
Vignette du fichier
sspa.pdf (350.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00632374 , version 1 (14-10-2011)

Identifiants

Citer

Bertrand Ducourthial, Sébastien Tixeuil. Self-stabilization with Path Algebra. Theoretical Computer Science, 2003, 293 (1), pp.219-236. ⟨10.1016/S0304-3975(02)00238-4⟩. ⟨hal-00632374⟩
138 Consultations
62 Téléchargements

Altmetric

Partager

More