Featherweight transactions: decoupling threads and atomic blocks
Abstract
No abstract available.
Related papers
- Optimizing memory transactions PLDI 2006
- Safe privatization in transactional memory PPoPP 2018
- Debugging programs that use atomic blocks and transactional memory PPoPP 2010
- Feedback-directed barrier optimization in a strongly isolated STM POPL 2009
- Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory PLDI 2009
- AtomCaml: first-class atomicity via rollback ICFP 2005
- McRT-Malloc: a scalable transactional memory allocator ISMM 2006
- A Concurrent Calculus with Atomic Transactions ESOP 2007