Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments - Equipe Systèmes Distribués, Mots et Applications du laboratoire Modélisation, Information & Systèmes (Université de Picardie Jules Verne) Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments

Résumé

This paper deals with the trade-off between time, workload, and versatility in self-stabilization, a general and lightweight fault-tolerant concept in distributed computing. In this context, we propose a transformer that provides an asynchronous silent self-stabilizing version Trans(AlgI) of any terminating synchronous algorithm AlgI. The transformed algorithm Trans(AlgI) works under the distributed unfair daemon and is efficient both in moves and rounds. Our transformer allows to easily obtain fully-polynomial silent self-stabilizing solutions that are also asymptotically optimal in rounds. We illustrate the efficiency and versatility of our transformer with several efficient (i.e., fully-polynomial) silent self-stabilizing instances solving major distributed computing problems, namely vertex coloring, Breadth-First Search (BFS) spanning tree construction, k-clustering, and leader election.
Fichier principal
Vignette du fichier
sync2async.pdf (647.11 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04159863 , version 1 (12-07-2023)

Licence

Identifiants

  • HAL Id : hal-04159863 , version 1

Citer

Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit. Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments. 2023. ⟨hal-04159863⟩
439 Consultations
32 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More