银行家算法安全性算法

银行家算法是一种避免死锁的著名算法，由Dijkstra在1965年为T.H.E系统设计的一种避免死锁产生的算法。该算法用于银行系统现金贷款的发放而得名。银行家算法的安全性算法过程描述如下：
1. 设置两个向量：工作向量Work和Finish向量。
2. 在执行安全算法开始时，Work向量表示系统可提供给进程继续运行所需的各类资源数目，它含有m个元素，Work=Available。
3. Finish向量表示系统是否有足够的资源分配给进程，使之运行完成。开始时先做Finish[i]=false。
4. 当有足够资源分配给进程时，再令Finish[i]=true。
5. 对于每个进程P[i]，判断Finish[i]是否为false，若为false，则判断Need[i]与Work向量的关系，若Need[i]<=Work，则说明系统有足够的资源分配给进程P[i]，将P[i]加入到安全序列中，并将Work向量加上P[i]所需的资源数目，即Work=Work+Allocation[i]。
6. 重复步骤5，直到所有进程都加入到安全序列中或者没有进程可以加入到安全序列中。