Year: 1987
Type: conference-paper
Abstract: We present a simple, efficient protocol for constructing single-writer, multi-reader atomic shared values from singlewriter, multi-reader non-atomic (%egular") shared values.This solves the last open problem in the Concurrent Reading While Writing hierarchy.It is now known how to construct a multi-writer, multi-reader atomic shared value given only single-reader, single-writer non-atomic ("safe") shared bits.The protocol given here is remarkably simple and efficient.The total amount of shared space to communicate a shared value with a range of V to n readers is just O(n + log IV]) multi-reader regular bits, which is provably optimal (with very small constant factors).Similarly, the amount of communication (reading and writing of copies of the simulated shared values) required by readers and writers is also optimal.The simplicity of the protocol results in a short and easily understood proof of correctness.Great care has been taken to completely describe the protocol to avoid ambiguities.We also describe several variations of the protocol which optimize other goals.
DOI: 10.1145/41840.41859
Authors: James E. Burns, Gary L. Peterson
Institution: Georgia Institute of Technology
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2087719952