3-6 避免死锁

安全状态:是指系统能按某种进程推进顺序(P1,P2,P3...,Pn)为每个进程Pi分配其所需资源,直至满足每个进程对资源的最大需求。

不安全状态：如果系统无法找到这样一个安全序列，则称系统处于不安全状态。

1.利用银行家算法避免死锁：

假定系统中有五个进程{P0,P1,P2,P3,P4}和三类资源{A,B,C}，各种资源的数量分别为10、5、7。

系统中T0时刻的资源分配情况

T0时刻的安全性：用安全性算法对T0时刻的资源分配情况进行分析，存在着一个安全序列{P1,P3,P4,P2,P0}，故系统是安全的

P1发出资源请求向量Request1(1,0,2)，系统按银行家算法检查:

（1）Request1(1,0,2)<=Need1(1,2,2)

（2）Request1(1,0,2)<=Available1(3,3,2)

（3）系统先假定可为P1分配资源，并修改向量Available，Allocation1，Need1

（4）再利用安全性算法检查此时系统是否安全。如下表:

由安全性检查得知，能找到一个安全序列{P1,P3,P4,P0，P2}，因此，系统是安全的，可以立即将P1所申请的资源分配给它。

 

例题：若系统运行中出现如下表所示的资源分配情况，该系统是否安全？若是，给出安全序列；如果进程P2此时提出资源申请（1，3，2，2），系统能否将资源分配给它？为什么？

可用资源Available（0，3，0，0）已不能满足任何进程的需要，此时不分配资源。