死锁（Deadlock）是指两个或两个以上的进程在执行过程中，因争夺资源而造成的一种互相等待的现象。若无外力作用，它们都将无法推进下去。

根据 Coffman 在 1971 年的总结，死锁的产生必须同时满足以下四个必要条件。只要破坏其中任何一个条件，死锁就不会发生。

这四个条件分别是：

1. 互斥条件 (Mutual Exclusion)

• 含义：资源是独占的，即在一段时间内，某资源只能被一个进程占用。
• 解释：如果此时还有其他进程请求该资源，则请求者只能等待，直到占有该资源的进程用毕释放。
• 例子：打印机、磁带机等独占设备。

2. 请求与保持条件 (Hold and Wait)

• 含义：进程已经保持（占有）了至少一个资源，但又提出了新的资源请求，而该资源已被其他进程占有。
• 解释：此时请求进程被阻塞，但对自己已获得的资源保持不放。
• 通俗理解：“吃着碗里的，看着锅里的，而且碗里的绝不放下。”

3. 不剥夺条件 (No Preemption)

• 含义：进程已获得的资源，在未使用完之前，不能被其他进程强行夺走（剥夺），只能由该进程自己释放。
• 解释：操作系统不能强行把资源从进程手中抢过来分配给别人。
• 通俗理解：“我拿到的东西，我不主动给，谁也不能抢。”

4. 循环等待条件 (Circular Wait)

• 含义：存在一个进程资源的循环等待链。
• 解释：即进程集合 $\{P_0, P_1, P_2, ..., P_n\}$ 中，$P_0$ 正在等待 $P_1$ 占用的资源，$P_1$ 正在等待 $P_2$ 占用的资源，……，$P_n$ 正在等待 $P_0$ 占用的资源，形成一个环路。
• 通俗理解：A等B，B等C，C又在等A。

总结：
这四个条件是死锁产生的必要条件，意味着如果死锁发生了，这四个条件一定都成立；反之，如果要预防死锁，只需要破坏这四个条件中的任意一个即可（通常操作系统通过破坏“请求与保持”、“不剥夺”或“循环等待”条件来预防死锁，因为“互斥”通常是设备本身的固有属性，很难破坏）。