【操作系统】死锁相关知识点

不吃饭就会放大招

已于 2022-07-02 16:47:35 修改

阅读量5.6k

点赞数 11

分类专栏：秋招复习文章标签：操作系统 OS

于 2020-07-06 20:17:56 首次发布

本文链接：https://blog.csdn.net/qq_31347869/article/details/107158067

版权

秋招复习专栏收录该内容

15 篇文章 28 订阅

订阅专栏

文章目录

1. 死锁基本概念
2. 死锁的四个必要条件
3. 死锁处理方法
4. 其他相关

1. 死锁基本概念

多个并发进程中，如果每个进程持有某种资源而又等待其它进程释放其他资源，在未改变这种状态之前都不能向前推进，称这一组进程产生了死锁。通俗的讲就是 多个进程无限期相互等待 的一种状态。

2. 死锁的四个必要条件

死锁产生的 4 个条件（有一个条件不成立，则不会产生死锁）：

互斥：一个资源一次只能被一个进程使用
请求与保持：一个进程因请求资源而阻塞时，对已获得资源保持不放
非抢占：进程获得的资源，在未完全使用完之前，不能强行抢占
循环等待：若干进程之间形成一种头尾相接的环形等待资源关系

抢占资源和非抢占资源：

可抢占资源：可以从拥有它的进程中抢占而不产生副作用。
不可抢占资源：不引起相关的计算失败的情况下，无法把它从占有它的进程处抢占过来。

一般来说，可抢占资源不会引起死锁，可以在进程间重新分配资源而得到解决。

资源分配图（RAG）：用有向图描述系统资源和进程的状态。
在这里插入图片描述
进程 P1 已经分得了两个 R1 资源，并又请求一个 R2 资源；进程 P2 分得了一个 R1 和一个 R2 资源，并又请求一个 R1 资源。

死锁发生时，系统中一定有由两个或以上的进程组成的一条环路，该环路中的每个进程都在等待着下一个进程所占有的资源。用一个有向图来表示资源分配的情况。用圆形节点表示进程，方形表示资源。从 资源节点到进程节点的有向边表示该资源被请求、并被进程占用，从 进程到资源节点的有向边表示进程正在请求该资源，并且因为请求资源而导致进程被阻塞，处于等待该资源的状态。一旦在某个时候有向图中出现了 两个或两个以上进程组成的环路，就会导致死锁的发生。

死锁定理：如果资源分配图中没有环路，则系统中没有死锁，如果图中存在环路则系统中可能存在死锁；如果每个资源类中只包含一个资源实例，则环路是死锁存在的充分必要条件。
在这里插入图片描述

3. 死锁处理方法

死锁的四个处理方法：

鸵鸟策略：忽略掉死锁，视而不见
死锁检测与恢复：允许死锁发生，检测它们是否发生，一旦发生死锁，就采取行动解决问题
死锁避免：仔细对资源进行分配，动态地避免死锁，银行家算法是避免死锁的经典算法
死锁预防：破坏引起死锁的 4 个必要条件

3.1 鸵鸟策略

把头埋在沙子里，假装根本没发生问题。

因为解决死锁问题的代价很高，因此鸵鸟策略这种不采取任务措施的方案会获得更高的性能。

当发生死锁时不会对用户造成多大影响，或发生死锁的概率很低，就可以采用鸵鸟策略。

大多数操作系统，包括 Unix，Linux 和 Windows，处理死锁问题的办法仅仅是忽略它。

3.2 死锁检测与恢复

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

死锁检测：

每种类型一个资源的死锁检测：检测有向图中是否存在环。从一个节点出发进行深度优先搜索，对访问过的节点进行标记，如果访问了已经标记的节点，就表示有向图存在环，也就是检测到了死锁。
每种类型多个资源的死锁检测：每个进程最开始时都不被标记（未执行状态），执行过程有可能被标记。当算法结束时，任何没有被标记的进程都是死锁进程。

三个典型的检测时机：

当进程由于资源请求不满足而等待时检测死锁，缺点是系统开销大
定时检测
系统资源利用率下降时检测死锁

每种类型多个资源的死锁检测算法：

寻找一个没有标记的进程 Pi，要求它所请求的资源小于等于剩余资源量。
如果找到了这样一个进程，就将其占有的资源量加到剩余资源量中，并标记该进程，转回第 1 步。
如果没有找到这样一个进程，说明发生死锁。

死锁恢复：

抢占恢复（资源剥夺）：死锁发生的必要条件，其中一个就是不可抢占。如果允许抢占，那么就可以破坏死锁条件。
回滚恢复（进程回退）：周期性对进程进行检查点检查，一旦发现了死锁，就回滚到一个较早的检查点上。
杀死进程恢复（撤销进程）：杀死一个进程可以释放它占有的资源，如果仍然不行那么久继续杀死其他进程直到打破死锁。

3.3 死锁避免

在程序运行时避免发生死锁，包括两种方法：1）资源轨迹图，2）银行家算法。

1. 资源轨迹图

如果知道了进程在各个阶段需要哪些资源，那么可以在图中进程标注。两个进程的交叠区域就是一个会造成死锁的区域。进程在图中只能向右或者向上前进，一旦进入了危险区，那么就可能发生死锁。为了避免死锁，应当在合适的时间阻塞某个进程，使得运行避开这个区域。

2. 银行家算法

银行家算法的主要思想是避免系统进入不安全状态。在每次进行资源分配时，它首先检查系统是否有足够的资源满足要求，如果有，则先进行分配，并对分配后的新状态进行安全性检查。如果新状态安全，则正式分配上述资源，否则就拒绝分配上述资源。这样，它保证系统始终处于安全状态，从而避免死锁现象的发生。

安全状态

如果没有死锁发生，并且即使所有进程突然请求对资源的最大需求，也仍然存在某种调度次序能够使得每一个进程运行完毕，则称该状态是安全的（安全状态一定没有死锁发生）。
在这里插入图片描述
安全状态与不安全状态的区别是，从安全状态出发，系统能够保证所有的进程都能完成；而从不安全状态出发，没有这样的保证。

单个资源的银行家算法

一个小城镇的银行家，他向一群客户分别承诺了一定的贷款额度，算法要做的是对每一个请求进行检查，检查如果满足了这一需求是否会达到安全状态。如果能，那么满足该需求；如果不能，就推迟对这一请求的满足。

银行家算法可以推广到多个资源的情况，此时可以写成矩阵的形式，每次判断一行是否满足，即一个进程的多个资源都进行检查。

多个资源的银行家算法

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

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

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

实际上，死锁避免是非常困难的，无论是资源轨迹图还是银行家算法，都需要事先知道进程运行的过程中需要的最大资源数，这几乎是不可能实现的。

3.4 死锁预防

死锁预防就是在程序运行之前预防发生死锁，即破坏发生死锁的 4 个必要条件。死锁避免可以认为是在程序执行中动态地避免死锁发生，而死锁预防可以说是静态的方式，杜绝死锁发生的可能性。

1. 破坏互斥条件：尽量使得资源不被某个进程独占。

但有些资源不能同时访问，如打印机等临界资源只能互斥使用。所以在某些场合应该保护这种互斥性。

2. 破坏占有和等待条件：禁止已经持有资源的进程再等待其他资源。一种方式是，在进程开始执行前请求所需的全部资源（预先静态分配的方法），如果不能满足，那么就不分配资源，进行等待。这种方式的问题在于，类似银行家算法，事先不知道需要多少资源，而且资源利用率不高。另一种方式就是，当一个进程请求资源时，先暂时释放其当前所占用的所有资源，然后再尝试一次获取所需的全部资源。

这种方式实现简单，但缺点也显而易见，系统资源被严重浪费，其中有些资源可能仅在运行初期或运行快结束时才使用，甚至根本不使用。而且还会导致“饥饿”现象，当由于个别资源长期被其他进程占用时，将致使等待该资源的进程迟迟不能开始运行。

3. 破坏不可抢占条件：允许资源抢占即可。当然，有的时候资源应当是不可抢占的。

该策略释放已获得的资源可能造成前一阶段工作的失效，反复地申请和释放资源会增加系统开销，降低系统吞吐量。这种方法常用于状态易于保存和恢复的资源，如 CPU 的寄存器及内存资源，一般不能用于打印机之类的资源。

4. 破坏环路等待：一种方法是对资源进行编号，进程在任何时候都可以请求资源，但是所有的请求必须按照资源编号的顺序（升序）提出。

这种方法存在的问题是，编号必须相对稳定，这就限制了新类型设备的增加；尽管在为资源编号时已考虑到大多数作业实际使用这些资源的顺序，但也经常会发生作业使甩资源的顺序与系统规定顺序不同的情况，造成资源的浪费；此外，这种按规定次序申请资源的方法，也必然会给用户的编程带来麻烦。

3.5 死锁处理策略比较

资源分配策略	模式	优点	缺点
死锁检测	宽松，只要允许就分配资源	定期检查死锁是否已经发生	不延长进程初始化时间，允许对死锁进行现场处理
死锁避免	是”预防“和”检测“ 的折中（在运行时判断是否可能死锁）	寻找可能的安全允许顺序	不必进行剥夺
死锁预防	保守，宁可资源闲置	一次请求所有资源，资源剥夺，资源按序分配	适用于做突发式处理的进程，不必进行剥夺