3 死锁

1 死锁概念及产生原理

概念：多个并发进程因争夺系统资源而产生相互等待的现象；
原理：当一组进程中的每个进程都在等待某个事件发生，而只有这组进程中的其他进程才能触发该事件，就称这组进程发生了死锁；
本质原因：

1. 系统资源有限；
2. 进程推进顺序不合理；

2 死锁产生的必要条件

（方框表示资源，圆圈表示进程，资源指向进程表示资源已经分配给进程，进程指向资源表示进程请求获取资源）

• 互斥：某种资源一次只允许一个进程访问，即该资源一旦分配给某个进程，其他进程就不能再访问，直到该进程访问结束；
• 占有和等待：一个进程本身占有资源（一种或多种），同时还有资源未得到满足，正在等待其他进程释放该资源；
• 不可抢占：已经分配给一个进程的资源不能强制性地被抢占，它只能被占有它的进程显式地释放；
• 循环等待：存在一个进程链，使得每个进程都占有下一个进程所需的至少一种资源；

当以上四个条件均满足，就会造成死锁，发生死锁的进程无法进行下去，它们所持有的资源也无法释放，导致CPU的吞吐量下降。

3 处理方法

主要有以下四种方法：

• 鸵鸟策略；
• 死锁检测与死锁恢复；
• 死锁预防；
• 死锁避免；

3.1 鸵鸟策略

1. 把头埋在沙子里，假装没发生问题，即不采取任何措施；
2. 由于处理死锁问题的代价很高，因此鸵鸟策略会获得更高的性能；
3. 当出现死锁不会对用户造成很大影响、或者发生死锁的概率很低时，可以采用鸵鸟策略；
4. 大多数操作系统，包括 Unix，Linux 和 Windows，处理死锁问题的办法都是鸵鸟策略；

3.2 死锁检测与死锁恢复

不试图阻止死锁，而是当检测到死锁发生时，采取措施进行恢复。

3.2.1 每种类型一个资源的死锁检测

（方框表示资源，圆圈表示进程，资源指向进程表示资源已经分配给进程，进程指向资源表示进程请求获取资源）

图 a 可以抽取出环，即图 b，它满足了环路等待条件，因此会发生死锁。

每种类型一个资源的死锁检测算法是通过检测有向图是否存在环来实现，从一个节点出发进行深度优先搜索，对访问过的节点进行标记，如果访问了已经标记的节点，就表示有向图存在环，也就是检测到死锁的发生。

3.2.2 每种类型多个资源的死锁检测

上图中，有三个进程四个资源，每个数据代表的含义如下：

• E 向量：资源总量
• A 向量：资源剩余量
• C 矩阵：每个进程所拥有的资源数量，每一行都代表一个进程拥有资源的数量
• R 矩阵：每个进程请求的资源数量

进程 P1 和 P2 所请求的资源都得不到满足，只有进程 P3 可以，让 P3 执行，之后释放 P3 拥有的资源，此时 A = (2 2 2 0)。P2 可以执行，执行后释放 P2 拥有的资源，A = (4 2 2 1) 。P1 也可以执行。所有进程都可以顺利执行，没有死锁。

算法总结如下：

每个进程最开始时都不被标记，执行过程有可能被标记。当算法结束时，任何没有被标记的进程都是死锁进程。

1. 寻找一个没有标记的进程 Pi，它所请求的资源小于等于 A；
2. 如果找到了这样一个进程，那么将 C 矩阵的第 i 行向量加到 A 中，标记该进程，并转回 1；
3. 如果没有这样一个进程，算法终止；

3.2.3 死锁恢复

• 利用抢占恢复
• 利用回滚恢复
• 通过杀死进程恢复

3.3 死锁预防

在程序运行前预防死锁。

3.3.1 破坏互斥条件

例如假脱机打印机技术允许若干个进程同时输出，唯一真正请求物理打印机的进程是打印机守护进程。

3.3.2 破坏占有和等待条件

方法1：所有进程在开始运行前，必须一次性申请其在整个运行过程中所需要的全部资源。

• 优点：简单易实施且安全；
• 缺点：因为某项资源不满足，进程无法启动，而其他已经满足了的资源也不会得到利用率，造成资源浪费，使进程经常发生饥饿现象；

方法2：对第一种方法的改进，允许进程只获得运行初期需要的资源，便开始运行，在运行过程中逐步释放分配到的已经使用完毕的资源，然后再去请求新的资源。这样的话，资源的利用率会得到提高，也会减少进程的饥饿问题。

3.3.3 破坏不可抢占条件

1. 当一个已经持有了一些资源的进程在提出新的资源请求没有得到满足时，它必须释放已经保持的所有资源，待以后需要使用的时候重新申请，这就意味着进程已占有的资源被抢占了；
2. 这种方法实现比较复杂，代价也比较大。释放已经保持的资源很有可能会导致进程之前的工作失效，反复的申请和释放资源会导致进程的执行被无限推迟，这不仅会延长进程的周转周期，还会影响系统的吞吐量；

3.3.4 破坏循环等待

给资源统一编号，进程只能按编号顺序来请求资源。当一个进程占有编号为i的资源时，那么它下一次只能申请编号大于i的资源。

3.4 死锁避免

在程序运行时避免发生死锁。

3.4.1 安全状态

图 a 的第二列 Has 表示已拥有的资源数，第三列 Max 表示总共需要的资源数，Free 表示还有可以使用的资源数。从图 a 开始出发，先让 B 拥有所需的所有资源（图 b），运行结束后释放 B，此时 Free 变为 5（图 c）；接着以同样的方式运行 C 和 A，使得所有进程都能成功运行，因此可以称图 a 所示的状态时安全的。

定义：如果没有死锁发生，并且即使所有进程突然请求对资源的最大需求，也仍然存在某种调度次序能够使得每一个进程运行完毕，则称该状态是安全的。

安全状态的检测与死锁的检测类似，因为安全状态必须要求不能发生死锁。下面的银行家算法与死锁检测算法非常类似，可以结合着做参考对比。

3.4.2 单个资源的银行家算法

一个小城镇的银行家，他向一群客户分别承诺了一定的贷款额度，算法要做的是判断对请求的满足是否会进入不安全状态，如果是，就拒绝请求；否则予以分配。

上图 c 为不安全状态，因此算法会拒绝b-c的请求，从而避免进入图 c 中的状态。

解释：

1. 客户们各自做自己的生意，在某些时刻需要贷款（相当于请求资源）。在某一时刻，如图b所示。这个状态是安全的，因为保留着2个单位，银行家能够拖延除了C以外的其他请求。因而可以让C先完成，然后释放C所占的4个单位资源。有了这4个单位资源，银行家就可以给D或B分配所需的贷款单位，以此类推；
2. 考虑假如向B提供了另一个他所请求的贷款单位，就有了如图c所示的状态，该状态是不安全的。如果忽然所有的客户都请求最大的限额，而银行家无法满足其中任何一个的要求，那么就会产生死锁；
3. 银行家算法就是对每一个请求进行检查，检查如果满足这一请求是否会达到安全状态。若是，那么就满足该请求；否则就推迟对这一请求的满足；
4. 为了检查状态是否安全，银行家需要考虑他是否有足够的资源满足某一个客户。如果可以，那么这笔贷款就是能够收回的，并且接着检查最接近最大限额的一个客户，以此类推。如果所有投资最终都能被收回，那么该状态是安全的，请求可以批准；

3.4.3 多个资源的银行家算法

上图中有五个进程，四个资源。左边的图表示已经分配的资源，右边的图表示还需要分配的资源。最右边的 E、P 以及 A 分别表示：总资源、已分配资源以及可用资源，注意这三个为向量，而不是具体数值，例如 A=(1020)，表示 4 个资源分别还剩下 1/0/2/0。

检查一个状态是否安全的算法如下：

1. 查找右边的矩阵是否存在一行小于等于向量 A。如果不存在这样的行，那么系统将会发生死锁，状态是不安全的；
2. 假若找到这样一行，将该进程标记为终止，并将其已分配资源加到 A 中；
3. 重复以上两步，直到所有进程都标记为终止，则状态是安全的；

如果一个状态不是安全的，需要拒绝进入这个状态。