死锁相关_死锁对搜索算法的影响-CSDN博客

本文链接：https://blog.csdn.net/qq_38216239/article/details/79919047

死锁：在一系列进程中，每一个进程都因为等待另一个进程所引发的事件而产生阻塞，这种现象称为死锁。

（资源）死锁产生的必要条件：
（1）互斥条件
某资源只能被一个进程使用，其他进程请求该资源时，只能等待，直到资源使用完毕后释放资源。
（2）占有和等待条件
程序已经占有了至少一个资源，但是又提出了新要求，而这个资源被其他进程占用，自己占有资源却保持不放，一直等待。
（3）不可抢占条件
进程已获得的资源没有使用完，不能被抢占。
（4）环路等待条件
必然有两个及两个以上进程形成一个环路，环路中每个进程都在等待下一个进程所占有的资源。

死锁检测：
（一）每种类型一个资源的死锁检测：
这里写图片描述

上图为资源分配图，其中方框表示资源，圆圈表示进程。资源指向进程表示该资源已经分配给该进程，进程指向资源表示进程请求获取该资源。
每种类型一个资源的死锁检测算法是通过检测有向图是否存在环来实现，从一个节点出发进行深度优先搜索，对访问过的节点进行标记，如果访问了已经标记的节点，就表示有向图存在环，也就是检测到死锁的发生。

（二）每种类型多个资源的死锁检测：
这里写图片描述

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

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

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

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

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

死锁恢复：

利用抢占恢复，不通知原进程，强行抢走其资源给另一进程使用。
利用回滚恢复，将某进程复位到未取得资源状态，并将资源分配给死锁进程。
通过杀死进程恢复。

死锁避免：
（一）安全状态：如果没有死锁发生，并且即使所有进程突然请求对资源的最大需求，也仍然存在某种调度次序能够使得每一个进程运行完毕，则称该状态是安全的。
这里写图片描述
图 a 的第二列 Has 表示已拥有的资源数，第三列 Max 表示总共需要的资源数，Free 表示还有可以使用的资源数。从图 a 开始出发，先让 B 拥有所需的所有资源（图 b），运行结束后释放 B，此时 Free 变为 5（图 c）；接着以同样的方式运行 C 和 A，使得所有进程都能成功运行，因此可以称图 a 所示的状态时安全的。

（二）单个资源的银行家算法：
一个小城镇的银行家，他向一群客户分别承诺了一定的贷款额度，算法要做的是判断对请求的满足是否会进入不安全状态，如果是，就拒绝请求；否则予以分配。
这里写图片描述
上图 c 为不安全状态，因此算法会拒绝之前的请求，从而避免进入图 c 中的状态。

（三）多个资源的银行家算法：
这里写图片描述

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

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

查找右边的矩阵是否存在一行小于等于向量 A。如果不存在这样的行，那么系统将会发生死锁，状态是不安全的。
假若找到这样一行，将该进程标记为终止，并将其已分配资源加到 A 中。
重复以上两步，直到所有进程都标记为终止，则状态时安全的。
如果一个状态不是安全的，也需要拒绝进入这个状态。
事实上很少有进程能够在运行前就知道其所需最大资源，而且进程数一般也不固定，所以该算法缺少实用价值。

死锁预防：
（一）破坏互斥条件：
假脱机打印机技术允许若干个进程同时输出，唯一真正请求物理打印机的进程是打印机守护进程。避免分配不是绝对必要的资源，让尽可能少的进程可以真正请求资源。

（二）破坏占有和等待条件：