A Thrifty Universal Construction

Abstract

A universal construction is an algorithm which transforms any sequential implementation of an object into a concurrent implementation of that same object in a linearizable and wait-free manner. Such constructions require underlying low-level universal shared objects such as compare-and-swap and load-linked/store-conditional . In this paper, we present the first universal construction that (a) uses exactly one compare-and-swap object and (b) has time complexity (number of accesses to low-level shared objects) and memory complexity (size of low-level shared objects) that are both independent of the size of the high-level object to be implemented.

DOI: 10.1007/978-3-319-26850-7_30

Extracted Key Phrases

Cite this paper

@inproceedings{Wang2015ATU, title={A Thrifty Universal Construction}, author={Cheng Wang and Rachid Guerraoui}, booktitle={NETYS}, year={2015} }