Word-Size RMR Trade-offs for Recoverable Mutual Exclusion - Inria - Institut national de recherche en sciences et technologies du numérique
Preprints, Working Papers, ... Year : 2023

Word-Size RMR Trade-offs for Recoverable Mutual Exclusion

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-04098408 , version 1

Cite

David Yu Cheng Chan, George Giakkoupis, Philipp Woelfel. Word-Size RMR Trade-offs for Recoverable Mutual Exclusion. 2023. ⟨hal-04098408⟩
74 View
125 Download

Share

More