Legato: end-to-end bounded region serializability using commodity hardware transactional memory
No abstract available.
Related papers
- Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory PLDI 2009
- Hybrid STM/HTM for nested transactions on OpenJDK OOPSLA 2016
- Continuous checkpointing of HTM transactions in NVM ISMM 2017
- Compiler-assisted detection of transient memory errors PLDI 2014
- The Push/Pull model of transactions PLDI 2015
- Crafty: efficient, HTM-compatible persistent transactions PLDI 2020
- Exploiting distributed version concurrency in a transactional memory cluster PPoPP 2006
- Parameterized verification of transactional memories PLDI 2010