银行家算法的实现代码

设Request[i]是进程Pro[i]的请求向量，如果Request[i][j]=K，表示进程Pro[i]需要K个R[j]类型的资源。当Pro[i]发出资源请求后，系统按下述步骤进行检查：如果Requesti[j]≤Need[i][j]，便转向步骤2；否则认为出错，因为它所需要的资源数已超过它所宣布最大值。1）如果Requesti［j］≤Available［j］，便转向步骤(3)；否则，表示尚无足够资源，Pro[i]须等待。2）系统试探着把资源分配给进程Pro[i]，并修改下面数据结构中的数值：Available［j］∶=Available［j］-Requesti［j］;Allocation［i,j］∶=Allocation[i][j]+R