Title :
Constructing two-writer atomic registers
Author_Institution :
Lab. for Comput. Sci., MIT, Cambridge, MA, USA
fDate :
12/1/1988 12:00:00 AM
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;
Journal_Title :
Computers, IEEE Transactions on