怎么避免死锁?

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

在进行系统资源分配之前,先计算此次资源分配的安全性。若此次分配不会导致系统进入不安全状态,则将资源分配给进程; 否则,让进程等待。

所谓安全状态是指系统能按某种进程推进顺序(P1,P2,P3,…Pn)为每个进程Pi分配其所需资源,直至满足每个进程对资源的最大需求,使每个进程都顺利地完成。此时称(P1,P2,…,Pn)为安全序列。

2、银行家算法

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

2、分批次向银行提款,但是贷款额度不能超过一开始最大需求量的总额

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

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

银行家算法
条件:
固定数量的进程,固定数量的资源
进程预先指定工作所需最大资源
进程不能申请比总资源还多的资源
进程等待时间有限
进程在有限时间使用资源,用完归还

符号:
Available 一个含有m个元素的数组,系统每一类资源可用资源数
Max 这是一个nm的矩阵,系统中n个进程各自对m类资源中每一类的最大需求
Allocation 这是一个n
m的矩阵,系统中n个进程已分配到m类资源中每一类的数量
Need 这也是一个n*m的矩阵,每一个进程尚需的各类资源数;

步骤:
(1)Request[j] <= need[i,j];如果满足,便转向步骤(2);否则认为出错;
(2)Request[j] <= Available[j];如果满足,便转向步骤(3);否则表示尚无足够资源,该进程需要等待;
(3) 如果满足上述两个条件,则分配资源,调整状态
Available[j] = Available[j] - Request[j]
Allocation[i,j] = Allocation[i,j] + Request[j]
Need[i,j] = Need[i,j] - Request[j]
(4)系统执行安全性算法,
判断新状态是否有效,无效则退回,进程等待
1.初始化:Work = Available, finished = false
2.从进程集合中找到一个能满足下述条件的进程:
Finish[i] = false 和 Need[i,j] <= Work[j]
若找到,执行步骤(3), 否则,执行步骤(4)
3.当进程P获得资源后,可顺利执行,直至完成,并释放出分配给它的资源,故应执行:
Work[j] = Word[j] + Allocation[i,j];
Finish[i] = true;
go to step 2;
4.如果所有进程的Finish[i] = true都满足,则表示系统处于安全状态;否则,系统处于不安全状态;
三、死锁的检测

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

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状态的资源分配图是不可完全简化的时候,系统状态则是死锁状态

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值