Lexicon

Ad-Hoc Lock Ordering

Kind: anti-pattern

Layer: Atomic Boundary

Record: lexicon:ad-hoc-lock-ordering

Canonical: Lexicon

Ordering lock acquisition by hand-reasoning rather than a proven scheme, inviting deadlock.

Listed in Lexicon terms, after Pure Core / Imperative Shell and before Concurrency Correctness.

Category

  • Transactions / State / Concurrency

Negated by

  • Petri Nets

Violates

  • Petri Nets

Linked from

  • Transactions / State / Concurrency