银行家算法之安全性算法

1. 安全性算法过程描述

（1） 设置两个向量：① 工作向量Work：它表示系统可提供给进程继续运行所需的各类资源数量的多少，它含有m个元素，在执行安全算法开始时，Work = Available；② Finish：它表示系统是否有足够的资源分配给进程，使之运行完成。开始时先做Finish［i］= false；当有足够资源分配给进程时， 再令Finish［i］= true。

（2） 从进程集合中找到一个能满足下述条件的进程：
① Finish［i］= false； ② Need［i,j］≤ Work［j］；
如果找到，那么，执行步骤（3）；否则，执行步骤（4）。

（3） 当进程Pi获得资源后，可顺利执行，直至完成，并释放出分配给它的资源，故应执行：

 Work［j］= Work［i］+Allocation［i,j］; 
 Finish［i］= true;
 go to step 2; 

（4） 如果所有进程的Finish［i］= true都满足， 则表示系统处于安全状态；否则，系统处于不安全状态。

2. 流程图