比特博文|死锁的产生防止避免检测和解除

Posted 西安比特教育

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了比特博文|死锁的产生防止避免检测和解除相关的知识,希望对你有一定的参考价值。


比特科技
比特博文|死锁的产生、防止、避免、检测和解除   比特博文|死锁的产生、防止、避免、检测和解除


ps:作者比较认真,已经帮我们用★标注出重难点啦


1
比特博文|死锁的产生、防止、避免、检测和解除
死锁的产生条件



想知道死锁怎么产生,首先要了解什么是死锁呢


死锁的定义:


多个进行相互等待对方资源,在得到所有资源继续运行之前,都不会释放自己已有的资源,这样造成了循环等待的现象,称为死锁。


★产生死锁的四大必要条件:


①资源互斥/资源不共享


每个资源要么已经分配给了一个进程,要么是可用的,只有这两种状态,资源不可以被共享使用,所以所谓的互斥是指:资源不共享,如果被使用,只能被一个进程使用。


②占有和等待/请求并保持


已经得到资源的进程还能继续请求新的资源,所以个人觉得叫占有并请求也许更好理解。


③资源不可剥夺


当一个资源分配给了一个进程后,其它需要该资源的进程不能强制性获得该资源,除非该资源的当前占有者显示地释放该资源。


④环路等待


死锁发生时,系统中一定有由两个或两个以上的进程组成的一条环路,环路上的每个进程都在等待下一个进程所占有的资源。


举个例子▼


小明有键盘,小白有鼠标,小明要用电脑打游戏,小白要用电脑做PPT,小明没有鼠标没法打游戏,小白没有键盘没法做PPT,小明等小白把鼠标给自己,小白也等小明把键盘给自己,但是小明不愿意把键盘给小白,小白也不愿意把鼠标给小明,小明和小白也不能互相抢键盘和鼠标,他俩之间就形成了死锁。

 

比特博文|死锁的产生、防止、避免、检测和解除


2
比特博文|死锁的产生、防止、避免、检测和解除
防止死锁的方法



博主前言

①防止死锁的发生只需破坏死锁产生的四个必要条件之一即可。 
②下面的方法开销非常之大,目前没有一个操作系统可以实现。
③因此,目前使用的方法是避免死锁,而不是防止死锁。
④这部分的内容大致浏览简单了解一遍即可,只要能在某些选择题中判断出选项对应的是下面四个方法中的哪个就可以了。



1、破坏互斥条件

方法:

     如果允许系统资源都能共享使用,则系统不会进入死锁状态。

缺点:

     有些资源根本不能同时访问,如打印机等临界资源只能互斥使用。所以,破坏互斥条件而预防死锁的方法不太可行,而且在有的场合应该保护这种互斥性。


2、破坏请求并保持条件

方法

     釆用预先静态分配方法,即进程在运行前一次申请完它所需要的全部资源,在它的资源未满足前,不把它投入运行。一旦投入运行后,这些资源就一直归它所有,也不再提出其他资源请求,这样就可以保证系统不会发生死锁。

缺点:

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


3、破坏不可剥夺条件

方法

     当一个已保持了某些不可剥夺资源的进程,请求新的资源而得不到满足时,它必须释放已经保持的所有资源,待以后需要时再重新申请。这意味着,一个进程已占有的资源会被暂时释放,或者说是被剥夺了,或从而破坏了不可剥夺条件。

缺点:

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


4、破坏循环等待条件

方法

     为了破坏循环等待条件,可釆用顺序资源分配法。首先给系统中的资源编号,规定每个进程,必须按编号递增的顺序请求资源,同类资源一次申请完。也就是说,只要进程提出申请分配资源Ri,则该进程在以后的资源申请中,只能申请编号大于Ri的资源。

缺点:

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


3
比特博文|死锁的产生、防止、避免、检测和解除
★避免死锁的算法


1、判断“系统安全状态”法


在进行系统资源分配之前,先计算此次资源分配的安全性。若此次分配不会导致系统进入不安全状态,则将资源分配给进程; 否则,让进程等待。 
(有关系统安全状态详见作者的另一篇博客: Linux:死锁避免之系统安全状态)


2、银行家算法


1、申请的贷款额度不能超过银行现有的资金总额

2、分批次向银行提款,但是贷款额度不能超过一开始摄宁德总额

3、暂时不能满足客户申请的资金额度时,在有限时间内给予贷款

4、客户要在规定的时间内还款


4
比特博文|死锁的产生、防止、避免、检测和解除
★死锁的检测


(该部分讲述如何判断是否产生死锁)

1、画出资源分配图

系统死锁,可利用资源分配图来描述。如下图所示,用长方形代表一个进程,用框代表一类资源。由于一种类型的资源可能有多个,用框中的一个点代表一类资源中的一个资源。从进程到资源的有向边叫请求边,表示该进程申请一个单位的该类资源;从资源到进程的边叫分配边,表示该类资源已经有一个资源被分配给了该进程。


比特博文|死锁的产生、防止、避免、检测和解除


2、简化资源分配图

第一步:先看A资源,它有三个箭头是向外的,因此它一共给进程分配了3个资源,此时,A没有空闲的资源剩余。

 

第二步:再看B资源,它有一个箭头是向外的,因此它一共给进程分配了1个资源,此时,B还剩余一个空闲的资源没分配。 


第三步:看完资源,再来看进程,先看进程P2,它只申请一个A资源,但此时A资源已经用光了,所以,进程P2进入阻塞状态,因此,进程P2暂时不能化成孤立的点。 


第四步:再看进程P1,它只申请一个B资源,此时,系统还剩余一个B资源没分配,因此,可以满足P1的申请。这样,进程P1便得到了它的全部所需资源,所以它不会进入阻塞状态,可以一直运行,等它运行完后,我们再把它的所有的资源释放。相当于:可以把P1的所有的边去掉,变成一个孤立的点,如下图所示:


比特博文|死锁的产生、防止、避免、检测和解除

第五步:进程P1运行完后,释放其所占有的资源(2个A资源和1个B资源),系统回收这些资源后,空闲的资源便变成2个A资源和1个B资源,由于进程P2一直在申请一个A资源,所以此时,系统能满足它的申请。这样,进程P2便得到了它的全部所需资源,所以它不会进入阻塞状态,可以一直运行,等它运行完后,我们再把它的所有的资源释放。相当于:可以把P2的所有的边都去掉,化成一个孤立的点,变成下图: 

比特博文|死锁的产生、防止、避免、检测和解除

(若能消去图中所有的边,则称该图是可完全简化的,如上图


3、使用死锁定理判断

死锁定理: 
①如果资源分配图中没有环路,则系统没有死锁; 
②如果资源分配图中出现了环路,则系统可能有死锁。 
或者说: 
当且仅当S状态的资源分配图是不可完全简化的时候,系统状态则是死锁状态

5
比特博文|死锁的产生、防止、避免、检测和解除
死锁的解除

1、资源剥夺法

挂起某些死锁进程,并抢占它的资源,将这些资源分配给其他的死锁进程。但应防止被挂起的进程长时间得不到资源,而处于资源匮乏的状态。

2、撤销进程法

强制撤销部分、甚至全部死锁进程并剥夺这些进程的资源。撤销的原则可以按进程优先级和撤销进程代价的高低进行。

3、进程回退法

让一(多)个进程回退到足以回避死锁的地步,进程回退时自愿释放资源而不是被剥夺。要求系统保持进程的历史信息,设置还原点。

小编我看完这篇文章

觉得作者非常认真

也很用心

绝对大佬一枚

比特博文|死锁的产生、防止、避免、检测和解除

当然

想看小哥哥更多关于知识点总结的博客

也可以关注他呦

戳“阅读原文”即可看到大佬的博客

End


编辑:啊琛琛

导师微信 15596668826

导师QQ 2799935869


导师Tel / 15249287076

以上是关于比特博文|死锁的产生防止避免检测和解除的主要内容,如果未能解决你的问题,请参考以下文章

死锁的处理策略—预防死锁避免死锁检测和解除死锁

死锁的处理策略—预防死锁避免死锁检测和解除死锁

死锁的处理策略—预防死锁避免死锁检测和解除死锁

操作系统王道考研 p28-31 死锁的概念死锁的处理决策:预防避免检测和解除死锁

操作系统笔记五 进程管理死锁

:进程管理 -- 死锁的概念死锁饥饿死循环的区别死锁的处理策略(预防 / 避免死锁 / 死锁的检测和解除)SPOOLing技术银行家算法