银行家算法演示.docVIP

银行家算法演示： T0时刻的资源分配表 claim:最大资源需求矩阵；Allocation：已分配资源矩阵claim- Allocation：需求资源矩阵 Available：系统中现有资源向量；currentavail：工作底稿 资源情况 进程 claim Allocation claim- Allocation Available A B C A B C A B C A B C P0 7 5 3 0 1 0 7 4 3 3 3 2 P1 3 2 2 2 0 0 1 2 2 P2 9 0 2 3 0 2 6 0 0 P3 2 2 2 2 1 1 0 1 1 P4 4 3 3 0 0 2 4 3 1 资源情况 进程 currentavail claim- Allocation Allocation Work＋Allocation Finish A B C A B C A B C A B C 安全序列{ } 2. P2发出的请求向量为Request1（1,0,2），按银行家算法检查： （1）Request1（1,0,2）≤Need1（1,2,2） （2）Request1（1,0,2）≤Available（3,3,2） （3）所以暂时先假定系统可为P0分配资源，修改资源分配情况如下表： 资源情况 进程 Max Allocation claim Available A B C A B C A B C A B C P0 P1 P2 P3 P4 （4）进入安全检查： 资源情况 进程 Work claim Allocation Work＋Allocation Finish A B C A B C A B C A B C 3. P4发出的请求向量为Request4（3,3,0），按银行家算法检查： （1）Request4（3，3，0）≤Need4（） （2）Request4（3，3，0）≤Available（） （3）所以暂时先假定系统可为P0分配资源，修改资源分配情况如下表： （4）进入安全检查： 4. P0发出的请求向量为Request0（0,2,0），按银行家算法检查： （1）Request0（0,2,0）≤Need0（7,4,3） （2）Request0（0,2,0）≤Available（2,3,0） （3）所以暂时先假定系统可为P0分配资源，修改资源分配情况如下表： 资源情况 进程 Max Allocation Need Available A B C A B C A B C A B C P0 7 5 3 0 3 0 7 2 3 2 1 0 P1 3 2 2 3 0 2 0 2 0 P2 9 0 2 3 0 2 6 0 0 P3 3 2 2 2 1 1 0 1 1 P4 4 3 3 0 0 2 4 3 1 （4）进入安全检查： 资源情况 进程 Work claim Allocation Work＋Allocation Finish A B C A B C A B C A B C 存在一个安全序列{P0，P1，P3，P4，P2 }，系统是安全的，系统可以将资源分配给P0 。