Skip to content
DKKB

Deadlock

Section titled “Deadlock”

Deadlock occurs when participants form a waiting cycle in which each needs a resource or action held by another participant in the same cycle.

No participant in the cycle can make progress without an external intervention or a broken wait condition.

Consistent lock ordering, avoiding nested ownership, or deadlock detection can address different forms of the problem.

Used in DKKB

Locks, mutexes, and critical sectionsUse mutual exclusion to serialize access to shared state when concurrent execution would violate an invariant.
Locks, mutexes, and critical sectionsUse mutual exclusion to serialize access to shared state when concurrent execution would violate an invariant.