银行家算法

银行家算法思想：为实现银行家算法，每个新进程在进入系统时，它必须申明在运行过程中，可能需要每种资源类型的最大单元数目，其数目不应超过系统所拥有的资源总量。当进程请求一组资源时，系统必须首先确定是否有足够的资源分配给该进程。若有，再进一步计算在将这些资源分配给进程后，是否会使系统处于不安全状态。如果不会，才将资源分配给它，否则让进程等待。

1.银行家算法中的数据结构

1）可利用资源向量Available

Available[j]=k表示系统中现有类资源k个。

2）最大需求矩阵Max

Max[i,j]=k表示进程i需要类资源的最大数目为k。

3）分配矩阵Allocation

Allocation[i,j]=k表示进程i当前已分得类资源的数目为k。

4）需求矩阵Need

Need[i,j]=k表示进程i还需要类资源k个方能完成其任务。

上述三个矩阵之间的关系：Need[i,j]=Max[i,j]-Allocation[i,j]

2.银行家算法

设是进程的请求向量，如果，表示进程需要k个类型的资源。

（1）如果，便转向（2），否则出错，即它所需资源数已超过所宣布的最大值。

（2）如果，便转向（3），否则，表示尚无足够资源，须等待。

（3）系统尝试把资源分配给进程，并修改下面数值：

（4）系统执行安全性算法，检查此次资源分配后系统是否处于安全状态。若处于安全状态则分配，否则作废。

3.银行家算法例题