在银行家算法中,若出现下列的资源分配情况:试问:ProcessAllocationNeedAvailableP00 0 3 20 0 1 21 6 2 2P11 0 0 01 7 5 0P21 3 5 42 3 5 6P30 3 3 20 6 5 2P40 0 1 40 6 5 6(1)该状态是否安全?(2)若进程P2提出请求Request(1,2,2,2)后,系统能否将资源分配给它?

答:这是5个进程,对4种资源的分配。Allocation是各进程已获得的资源,Need是尚缺的资源,Available是系统剩余的资源。

(1) 该状态是否安全?

进行安全性检查:

在该时刻存在着一个安全序列{P0,P3,P4,P1,P2},所以该状态安全。

(2) 若进程P2提出请求Request(1,2,2,2)后,首先要运行银行家算法的第一部分,进行预分配(模拟分配)。

①Request2(1,2,2,2)≤Need2(2,3,5,6),该条件满足,请求合法。

②Request2(1,2,2,2)≤Available (1,6,2,2),该条件满足。

③系统暂先假设可为P2分配资源,并修改相关数据,预分配后系统状态如下:

④然后运行银行家算法的第二部分,找安全序列。很显然,Available(0,4,0,0)不能满足任何一个进程的Need,不存在安全状态。所以,P2提出的请求Request(1,2,2,2)现在不能分配。