Nested transactional memory: Model and architecture sketches
From MaRDI portal
Publication:856912
DOI10.1016/j.scico.2006.05.010zbMath1119.68043OpenAlexW2047791971MaRDI QIDQ856912
Antony L. Hosking, J. Eliot B. Moss
Publication date: 14 December 2006
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2006.05.010
Related Items (3)
Correctness of concurrent executions of closed nested transactions in transactional memory systems ⋮ Towards formally specifying and verifying transactional memory ⋮ A formal semantics of nested atomic sections with thread escape
This page was built for publication: Nested transactional memory: Model and architecture sketches
