Abstract
The read/write register is the most basic object of sequential computing. This chapter introduces it in a concurrency context, and considers three associated consistency conditions: regularity, atomicity (also called linearizability), and sequential consistency. Atomicity and sequential consistency define the family of strong consistency conditions, namely, they require all processes to agree on the same total order in which they see the read and write operations applied to the registers. After a formalization of these notions, the chapter shows that atomic read/write registers compose for free while sequentially consistent registers do not.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Raynal, M. (2018). The Read/Write Register Abstraction. In: Fault-Tolerant Message-Passing Distributed Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-94141-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-94141-7_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-94140-0
Online ISBN: 978-3-319-94141-7
eBook Packages: Computer ScienceComputer Science (R0)