Correctness of concurrent executions of closed nested transactions in transactional memory systems

DOI10.1016/J.TCS.2013.01.024zbMath1294.68042OpenAlexW1963743620MaRDI QIDQ391262

K. Vidyasankar, Sathya Peri

Publication date: 10 January 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2013.01.024

zbMATH Keywords

closed nestingconflict notioncorrectness criterionSTMs

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14)

Related Items (1)

Correctness of concurrent executions of closed nested transactions in transactional memory systems

Cites Work

• Correctness of concurrent executions of closed nested transactions in transactional memory systems
• Towards formally specifying and verifying transactional memory
• Nested transactional memory: Model and architecture sketches
• Generalized theory of serializability
• On the serializability theorem for nested transactions
• Permissiveness in Transactional Memories
• The serializability of concurrent database updates
• Software transactional memory
• Proceedings of the 28th ACM symposium on Principles of distributed computing

This page was built for publication: Correctness of concurrent executions of closed nested transactions in transactional memory systems