问题描述:
假定系统中有4个进程P1、P2、P3、P4和3种类型的资源R1、R2、R3,数量分别为9、3、6,在t0时刻的资源分配情况如表所示。
试问:
(1)t0时刻是否安全?
(2)P2发出请求向量Request2(1,0,1),系统能否将资源分配给它?
(3)在P2申请资源后,若P1发出请求向量Request1(1,0,1),系统能否将资源分配给它?
(4)在P2申请资源后,若P3发出请求向量Request3(0,0,1),系统能否将资源分配给它?
答案:
(1)安全,因为存在一个安全序列:P2、P1、P3、P4。
(2)能,因为当分配给P2资源后,Available变为(0,1,1),P2(Need)变为(0,0,1),P2(Need)(0,0,1) <= Available(0,1,1),分配后,P2运行结束后,资源返回,Available变为(6,2,3),此时可以找到一个安全序列:P2、P1、P3、P4。
(3)不能,因为P2申请资源后,Available变为(0,1,1),Request1(1,0,1) > Available(0,1,1),无法分配。
(4)不能,因为当分配给P3资源后,Available变为(0,1,0),此时找不到一个安全序列。
解析:
(1)t0时刻,只能先分配给P2,因为只有P2(Need):(1,0,2)<= Available(1,1,2),P2运行结束后,资源返回,Available变为(6,2,3)。接下来可以分配给P1、P3、P4任意一个...,最后可以得到由P2开始任何一个安全序列。
(4)当P2申请资源后,又分配给P3资源后,Available变为(0,1,0),此时无法满足任何一个进程还需要的资源。
P1(Need):(2,2,2)> Available(0,1,0)
P2(Need):(0,0,1)> Available(0,1,0)
P3(Need):(1,0,2)> Available(0,1,0)
P4(Need):(4,2,0)> Available(0,1,0)