Transactional Monitors for Concurrent Objects
Abstract elided by the publisher.
Related papers
- Transactional boosting: a methodology for highly-concurrent transactional objects PPoPP 2008
- Goldilocks: a race and transaction-aware java runtime PLDI 2007
- C4: verified transactional objects OOPSLA 2022
- Monitoring refinement via symbolic reasoning PLDI 2015
- Transaction communicators: enabling cooperation among concurrent transactions PPoPP 2011
- A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation OOPSLA 1986
- The Collie: a wait-free compacting collector ISMM 2012
- McRT-STM: a high performance software transactional memory system for a multi-core runtime PPoPP 2006