Atomic shared register access by asynchronous hardware
Authors:
- Paul M. B. VitanyiPVPaul M. B. Vitanyi
- Baruch AwerbuchBABaruch Awerbuch
- 1 October 1986
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 02725428,p. 233-243
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-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. We apply the method to prove atomicity of the two implementations for atomic multiwriter multireader registers.Keywords
This publication has 6 references indexed in Scilit:
- On interprocess communicationDistributed Computing, 1986
- The mutual exclusion problemJournal of the ACM, 1986
- Axioms for memory access in asynchronous hardware systemsACM Transactions on Programming Languages and Systems, 1986
- Distributed FIFO Allocation of Identical Resources Using Small Shared Space.1985
- Concurrent Reading While WritingACM Transactions on Programming Languages and Systems, 1983
- Concurrent reading and writingCommunications of the ACM, 1977