Compatibility and commutativity of lock modes

DOI10.1016/S0019-9958(84)80061-3MaRDI QIDQ3719812zbMATH OpenOpenAlexFDO

Authors Donald S. Fussell, Abraham Silberschatz, C. Mohan

Publication date 1984

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0019-9958(84)80061-3

zbMATH Keywords

commutativitycompatibilityconcurrency control mechanismsdata basesdeadlock-freedomdirected acyclic graph structureINVlock modesnon-two phase locking protocols

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Operation-specific locking in balanced structures
• Commutativity-based locking for nested transactions
• Constrained synchronization and commutativity
• Compatibility properties of synchronously and asynchronously communicating components
• Locking based on a pairwise decomposition of the transaction system
• A general technique for proving lock-freedom
• Deadlocks and dihomotopy in mutual exclusion models

Cited in

(7)

• Constrained shared locks for increasing concurrency in databases
• Kempe-locking configurations
• Pre-analysis locking
• Beyond two-phase locking
• scientific article; zbMATH DE number 803797 (Why is no real title available?)
• Locks, Bombs and Testing: The Case of Independent Locks
• A superior two-phase locking algorithm amd its performance

This page was built for publication: Compatibility and commutativity of lock modes

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