Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
Abstract elided by the publisher.
Related papers
- Transactional memory with strong atomicity using off-the-shelf memory protection hardware PPoPP 2009
- Dynamic optimization for efficient strong atomicity OOPSLA 2008
- Safe privatization in transactional memory PPoPP 2018
- Hybrid transactional memory PPoPP 2006
- FastLane: improving performance of software transactional memory for low thread counts PPoPP 2013
- Atomic quake: using transactional memory in an interactive multiplayer game server PPoPP 2009
- Enforcing isolation and ordering in STM PLDI 2007
- On designing NUMA-aware concurrency control for scalable transactional memory PPoPP 2016