3.4 产生死锁的原因和必要条件
1、死锁(Deadlock):指多个进程在运行过程中,因争夺资源而造成的一种僵局。当进程处于这种状态时,若无外力作用,它们都将无法再向前推进。
2、请求推进的次序与对非剥夺性资源的争用都是造成死锁的原因。
3、产生死锁的原因可归结为如下两点:
1)竞争资源。
2)进程间推进顺序非法。
4、产生死锁的必要条件
①互斥条件:进程对所分配到的资源进行排他性使用
②请求和保持条件:进程已经保持了至少一个资源,又提出新的资源请求,而新请求资源被其他进程占有只能造成自身进程阻塞,但对自己已获得的其他资源保持不放,必然影响其他进程。
③不剥夺条件:进程已获得的资源未使用完之前不能被剥夺,只能在使用完时由自己释放。
④环路等待条件
注:四个条件缺一不可!!!
5、处理死锁的基本方法
事先预防:
1)预防死锁
2)避免死锁
事后处理:
3)检测死锁
4)解除死锁
3.5预防死锁的方法
预防死锁:
1、摒弃“请求和保持”条件
2、摒弃“不剥夺”条件
3、摒弃“环路等待”条件:有序设置资源
避免死锁:
采用避免死锁的方法则是只施加较弱限制条件,从而获得令人满意的系统性能。
银行家算法:
1、过程:就是对各进程的Request向量及资源数量进行一系列判断及值操作。
进程Pi发出资源请求后,系统按下述步骤进行检查:
首先是两个基本判断:
(1)IF
Requesti[j]<= Need[i,j]
THEN转向步骤2;
ELSE 认为出错,所需资源数超过宣布的最大值(自我矛盾)
(2)IF
Requesti[j]<= Available[j]
THEN转向步骤3;
ELSE 表示尚无足够资源,Pi需等待(现实不满足)
3.6死锁的检测与解除
1、检测时机:
Ø当进程等待时检测死锁
Ø定时检测
Ø系统资源利用率下降时检测死锁
2、检测算法:
每个进程和资源指定唯一编号
* 设置一张资源分配表
记录各进程与其占用资源之间的关系
* 设置一张进程等待表
记录各进程与要申请资源之间的关系
3、死锁解除:
1)剥夺资源
2)撤销进程
4、

网友评论