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 nestingnested transactionsopen nestingtransactional memory

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

(4)

• A formal semantics of nested atomic sections with thread escape
• Correctness of concurrent executions of closed nested transactions in transactional memory systems
• Towards formally specifying and verifying transactional memory
• NestedBTO: a timestamp-ordered protocol for parallel closed-nested transactional memory satisfying conflict-preserving closed-nested opacity

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)