什么是 deadlock，你如何预防、避免或检测它？

Question

IT Interview Practice · Accepted Answer

一个 **deadlock**（死锁）是这样一种状态：两个或更多线程各自**永远阻塞**，每个都在等待另一个持有的资源。没有任何进展。

## 四个必要条件（Coffman 条件）

四个必须同时成立——去掉其中任何一个，deadlock 就不可能发生：

```text
1. Mutual exclusion   → a resource is held exclusively (only one holder at a time)
2. Hold and wait      → a thread holds one resource while waiting to acquire another
3. No preemption      → resources can't be forcibly taken; only released voluntarily
4. Circular wait      → a cycle: T1 waits for R2 (held by T2), T2 waits for R1 (held by T1)
```

```text
   T1 ──holds──▶ R1        T1 wants R2 ──▶ (held by T2)
   T2 ──holds──▶ R2        T2 wants R1 ──▶ (held by T1)   ← cycle = deadlock
```

## 处理 deadlock

- **预防（prevention）** —— 设计成让某个条件永远不能成立。最实用的：通过强加一个**全局 lock 顺序**（总是先获取 A 再获取 B）来消灭**circular wait**。或者通过一次性抓取所有需要的 lock 来攻击 **hold-and-wait**。
- **避免（avoidance）** —— 只有当系统仍处于每个线程都还能完成的“安全”状态时才批准一个请求（**Banker 算法**）。它需要预先知道每个线程的最大资源需求，所以在实践中很少使用。
- **检测与恢复（detection & recovery）** —— 让 deadlock 发生，周期性地扫描 **wait-for graph** 查找环，然后通过杀死或回滚一个“受害者”来恢复。数据库正是这么做的：它们检测 deadlock 并用一个“deadlock victim”错误中止某个事务。
- **忽略（“鸵鸟算法”）** —— 如果 deadlock 罕见，直接重启就好；许多操作系统对某些资源接受这种做法。

## 为什么这很重要

Deadlock 是一个经典面试话题，因为四条件框架是一个精确的诊断工具：面对一次 hang，你可以问“我能打破哪个条件？”在真实系统中，常用答案是**一致的 lock 顺序**（防止 circular wait）——一条你每次获取多个 lock 时都要应用的规则。认识到你的数据库会抛出 deadlock-victim 错误、并知道只需 retry 那个事务，就是一个直接的实践应用。

四个必要条件（Coffman 条件）

处理 deadlock

为什么这很重要

相关问题