死锁

1.概念： 多个并发进程因争夺（互斥）资源而产生相互等待的现象。

2.产生死锁的本质原因：1）资源有限；2）进程推进顺序不合理。

3.产生死锁的必要条件：

1）资源互斥。

2）资源占有并等待，指一个进程必须占有至少一个资源，同时又等待另一资源，而该资源已被其它进程占有。

3）不能抢占资源。

4）循环等待。存在等待进程集合{P0，P1，P2，···，Pn}，其中的P0正在等待一个P1占用的资源；P1正在等待P2占用的资源，……，Pn正在等待已被P0占用的资源。（包含条件2）

4.问题建模：资源分配图

有向图；顶点（进程顶点，资源顶点）；用圆型表示进程顶点，方形表示资源顶点，小黑点表示各类资源的实例；边（进程顶点到资源顶点，申请边；资源顶点到进程顶点，分配边）；

总结：如果资源分配图中没有环，那系统就不会处于死锁。若有环，可能处于死锁状态（当每个资源有多个实例）。图中的环是死锁存在的必要条件而非充分条件。

5.死锁处理的方法

1.鸵鸟策略

认为死锁在系统中是不会发生的，忽略死锁的产生。

2.死锁预防

通过设置某些限制资源申请的条件，去破坏产生死锁的四个必要条件中的一个或者几个，来预防发生死锁。

1）通常不能通过否定互斥条件来预防死锁。

2）破坏占有并等待：一是可以协议每个进程在执行前申请并获得所有资源；二是可以协议进程只有在没有资源的前提下才能申请资源。两种方式的缺点：资源利用率低，可能发生饥饿。

3）碰坏非抢占：规定一个进程占有资源并申请另一个不能立即分配的资源时，其占有的资源可被抢占。

4）破坏循环等待：对所有类型的资源进行排序，并规定每个进程按照递增的顺序的申请资源。

3.死锁避免

通过动态的资源分配状态以及合理的资源分配算法以确保循环等待的条件不会成立，从而避免死锁。

安全状态：针对当前状态，即下面四个条件，如果能够按照某个次序调度资源使得每个进程都能够运行完毕，则称此状态是安全状态。

四个条件：现有各类资源的数目，已分配的资源数目，可用的各类资源数，每个进程对各类资源的最大需求数。

银行家算法（下面第二种检测算法的变种）：需要事先知道每个进程在运行前所需资源的最大值。

针对每一个请求进行检查，观察如果满足这一请求是否能够达到安全状态，若能达到，则满足此请求；否则就不满足。

4.死锁检测

1）每种资源有单个实例

检测方法：采用资源等待图，若其中有环存在，则系统存在死锁。

等待图：资源分配图的变种。

2）每种资源有多个实例

采用一种基于矩阵的算法，有四个条件，一是现有总资源向量E，可用资源向量A，当前资源分配矩阵C，进程未来的资源请求矩阵R。

此算法分三步：

一，寻找一个进程，满足R《A。

二，若存在这样的进程，先标记其，认为其可运行完毕。然后A=A+C（此进程所分配的资源）。

三，上述两步要不断进行，直到若不存在这样的进程，或者所用进程都被标记，则算法结束。

算法结束，若存在没有被标记的进程，则系统中存在死锁。

总结：死锁检测的时机：一是每当有资源申请时就检测。二是可以每隔一段时间检测一次。三是当CPU的利用率降到某一阈值时去检测。

5.死锁恢复（回收资源）

一是终止进程，包括终止环中的进程（即死锁进程）和终止环外进程（牺牲品）（目的是释放资源）。

二是抢占资源，被抢占资源的进程要利用回滚恢复，一般回滚到一个安全状态。通常是完全回滚，即终止进程并重启进程。