银行家算法

银行家算法

银行家算法中的数据结构

假设系统中有n个进程，m种资源：

• 矩阵Max（n×m）：最大需求矩阵，Max[i, j]=K表示进程Pi最多需要K个资源Rj；
• 矩阵Allocation（n×m）：表示对所有进程的资源分配情况；
• 矩阵Need（n×m）：表示各进程最多还需要多少各类资源；
  其中以上三种矩阵满足如下关系：
  Max - Allocation =Need
• 矩阵Avilable（长度为m的一维矩阵）：表示当前系统中还有多少可用资源。

银行家算法

此处Request的下角标i不知道怎么处理，用[i]代替
某进程Pi向系统申请资源，可用一个长度为m的一维数组Request[i]表示本次申请的各种资源量。
可用银行家算法预判本次分配是否会导致系统进入不安全状态：
（1）如果Requet[i][j]<=Need[i, i] (0<=j<=m)便转向（2），否则认为出错。（出错是因为所需要的资源已经超过它所宣布的最大值）；
（2）如果Request[i][j]<=Available[j] (0<=j<=m),便转向（3），否则表示尚无足够资源，Pi必须等待。
（3）