银行家算法安全状态检查及安全序列

假设系统T0情况的进程和资源情况如下图所示，若已知A，B，C三种资源的总数量为(17, 5, 20)，试将下表补充完整。

进程 已分配资源数量 最大资源需求量 仍然需求资源数 A B C A B C A B C P1 2 1 2 5 5 9 3 3 5 P2 4 0 2 5 3 6 1 3 4 P3 4 0 5 4 0 11 0 0 6 P4 2 0 4 4 2 5 2 2 1 P5 3 1 4 4 2 4 1 0 0

系统在T0时刻是否安全？如果安全，则安全系列是？

首先计算出当前可用资源量为(9, 4, 10)。

接下来进行安全性检查，按照银行家算法，从当前可用资源量和仍需要的资源量中找到一个能满足的进程，将其加入安全序列中，同时释放其已分配的资源，再重新计算可用资源量。直到所有进程都被加入安全序列中，或无法找到能满足的进程为止。

按照上述方法进行计算，得到安全序列为：P2-P5-P1-P4-P3。因此系统在T0时刻是安全的。

进程 已分配资源数量 最大资源需求量 仍然需求资源数 A B C A B C A B C P1 2 1 2 5 5 9 3 3 5 P2 4 0 2 5 3 6 1 3 4 P3 4 0 5 4 0 11 0 0 6 P4 2 0 4 4 2 5 2 2 1 P5 3 1 4 4 2 4 1 0 0