Notes on "A Methodology for Implementing Highly Concurrent Data Objects"
Abstract
No abstract available.
Related papers
- A Methodology for Implementing Highly Concurrent Data Structures PPoPP 1990
- A Methodology for Implementing Highly Concurrent Objects TOPLAS 1993
- Transactional boosting: a methodology for highly-concurrent transactional objects PPoPP 2008
- Supporting lock-free composition of concurrent data objects PPoPP 2010
- Proving the Safety of Highly-Available Distributed Objects ESOP 2020
- Towards a dynamic object model within Unix processes Onward! 2015
- Proving correctness of highly-concurrent linearisable objects PPoPP 2006
- Linguistic Support for Atomic Data Types TOPLAS 1990