What Are the Four Coffman Conditions for Deadlock?

In classical computing, a resource deadlock occurs when a set of processes becomes permanently blocked because each process holds a resource and waits for another resource held by a different process in the set. Formulated by Edward G. Coffman Jr. in 1971, the four Coffman conditions describe the exact criteria that must hold simultaneously for a deadlock to occur. Understanding these conditions is essential for designing operating systems, databases, and concurrent applications that prevent or recover from deadlocks.

1. Mutual Exclusion

Mutual exclusion means that at least one resource must be held in a non-shareable mode. Only one process can use the resource at any given time. If another process requests that same resource, the requesting process must be delayed until the resource is released. Common examples include printers, write locks on files, and mutexes in multithreaded programs.

2. Hold and Wait

The hold and wait condition states that a process must be currently holding at least one resource while waiting to acquire additional resources that are currently being held by other processes. A process does not release the resources it already owns while it waits for the new ones it needs to proceed.

3. No Preemption

No preemption means that resources cannot be forcibly taken away from a process holding them. A resource can only be released voluntarily by the process that holds it, typically after that process has completed its task. The operating system or another process cannot interrupt and reclaim the resource mid-execution.

4. Circular Wait

Circular wait occurs when a closed chain of processes exists, such that each process holds at least one resource needed by the next process in the chain. Formally, if there is a set of waiting processes \(\{P_0, P_1, \dots, P_n\}\), then \(P_0\) is waiting for a resource held by \(P_1\), \(P_1\) is waiting for a resource held by \(P_2\), and so on, until \(P_n\) is waiting for a resource held by \(P_0\).

Why All Four Conditions Matter

All four Coffman conditions are necessary for a deadlock to happen. If even a single condition is broken or prevented from occurring, a deadlock cannot form. Operating systems and software engineers use this principle to implement deadlock prevention strategies, such as requiring processes to request all resources upfront to break hold and wait, or imposing a strict global ordering on resource acquisition to eliminate circular wait.