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-28T15:34:00Z | |
dc.date.available | 2018-06-28T15:34:00Z | |
dc.date.issued | 2018-10-01 | |
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.identifier.uri | https://doi.org/10.1016/j.ipl.2018.06.004 | |
dc.identifier.uri | http://hdl.handle.net/10012/13443 | |
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.peerReviewStatus | Reviewed | en |
uws.scholarLevel | Faculty | en |
uws.typeOfResource | Text | en |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- 1-s2.0-S0020019018301297-main.pdf
- Size:
- 301.56 KB
- Format:
- Adobe Portable Document Format
- Description:
- Post-print
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 6.08 KB
- Format:
- Item-specific license agreed upon to submission
- Description: