Abstraction for concurrent objects |
| |
Authors: | Ivana Filipović Peter O’Hearn Noam Rinetzky Hongseok Yang |
| |
Affiliation: | Queen Mary University of London, UK |
| |
Abstract: | Concurrent data structures are usually designed to satisfy correctness conditions such as sequential consistency or linearizability. In this paper, we consider the following fundamental question: What guarantees are provided by these conditions for client programs? We formally show that these conditions can be characterized in terms of observational refinement. Our study also provides a new understanding of sequential consistency and linearizability in terms of abstraction of dependency between computation steps of client programs. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |