# Pessimistic Locking / Deadlock Freedom

> "pessimistic-locking" (atomic-boundary layer) is traded against "Deadlocks" (atomic-boundary layer) — a principle cannot be scope-separated from a quality, metric, or cost it competes with; resolve by measuring "Deadlocks" and choosing an explicit operating point.

Record: `tension:deadlock-freedom-pessimistic-locking`
Kind: tension
Canonical: https://banes-lab.com/ontology/schema#tension-deadlock-freedom-pessimistic-locking

Listed in [Tensions](https://banes-lab.com/api/records/tension.md), after [Optimistic Locking / Retry Complexity](https://banes-lab.com/records/tension/optimistic-locking-retry-complexity.md) and before [Pessimistic Locking / Latency](https://banes-lab.com/records/tension/latency-pessimistic-locking.md).

## In tension with

- [Pessimistic Locking](https://banes-lab.com/records/architecture/pessimistic-locking.md)
- [Deadlock Freedom](https://banes-lab.com/records/lexicon/deadlock-freedom.md)

## Mechanism

- [irreducible-tradeoff](https://banes-lab.com/records/vocabulary/resolution-mechanism-irreducible-tradeoff.md)

## Linked from

- [Transactions / State / Concurrency](https://banes-lab.com/ontology/principles/architecture-category-transactions-state-concurrency.md)
- [Resolution mechanisms](https://banes-lab.com/ontology/schema/the-vocabulary-resolution-mechanism.md)