银行家算法安全状态分析：进程资源分配案例

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

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

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

解答:

首先计算出每个进程仍然需要的资源数：

| 进程 | 已分配资源数量 | 最大资源需求量 | 仍然需求资源数 | |---|---|---|---| | | A | B | C | A | B | C | A | B | C | | P1 | 2 | 1 | 2 | 5 | 5 | 9 | 3 | 4 | 7 | | 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 | 1 | 0 |

然后计算出可用资源数量：(17-2-4-4-2-3=2, 5-1-2-0-1=1, 20-2-2-5-4-4=3)

可用资源数量：2 1 3

接下来进行银行家算法：

安全序列：P2 -> P5 -> P1 -> P3 -> P4