Deadlock Freedom
Kind: quality-attribute
Layer: Atomic Boundary
Aliases: Deadlocks
Record: lexicon:deadlock-freedom
Canonical: Lexicon
The degree to which a concurrent design is provably free of states where progress halts permanently, which acquiring several locks pessimistically puts at risk.
Listed in Lexicon terms, after Concurrent-Flow Modeling and before Modeling Overhead.