Nested transactional memory: Model and architecture sketches

DOI10.1016/J.SCICO.2006.05.010MaRDI QIDQ856912zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

closed nestingtransactional memorynested transactionsopen nesting

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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

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)