Hybrid atomicity for nested transactions

DOI10.1016/0304-3975(95)00029-VMaRDI QIDQ672342zbMATH OpenOpenAlexFDO

Authors Alan Fekete, Nancy Lynch, William E. Weihl

Publication date 28 February 1997

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

Full work available at URL https://doi.org/10.1016/0304-3975(95)00029-v

zbMATH Keywords

hybrid atomicitynested transaction systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Hybrid concurrency control for abstract data types
• Commutativity-based locking for nested transactions
• Introduction to the theory of nested transactions
• A model for concurrency in nested transactions systems
• scientific article; zbMATH DE number 4084989

Cites work

• Commutativity-based concurrency control for abstract data types
• Commutativity-based locking for nested transactions
• Hybrid concurrency control for abstract data types
• Locking Primitives in a Database System
• Necessary and sufficient conditions for R-graph synthesis
• The notions of consistency and predicate locks in a database system

Cited in

(5)

• Multi-granularity locking for nested transactions: A proof using a possibilities mapping
• Reconfigurable Atomic Transaction Commit
• Atomic Cross-Chain Swaps
• Transactional Lock Elision Meets Combining
• Commutativity-based locking for nested transactions

This page was built for publication: Hybrid atomicity for nested transactions

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