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 :
بازگشت