Abstract
We give implementations for atomic, shared, asynchronous, wait-free registers: (i) A new implemenfation of an atomic, 1-writer, 1-reader, b-bit register from O (b) safe, boolean registers (i.e., from scratch). The solution uses neither repeated writing of the input nor repeated reading of the output. (ii) An implementation of an atomic, 1-writer, n-reader, multibit register from O(n 2) atomic, 1-writer, 1-reader, multibit registers. Both constructions rely on the same idea. In a sense (ii) is a generalization of (i). These results show how to construct atomic, multireader registers from — basically — elementary hardware like flip-flops.
1980 Mathematics Subject Classification (1985 Revision)
CR Classification System (1987 Version)
Keywords and Phrases
The work of the third author was supported in part by the Office of Naval Research under Contract N00014-85-K-0168, by the Office of Army Research under Contract DAAG29-84-K-0058, by the National Science Foundation under Grant DCR-83-02391, and by the Defence Advanced Research Projects Agency (DARPA) under Contract N00014-83-K-0125.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Awerbuch, B., L.M. Kirousis, E. Kranakis and P.M.B. Vitányi (February 1987), “On Proving Register Atomicity,” Technical Report CS-R8707, Centrum voor Wiskunde en Informatica, Amsterdam.
Bloom, B. (June 1986), “Constructing Two-writer Atomic Registers,” Manuscript, Massachusetts Institute of Technology.
Burns, J.E. and G.L. Peterson (January 1987), “Comments on: Atomic Multireader Register (Detailed Abstract),” Technical Report GIT-ICS-87/08, Georgia Institute of Technology.
Chapiro, D.M. (1984), “Globally-asynchronous Locally-synchronous Systems,” Doctoral Dissertation, Stanford University, California.
Kirousis, L.M., E. Kranakis and P.M.B. Vitanyi (January 1987), “Atomic Multireader Register (Detailed Abstract),” Technical Report CS-8704, Centrum voor Wiskunde en Informatica, Amsterdam.
Lamport, L. (1986), On interprocess communication. Part I: Basic formalism. Part II: Algorithms, Distributed Computing 1, pp. 77–101.
Marino, L.R. (1981). General theory of metastable operation, IEEE Transactions on Computers C-30, pp. 107–115.
Misra, J. (1986), Axioms for memory access in asynchronous hardware systems, ACM Transactions on Programming Languages and Systems 8, pp. 142–153.
Papadimitriou, C.H. (1979), The serializability of concurrent database updates, Journal of the ACM 26, pp. 631–653.
Peterson, G.L. (1983), Concurrent reading while writing, ACM Transactions on Programming Languages and Systems 5, pp. 46–55.
Peterson, G.L. and J.E. Burns (December 1986), “Concurrent Reading While Writing II: The Multi-writer Case (Preliminary Report),” Technical Report GIT-ICS-86/26, Georgia Institute of Technology.
Singh, A.K., J.H. Anderson and M.G. Gouda (December 1986), “The Elusive Atomic Register Revisited,” Technical Report 86.30, University of Texas at Austin.
Vitányi, P.M.B. and B. Awerbuch (1986). Atomic shared register access by asynchronous hardware, in “Proc. 27th IEEE Annual Symposium on Foundations of Computer Science,” pp. 233–243.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kirousis, L.M., Kranakis, E., Vitányi, P.M.B. (1988). Atomic multireader register. In: van Leeuwen, J. (eds) Distributed Algorithms. WDAG 1987. Lecture Notes in Computer Science, vol 312. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019809
Download citation
DOI: https://doi.org/10.1007/BFb0019809
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19366-1
Online ISBN: 978-3-540-39239-2
eBook Packages: Springer Book Archive