An Abort-Aware Model of Transactional Programming
Abstract elided by the publisher.
Related papers
- Reducing transaction aborts by looking to the future PPoPP 2018
- The runtime abort graph and its application to software transactional memory optimization CGO 2011
- Time-warp: lightweight abort minimization in transactional memory PPoPP 2014
- Partial aborts for transactions via first-class continuations ICFP 2015
- Turbocharging boosted transactions or: how i learnt to stop worrying and love longer transactions PPoPP 2009
- Safe compiler-driven transaction checkpointing and recovery OOPSLA 2012
- Reconciling transactional conflicts with compiler's help CGO 2012
- Transactions in relaxed memory architectures POPL 2018