Issue No.12 - December (1988 vol.37)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.9729
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 t
two-writer; atomic registers; memory register; proof of correctness; two-writer protocol; computer architecture; protocols.
B. Bloom, "Constructing Two-Writer Atomic Registers", IEEE Transactions on Computers, vol.37, no. 12, pp. 1506-1514, December 1988, doi:10.1109/12.9729