Thumbnail
Access Restriction
Subscribed

Author Haldar, S. ♦ Vidyasankar, K.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Copyright Year ©1995
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Nonatomic operation execution ♦ Reader and writer ♦ Regular and atomic ♦ Shared variable-safe ♦ Wait-freedom
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.
ISSN 00045411
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1995-01-03
Publisher Place New York
e-ISSN 1557735X
Journal Journal of the ACM (JACM)
Volume Number 42
Issue Number 1
Page Count 18
Starting Page 186
Ending Page 203


Open content in new tab

   Open content in new tab
Source: ACM Digital Library