死锁 · 融合风（象牙 + Obsidian 入口）

速查

死锁是多个进程因竞争资源而互相等待的僵局，四个必要条件缺一不可：互斥、请求和保持、不可抢占、循环等待。处理思路分预防 / 避免 / 检测恢复 / 忽略四类；银行家算法用 Need = Max − Allocation 做安全性检查。

核心概念 ▾

死锁是指多个进程因竞争资源而造成的一种互相等待的僵局，若无外力作用，这些进程都无法继续推进。

本质四个条件同时成立才构成死锁；破坏（不满足）其中任意一个，死锁即不可能发生。

概念	定义
死锁	两个或多个进程互相等待对方持有的资源，导致都无法继续执行的状态
安全状态	存在一个安全序列，使所有进程都能顺利完成
安全序列	进程执行序列 $\langle P_1, P_2, \dots, P_n \rangle$，每个 $P_i$ 的剩余需求可用当前可用资源 + 所有 $P_j\,(j<i)$ 释放的资源满足
银行家算法	每次资源分配前检查系统是否仍处于安全状态，是则分配，否则拒绝
资源分配图	用有向图描述进程对资源的请求和资源的分配关系
死锁定理	资源分配图不可完全化简 $\iff$ 系统处于死锁状态

四类思路从「最保守」到「最放任」：预防 → 避免 → 检测与恢复 → 忽略（鸵鸟策略）。

数据结构：Available（可用资源向量）、Max（最大需求矩阵）、Allocation（分配矩阵）、Need（需求矩阵，$Need = Max - Allocation$）。
安全性检查：找一个 $Need \leq Available$ 的进程，执行后释放资源，重复直到所有进程完成。
安全序列存在 → 系统安全；不存在 → 系统可能不安全（拒绝此次分配）。

圆圈表示进程，方框表示资源（圆点表示实例）；请求边 $P \to R$，分配边 $R \to P$。无环则无死锁；有环则可能有死锁（每类资源仅一个实例时，有环即有死锁）。

必记

死锁的四个必要条件？

互斥、请求和保持、不可抢占、循环等待（缺一不可）。

安全状态与死锁的关系？

安全→一定不死锁；不安全→不一定死锁。

银行家算法 Need 如何算？

$Need = Max - Allocation$。

单实例资源有环意味着？

有环 $\iff$ 死锁；多实例时仅为必要非充分。

点击左侧任一条件，查看其含义；勾选「四条件全满足」观察循环等待如何导致死锁。

提示：四条件同时成立才会形成等待环。

示意图：左侧四个条件为死锁的「必要条件」；右侧橙色流动环表示进程间互相等待，四条件俱全时即为死锁。