UWSpace is currently experiencing technical difficulties resulting from its recent migration to a new version of its software. These technical issues are not affecting the submission and browse features of the site. UWaterloo community members may continue submitting items to UWSpace. We apologize for the inconvenience, and are actively working to resolve these technical issues.
 

Analyzing linearizability violations in the presence of read-modify-write operations

Thumbnail Image

Files

1-s2.0-S0020019018301297-main.pdf (301.56 KB)

Date

2018-10-01

Authors

Fan, Hua
Golab, Wojciech

Journal Title

Journal ISSN

Volume Title

Publisher

Elsevier

Abstract

We consider an algorithmic problem related to analyzing consistency anomalies in distributed storage systems. Specifically, given a history of read, write, and read-modify-write operations applied by clients, we quantify how far the history deviates from the “gold standard” of linearizability (Herlihy and Wing, 1990). Our solution generalizes a known algorithm that considers reads and writes only.

Description

The final publication is available at Elsevier via http://dx.doi.org/10.1016/j.ipl.2018.06.004 © 2018. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/

Keywords

Distributed systems, Consistency, Linearizability, Verification

LC Keywords

Citation

URI

https://doi.org/10.1016/j.ipl.2018.06.004
 http://hdl.handle.net/10012/13443

Collections

Waterloo Research
Electrical and Computer Engineering