03/08/2020

Recoverable mutual exclusion with constant amortized RMR complexity from standard primitives

David Yu Cheng Chan, Philipp Woelfel

Keywords: shared memory, fetch and increment, recoverable mutual exclusion, asynchronous system

Abstract: Motivated by advances in non-volatile memory technology, recent research in mutual exclusion has focused on algorithms for a shared memory model, in which failed processes can recover from crashes. Golab and Ramaraju [9] defined the recoverable mutual exclusion problem, where a process may crash during a mutual exclusion protocol. Upon crashing a process’s local memory is erased, and it starts a recovery procedure. The contents of the shared memory survives process failures.The most efficient n-process mutual exclusion algorithms from standard synchronization primitives have an RMR complexity of O(log n/(log log n)) [7, 11] per passage. Faster RMR complexity has only been achieved using artificially defined synchronization primitives, such as fetch-and-store-and-store, which are not available in actual systems [7, 10]. In this paper we present a mutual exclusion algorithm that uses only the standard primitives compare-and-swap and fetch-and-increment, which are available on common architectures, and achieves an amortized RMR complexity of O(1) per passage in the DSM and the CC model.

 0
 0
 0
 0
This is an embedded video. Talk and the respective paper are published at PODC 2020 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd

Similar Papers