Atomic Shared Register Access by Asynchronous Harward
Name
MIT-LCS-TM-314.pdf
Size
5.09 MB
Format
Adobe PDF
Checksum (MD5)
f9da316d68f40f1742df07bdbd8ca2d7
Author(s)
Vitányi, Paul M.B.
Awerbuch, Baruch
Date Issued
October 1986
Series/Report no.
MIT-LCS-TM-314
Abstract
The contribution of this paper is two-fold. First, we describe two ways to construct multivalued atomic n-writer n-reader registers. The first solution uses atomic 1-write 1-reader registers and unbounded tags. The other solution uses atomic 1-write n-reader registers and bounded tags. The second part of the paper develops a general methodology to porve atomicity, by identifying a set of criteria which guaranty an effective construction for the required atomic mapping. We apply the method to prove atomicity of the two implementations for atomic multiwriter multireader registers.
Persistent DSpace Link
