Randomized Message-Passing Test-and-Set - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2014

Randomized Message-Passing Test-and-Set

Résumé

—This paper presents a solution to the well-known Test&Set operation in an asynchronous system prone to process crashes. Test&Set is a synchronization operation that, when invoked by a set of processes, returns yes to a unique process and returns no to all the others. Recently many advances in implementing Test&Set objects have been achieved, however all of them target the shared memory model. In this paper we propose an implementation of a Test&Set object in the message passing model. This implementation can be invoked by any number p ≤ n of processes where n is the total number of processes in the system. It has an expected individual step complexity in O(log p) against an oblivious adversary, and an expected individual message complexity in O(n). The proposed Test&Set object is built atop a new basic building block, called selector, that allows to select a winning group among two groups of processes. We propose a message-passing implementation of the selector whose step complexity is constant. We are not aware of any other implementation of the Test&Set operation in the message passing model.
Fichier principal
Vignette du fichier
ipdps2015-versionL.pdf (361.07 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01075650 , version 1 (19-10-2014)
hal-01075650 , version 2 (11-02-2015)
hal-01075650 , version 3 (13-08-2015)

Identifiants

  • HAL Id : hal-01075650 , version 1

Citer

Emmanuelle Anceaume, François Castella, Achour Mostefaoui, Bruno Sericola. Randomized Message-Passing Test-and-Set. 2014. ⟨hal-01075650v1⟩
704 Consultations
238 Téléchargements

Partager

More