Nested transactional memory: Model and architecture sketches

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

zbMATH Keywords

closed nestingtransactional memorynested transactionsopen nesting

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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