死锁的四个必要条件（四大条件缺一不可）

死锁（Deadlock）是指多个进程或线程在执行过程中，因争夺资源而造成的一种互相等待的现象，导致程序无法继续执行。要形成死锁，必须同时满足以下四个条件：

---

1. 互斥条件（Mutual Exclusion）

• 资源一次只能被一个进程占用，其他进程必须等待该资源释放。

• 例子：打印机、数据库锁等独占资源。

2. 占有并等待（Hold and Wait）

• 进程已经持有至少一个资源，并且正在等待获取其他被占用的资源。

• 例子：

  • 进程A持有锁1，同时请求锁2；

  • 进程B持有锁2，同时请求锁1；

  • 双方互相等待，形成死锁。

3. 不可抢占（No Preemption）

• 进程已获得的资源不能被强行剥夺，必须由进程主动释放。

• 例子：

  • 如果进程A持有锁1，操作系统不能强制收回锁1，只能等A主动释放。

4. 循环等待（Circular Wait）

• 存在一个进程等待的环形链，每个进程都在等待下一个进程占用的资源。

• 例子：

  • 进程A等待进程B的资源；

  • 进程B等待进程C的资源；

  • 进程C等待进程A的资源；

  • 形成一个闭环，导致死锁。

---

如何避免死锁？（破坏四大条件之一即可）

1. 破坏互斥条件（某些资源可以共享，如只读文件）。

2. 破坏占有并等待（一次性申请所有资源，如银行家算法）。

3. 破坏不可抢占（允许系统强制回收资源）。

4. 破坏循环等待（按固定顺序申请资源，如所有进程必须先申请锁1，再申请锁2）。

---

面试回答模板

"死锁的四个必要条件是：
1. 互斥条件（资源独占）；
2. 占有并等待（持有一个资源并等待另一个）；
3. 不可抢占（资源不能被强制回收）；
4. 循环等待（进程间形成等待环）。
只要破坏其中任意一个条件，就可以避免死锁。"

这样回答既清晰又全面，适合面试场景。 🚀