Safer open-nested transactions through ownership
Abstract
No abstract available.
Related papers
- Safe open-nested transactions through ownership PPoPP 2009
- Obsidian: Typestate and Assets for Safer Blockchain Programming TOPLAS 2020
- Open nesting in software transactional memory PPoPP 2007
- Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory PPoPP 2008
- NOrec: streamlining STM by abolishing ownership records PPoPP 2010
- Encapsulated open nesting for STM: fine-grained higher-level conflict detection PPoPP 2019
- Linear Promises: Towards Safer Concurrent Programming ECOOP 2021
- The Atomos transactional programming language PLDI 2006