Intermediate Value Linearizability: A Quantitative Correctness Criterion
Abstract
References
Index Terms
- Intermediate Value Linearizability: A Quantitative Correctness Criterion
Recommendations
Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion
PODC '20: Proceedings of the 39th Symposium on Principles of Distributed ComputingA common correctness criterion for concurrent objects is linearizability. Intuitively, under linearizability, when a read overlaps an update, it must return either the object's value before the update or the value after it. Consider, for example, a ...
Checking Linearizability of Encapsulated Extended Operations
Proceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 8410Linearizable objects data-structures provide operations that appear to execute atomically. Modern mainstream languages provide many linearizable data-structures, simplifying concurrent programming. In practice, however, programmers often find a need to ...
Mechanically verified proof obligations for linearizability
Concurrent objects are inherently complex to verify. In the late 80s and early 90s, Herlihy and Wing proposed linearizability as a correctness condition for concurrent objects, which, once proven, allows us to reason about concurrent objects using pre- ...
Comments
Information & Contributors
Information
Published In
![cover image Journal of the ACM](/cms/asset/dac22402-4634-4524-858b-f9b6e773ab1a/3587260.cover.jpg)
- Editor:
- Venkatesan Guruswami
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 171Total Downloads
- Downloads (Last 12 months)97
- Downloads (Last 6 weeks)6
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderFull Text
View this article in Full Text.
Full TextHTML Format
View this article in HTML Format.
HTML Format