On Helping and Stacks - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2018

On Helping and Stacks

Petr Kuznetsov
Anatoly Shalyto
  • Fonction : Auteur
  • PersonId : 1011937

Résumé

A concurrent algorithm exhibits helping when one process performs work on behalf of other processes. More formally, helping is observed when the order of some operation in a linearization is fixed by a step of another process. In this paper, we show that no wait-free linearizable implementation of a stack using read, write, compare&swap and fetch&add operations can be help-free, correcting a mistake in an earlier proof by Censor-Hillel et al.
Fichier principal
Vignette du fichier
main.pdf (349.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01888607 , version 1 (05-10-2018)

Identifiants

  • HAL Id : hal-01888607 , version 1

Citer

Vitalii Aksenov, Petr Kuznetsov, Anatoly Shalyto. On Helping and Stacks. The International Conference on Networked Systems, May 2018, Essaouira, Morocco. ⟨hal-01888607⟩
183 Consultations
195 Téléchargements

Partager

More