# Deadlock Freedom

> The degree to which a concurrent design is provably free of states where progress halts permanently, which acquiring several locks pessimistically puts at risk.

Record: `lexicon:deadlock-freedom`
Kind: quality-attribute
Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md)
Aliases: Deadlocks
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-deadlock-freedom

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Concurrent-Flow Modeling](https://banes-lab.com/records/lexicon/concurrent-flow-modeling.md) and before [Modeling Overhead](https://banes-lab.com/records/lexicon/modeling-overhead.md).

## Category

- [Transactions / State / Concurrency](https://banes-lab.com/records/lexicon-category/transactions-state-concurrency.md)

## In tension with

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

## Reinforced by

- [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md)

## Linked from

- [Transactions / State / Concurrency](https://banes-lab.com/ontology/principles/architecture-category-transactions-state-concurrency.md)
- [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md)
- [The resolutions](https://banes-lab.com/ontology/schema/the-resolutions.md)