A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
On Correctness of Data Structures under Reads-Write Concurrency
[chapter]
2014
Lecture Notes in Computer Science
We study the correctness of shared data structures under reads-write concurrency. A popular approach to ensuring correctness of read-only operations in the presence of concurrent update, is read-set validation, which checks that all read variables have not changed since they were first read. In practice, this approach is often too conservative, which adversely affects performance. In this paper, we introduce a new framework for reasoning about correctness of data structures under reads-write
doi:10.1007/978-3-662-45174-8_19
fatcat:xkxyv2igivfuzogfrpaoeeomlu