Making Local Algorithms Wait-Free: the Case of Ring Coloring - Archive ouverte HAL
Article Dans Une Revue Theory of Computing Systems Année : 2019

Making Local Algorithms Wait-Free: the Case of Ring Coloring

Rendre les algorithmes locaux sans attente : le cas de la coloration de l'anneau

Résumé

When considering distributed computing, reliable message-passing synchronous systems on the one side, and asynchronous failure-prone shared-memory systems on the other side, remain two quite independently studied ends of the relia-bility/asynchrony spectrum. The concept of locality of a computation is central to the first one, while the concept of wait-freedom is central to the second one. The paper proposes a new DECOUPLED model in an attempt to reconcile these two worlds. It consists of a synchronous and reliable communication graph of n nodes, and on top a set of asynchronous crash-prone processes, each attached to a communication node. To illustrate the DECOUPLED model, the paper presents an asynchronous 3-coloring algorithm for the processes of a ring. From the processes point of view, the This article is part Theory Comput Syst algorithm is wait-free. From a locality point of view, each process uses information only from processes at distance O(log * n) from it. This local wait-free algorithm is based on an extension of the classical Cole and Vishkin's vertex coloring algorithm in which the processes are not required to start simultaneously.
Fichier principal
Vignette du fichier
SSS-2016-To-TOCS-2017.pdf (436.91 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-01672723 , version 1 (03-01-2018)

Identifiants

Citer

Armando Castañeda, Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal. Making Local Algorithms Wait-Free: the Case of Ring Coloring. Theory of Computing Systems, 2019, pp.344--365. ⟨10.1007/s00224-017-9772-y⟩. ⟨hal-01672723⟩
503 Consultations
575 Téléchargements

Altmetric

Partager

More