Nested transactional memory: Model and architecture sketches

DOI10.1016/J.SCICO.2006.05.010zbMATH Open1119.68043OpenAlexW2047791971MaRDI QIDQ856912FDOQ856912

Authors: J. Eliot B. Moss, Antony L. Hosking 

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

Recommendations

• scientific article; zbMATH DE number 7075928
• A model for concurrency in nested transactions systems
• Transactional memory
• Transactional Memory: Glimmer of a Theory
• Correctness of concurrent executions of closed nested transactions in transactional memory systems

zbMATH Keywords

closed nestingtransactional memorynested transactionsopen nesting

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (3)

• Correctness of concurrent executions of closed nested transactions in transactional memory systems
• A formal semantics of nested atomic sections with thread escape
• Towards formally specifying and verifying transactional memory

This page was built for publication: Nested transactional memory: Model and architecture sketches

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q856912)