Composing ordered sequential consistency

Abstract

We define ordered sequential consistency (OSC), a generic criterion for concurrent objects. We show that OSC encompasses a range of criteria, from sequential consistency to linearizability, and captures the typical behavior of real-world coordination services, such as ZooKeeper. A straightforward composition of OSC objects is not necessarily OSC, e.g., a composition of sequentially consistent objects is not sequentially consistent. We define a global property we call leading ordered operations, and prove that it enables correct OSC composition.

DOI: 10.1016/j.ipl.2017.03.004

Cite this paper

@article{LevAri2017ComposingOS, title={Composing ordered sequential consistency}, author={Kfir Lev-Ari and Edward Bortnikov and Idit Keidar and Alexander Shraer}, journal={Inf. Process. Lett.}, year={2017}, volume={123}, pages={47-50} }