Atomic Shared Register Access by Asynchronous Hardware.
Abstract
The contributions of this paper is two-fold. First, it describes two ways to construct multivalued atomic n-writer n-reader registers. The first solution uses atomic 1-writer 1-reader registers and unbounded tags. The other solution uses atomic 1-writer n-reader registers and bounded tags. The second part of the paper develops a general methodology to prove, atomicity, by identifying a set of criteria which guaranty an effective construction for the required atomic mapping. A method to prove atomicity of the two implementations for atomic multiwriter multireader registers is applied. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 01, 1986
- Accession Number
- ADA178301
Entities
People
- Baruch Awerbuch
- Paul M. Vitanyi
Organizations
- Massachusetts Institute of Technology