Word-Size RMR Trade-offs for Recoverable Mutual Exclusion - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2023

Word-Size RMR Trade-offs for Recoverable Mutual Exclusion

Résumé

We present tradeoffs between RMR complexity and memory word size for recoverable mutual exclusion (RME) algorithms using arbitrary synchronization primitives. Assuming that each memory location stores $w$ bits, we show that $n$-process mutual exclusion has an RMR complexity of at least $\Omega(\min\{\log_w n,\log n/\log\log n\})$ on the DSM and the CC model. For $w=(\log n)^{\Omega(1)}$, our lower bound asymptotically matches an upper bound by Katzan and Morrison, whose RME mutual exclusion algorithm employs $w$-bit fetch-and-add operations. Our lower bound is the first one that does not restrict the type of atomic operations that can be executed on a memory location.
Fichier principal
Vignette du fichier
general-rme-space-lower-bound.pdf (994 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04098408 , version 1 (16-05-2023)

Identifiants

  • HAL Id : hal-04098408 , version 1

Citer

David Yu Cheng Chan, George Giakkoupis, Philipp Woelfel. Word-Size RMR Trade-offs for Recoverable Mutual Exclusion. 2023. ⟨hal-04098408⟩
75 Consultations
125 Téléchargements

Partager

More