TY - GEN
T1 - Weak read/write registers
AU - Taubenfeld, Gadi
N1 - Copyright:
Copyright 2014 Elsevier B.V., All rights reserved.
PY - 2013
Y1 - 2013
N2 - In [2], Lamport has defined three classes of shared registers which support read and write operations, called - safe, regular and atomic - depending on their properties when several reads and/or writes are executed concurrently. We consider generalizations of Lamport's notions, called k-safe, k-regular and k-atomic. First, we provide constructions for implementing 1-atomic registers (the strongest type) in terms of k-safe registers (the weakest type). Then, we demonstrate how the constructions enable to easily and efficiently solve classical synchronization problems, such as mutual exclusion and ℓ-exclusion, using single-writer multi-reader k-safe bits, for any k ≥ 1. We also explain how, by using k-registers, it is possible to provide some level of resiliency against memory reordering.
AB - In [2], Lamport has defined three classes of shared registers which support read and write operations, called - safe, regular and atomic - depending on their properties when several reads and/or writes are executed concurrently. We consider generalizations of Lamport's notions, called k-safe, k-regular and k-atomic. First, we provide constructions for implementing 1-atomic registers (the strongest type) in terms of k-safe registers (the weakest type). Then, we demonstrate how the constructions enable to easily and efficiently solve classical synchronization problems, such as mutual exclusion and ℓ-exclusion, using single-writer multi-reader k-safe bits, for any k ≥ 1. We also explain how, by using k-registers, it is possible to provide some level of resiliency against memory reordering.
KW - Memory barriers
KW - Memory ordering
KW - Mutual exclusion
KW - Shared memory
KW - Synchronization
KW - k-regular and k-atomic registers
KW - k-safe
KW - ℓ-exclusion
UR - http://www.scopus.com/inward/record.url?scp=84893936722&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-35668-1_29
DO - 10.1007/978-3-642-35668-1_29
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84893936722
SN - 9783642356674
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 423
EP - 427
BT - Distributed Computing and Networking - 14th International Conference, ICDCN 2013, Proceedings
T2 - 14th International Conference on Distributed Computing and Networking, ICDCN 2013
Y2 - 3 January 2013 through 6 January 2013
ER -