Software Transactional Memory on Relaxed Memory Models
Abstract elided by the publisher.
Related papers
- Transactions in relaxed memory architectures POPL 2018
- Reducing Memory Ordering Overheads in Software Transactional Memory CGO 2009
- Implementing and verifying release-acquire transactional memory in C11 OOPSLA 2022
- Model checking transactional memories PLDI 2008
- Software transactional distributed shared memory PPoPP 2009
- Relaxed dependence tracking for parallel runtime support CC 2016
- Context-oriented software transactional memory in common lisp DLS 2009
- Persistent software transactional memory in Haskell ICFP 2021