资源分配与安全性分析：五个进程在两个时间点求处理.pdfVIP

5个进程P0到P4；

3种资源类型：A（10个实例），B（5个实例）和C（7个实例）

时间T0的快照：

0

问题1：证明系统处于安全状态，因为序列P1,P3,P4,P2,P满足安全。

问题2：P1请求(1,0,2)是否可以被批准？证明序列P1,P3,P4,P0,P2满足安全要求。

时间T1的快照：

问题3：P4请求(3,3,0)可以被批准吗？问题4：

P0请求(0,2,0)可以被批准吗？

5processesP0toP4;

3resourcetypes:A(10instances),B(5instances),andC(7instances)

SnapshotattimeT0:

Question1:showthatthesystemisinasafestatesincethesequenceP1,P3,P4,P2,P0

satisfiessafetycriteria.

Question2:Canrequestfor(1,0,2)byP1begranted?Sho