Silent self-stabilizing scheme for spanning-tree-like constructions - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Silent self-stabilizing scheme for spanning-tree-like constructions

Stéphane Devismes

Résumé

In this paper, we propose a general scheme, called Algorithm $\mathsf{STlC}$, to compute spanning-tree-like data structures on arbitrary networks. $\mathsf{STlC}$ is self-stabilizing and silent and, despite its generality, is also efficient. It is written in the locally shared memory model with composite atomicity assuming the distributed unfair daemon, the weakest scheduling assumption of the model. Its stabilization time is in $n_{\texttt{maxCC}}$ rounds, where $n_{\texttt{maxCC}}$ is the maximum number of processes in a connected component. We also exhibit polynomial upper bounds on its stabilization time in steps and process moves holding for large classes of instantiations of Algorithm $\mathsf{STlC}$. We illustrate the versatility of our approach by proposing several such instantiations that efficiently solve classical problems such as leader election, as well as, unconstrained and shortest-path spanning tree constructions.
Fichier principal
Vignette du fichier
ICDCN2019.pdf (762.84 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02127131 , version 1 (23-05-2019)

Identifiants

Citer

Stéphane Devismes, David Ilcinkas, Colette Johnen. Silent self-stabilizing scheme for spanning-tree-like constructions. ICDCN 2019, Jan 2019, Bangalore, India. pp.158-167, ⟨10.1145/3288599.3288607⟩. ⟨hal-02127131⟩
53 Consultations
218 Téléchargements

Altmetric

Partager

More