Analyzing linearizability violations in the presence of read-modify-write operations
| dc.contributor.author | Fan, Hua | |
| dc.contributor.author | Golab, Wojciech | |
| dc.date.accessioned | 2018-06-28 15:34:00 (GMT) | |
| dc.date.available | 2018-06-28 15:34:00 (GMT) | |
| dc.date.issued | 2018-10-01 | |
| dc.identifier.uri | https://doi.org/10.1016/j.ipl.2018.06.004 | |
| dc.identifier.uri | http://hdl.handle.net/10012/13443 | |
| dc.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/ | en |
| dc.description.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. | en |
| dc.language.iso | en | en |
| dc.publisher | Elsevier | en |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.subject | Distributed systems | en |
| dc.subject | Consistency | en |
| dc.subject | Linearizability | en |
| dc.subject | Verification | en |
| dc.title | Analyzing linearizability violations in the presence of read-modify-write operations | en |
| dc.type | Article | en |
| dcterms.bibliographicCitation | Fan, H., & Golab, W. (2018). Analyzing linearizability violations in the presence of read-modify-write operations. Information Processing Letters, 138, 57–60. https://doi.org/10.1016/j.ipl.2018.06.004 | en |
| uws.contributor.affiliation1 | Faculty of Engineering | en |
| uws.contributor.affiliation2 | Electrical and Computer Engineering | en |
| uws.typeOfResource | Text | en |
| uws.peerReviewStatus | Reviewed | en |
| uws.scholarLevel | Faculty | en |
Files in this item
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivatives 4.0 International