A Practical Multi-Word Compare-and-Swap Operation (2002) [37 citations — 4 self]
http://www.cl.cam.ac.uk/Research/SRG/netos/papers/
http://www.cl.cam.ac.uk/~tlh20/papers/hfp-casn-sub
DBLP
CACHED:
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Timothy L. Harris and Keir Fraser and Ian A. Pratt},
title = {A Practical Multi-Word Compare-and-Swap Operation},
booktitle = {In Proceedings of the 16th International Symposium on Distributed Computing},
year = {2002},
pages = {265--279},
publisher = {Springer-Verlag}
}
Bookmarks
OpenURL
Abstract:
Work on non-blocking data structures has proposed extending processor designs with a compare-and-swap primitive, CAS2, which acts on two arbitrary memory locations. Experience suggested that current operations, typically single-word compare-and-swap (CAS1), are not expressive enough to be used alone in an efficient manner. In this paper we build CAS2 from CAS1 and, in fact, build an arbitrary multi-word compare-and-swap (CASN). Our design requires only the primitives available on contemporary systems, reserves a small and constant amount of space in each word updated (either 0 or 2 bits) and permits nonoverlapping updates to occur concurrently. This provides compelling evidence that current primitives are not only universal in the theoretical sense introduced by Herlihy, but are also universal in their use as foundations for practical algorithms. This provides a straightforward mechanism for deploying many of the interesting non-blocking data structures presented in the literature that have previously required CAS2.
