Constructing 1-writer multireader multivalued atomic variables from regular variables

Authors:
S. Haldar;K. Vidyasankar
Affiliations:
Memorial University of Newfoundland, St. John's Newfoundland, Canada;Memorial University of Newfoundland, St. John's Newfoundland, Canada
Venue:
Journal of the ACM (JACM)
Year:
1995

Citing 12
Cited 10

Constructing multi-reader atomic values from non-atomic values

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A protocol for wait-free, atomic, multi-reader shared variables

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Converting Lamport's regular register to atomic register

Information Processing Letters
An elegant 1-writer multireader multivalued atomic register

Information Processing Letters
Self-stabilization of dynamic systems assuming only read/write atomicity

PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Counting networks and multi-processor coordination

STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
A very simple construction of 1-writer multireader multivalued atomic variable

Information Processing Letters
Low contention linearizable counting

SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Counterexamples to a one writer multireader atomic variable construction of Burns and Peterson

ACM SIGOPS Operating Systems Review
The elusive atomic register

Journal of the ACM (JACM)
Concurrent Reading While Writing

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Proof Technique for Register Automicity

Proceedings of the Eighth Conference on Foundations of Software Technology and Theoretical Computer Science

How to share concurrent wait-free variables

Journal of the ACM (JACM)
Bounded concurrent timestamp systems using vector clocks

Journal of the ACM (JACM)
Nonatomic mutual exclusion with local spinning

Proceedings of the twenty-first annual symposium on Principles of distributed computing
Simple Wait-Free Multireader Registers

DISC '02 Proceedings of the 16th International Conference on Distributed Computing
Superstabilizing mutual exclusion

Distributed Computing
Constructing regular variables in message passing systems

Journal of Parallel and Distributed Computing
Multiword atomic read/write registers on multiprocessor systems

Journal of Experimental Algorithmics (JEA)
Fault-Tolerant Implementations of Regular Registers by Safe Registers with Applications to Networks

ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Relationships between communication models in networks using atomic registers

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
An algorithm for implementing BFT registers in distributed systems with bounded churn

SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

A simple wait-free construction of 1-writer multireader multivalued atomic variable from multireader regular variables is presented in this paper. A key point of the construction is the use of an elegant forwarding technique to overcome the new-old inversion property inherent in regular variables.Another construction, using a different forwarding technique, is also given. This technique is a refinement of one proposed in the literature.Formal correctness proofs for both the constructions are short and easy to follow.