The Library will be performing maintenance on UWSpace on September 4th, 2024. UWSpace will be offline for all UW community members during this time.
 

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

Loading...
Thumbnail Image

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