A Semantic Framework for Designer Transactions
No abstract available.
Related papers
- Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models OOPSLA 2019
- Data Consistency in Transactional Storage Systems: A Centralised Semantics ECOOP 2020
- LOFT: lock-free transactional data structures PPoPP 2019
- The Kala Basket: A Semantic Primitive Unifying Object Transactions, Access Control, Versions, and Configurations OOPSLA 1991
- Low-overhead software transactional memory with progress guarantees and strong semantics PPoPP 2015
- A comprehensive strategy for contention management in software transactional memory PPoPP 2009
- Understanding Tradeoffs in Software Transactional Memory CGO 2007
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022