DocumentCode
1555405
Title
Constructing two-writer atomic registers
Author
Bloom, Bard
Author_Institution
Lab. for Comput. Sci., MIT, Cambridge, MA, USA
Volume
37
Issue
12
fYear
1988
fDate
12/1/1988 12:00:00 AM
Firstpage
1506
Lastpage
1514
Abstract
A two-writer, n -reader atomic memory register is constructed from two one-writer, (n +1)-reader atomic memory registers. There are no restrictions on the size of the constructed register. The simulation requires only a single extra bit per real register and can survive the failure of any set of readers and writers. A complete proof of correctness is given. Several obvious ways are suggested to try to extend this algorithm to more than two writers, none of which work. As an example, it is shown how a natural extension of the two-writer protocol fails
Keywords
computer architecture; protocols; atomic registers; memory register; proof of correctness; two-writer; two-writer protocol; Computational modeling; Computer science; File systems; Protocols; Read-write memory; Registers; Writing;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/12.9729
Filename
9729
Link To Document