CONSTRUCTING 1-WRITER MULTIREADER MULTIVALUED ATOMIC VARIABLES FROM REGULAR VARIABLES

A simple wait-free construction of 1-writer multireader multivalued at omic variable from mnltireader regular variables is presented in this paper. A key point of the construction is the use of an elegant forwar ding 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 propos ed in the literature. Formal correctness proofs for both the construct ions are short and easy to follow.