How to construct an atomic variable

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 392 LNCS, Issue , 1989, Pages 292-302

  Tromp, John ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FIRST CONSTRUCTIONS; MULTI-BITS; SINGLE READERS;

ATOMS;

EID: 85027503033     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-51687-5_51     Document Type: Conference Paper

References (11)

1. B. Bloom, Constructing Two-writer Atomic Registers, IEEE Transactions on Computers, vol. 37, pp. 1506-1514, 1988.
2. L. Lamport, On Interprocess Communication Parts I and II, Distributed Computing, vol.1, 1986, pp. 77-101
3. L.M. Kirousis, E. Kranakis, P.M.B. Vitányi, Atomic Multireader Register, Proc. 2nd International Workshop on Distributed Computing, Amsterdam, July 1987.
4. M. Li, J. Tromp, P.M.B. Vitányi, How to Share Concurrent Wait-Free Variables, (to appear)
5. Baruch Awerbuch, Lefteris M. Kirousis, Evangelos Kranakis, Paul M.B. Vitányi, On Proving Register Atomicity, 1980.
6. G.L. Peterson and J.E. Burns, Concurrent reading while writing II: the multiwriter case, Proc. 28th IEEE Symposium on Foundations of Computer Science, pp. 383-392, 1987.
7. G.L. Peterson, Concurrent reading while writing, ACM Transactions on Programming Languages and Systems, vol.5, No.1, 1983, pp. 46-55
8. J.E. Burns, G.L. Peterson, Sharp Bounds for Concurrent Reading While Writing, Technical Report, Georgia Institute of Technology GIT-ICS-87/31
9. R. Schaffer, On the correctness of atomic multi-writer registers, Technical Report MIT/LCS/TM-364, MIT lab. for Computer Science, June 1988.
10. P.M.B. Vitányi, B. Awerbuch, Atomic Shared Register Access by Asynchronous Hardware, Proc. 27th IEEE Symposium on Foundations of Computer Science, pp. 233-243, 1986. (Errata, Ibid.,1987)
11. J. Tromp, How to Construct an Atomic Variable, (to appear).