避免死锁的银行家算法

为了实现银行家算法
继续实现四种数据结构
可利用资源向量:Available 每一个元素表示一类可以使用的资源
最大需求矩阵:Max 定义了n个进程中每个进程对m类资源最大需求
可分配矩阵:Allocation 定义了系统中每一类资源已经分配给每一进程的资源数
需求矩阵:Need 表示每一个进程所需要的资源数
Need=Max-Allocation

找进程调度的顺序
安全状态:是指系统能按照某种顺序如<P1,P2,…Pn>来为每个进程分配其所需资源,直至最大需求,使每个进程都可以顺利完成。
设 Request；是进程Pi的请求向量，如果 Requesti[j] = K，表示进程Pi需要K个Rj类型的资源。当Pi发出资源请求后，系统按下述步骤进行检査:
　　(1) 如果 Requesti[j] ≤ Need[i,j]便转向步骤(2)；否则认为出错，因为它所需要的资源数已超过它所宣布的最大值。
　　(2) 如果 Requesti[j] ≤ Available[j]，便转向步骤(3)；否则，表示尚无足够资源，Pi须等待。
　　(3) 系统试探着把资源分配给进程Pi，并修改下面数据结构中的数值
　　　　Available[j] = Available[j] - Requesti[j];
　　　　Allocation[i,j] = Allocation[i,j] + Requesti[j];
　　　　Need[i,j] = Need[i,j] - Requesti[j];
　　(4) 系统执行安全性算法，检查此次资源分配后系统是否处于安全状态。若安全，才正式将资源分配给进程Pi，以完成本次分配；否则，将本次的试探分配作废，恢复原来的资源分配状态，让进程Pi等待。