银行家算法

一、实验目的：
运用高级语言编写和调试一个系统动态分配资源的简单模拟程序，了解死锁产生的条件和原因，并采用银行家算法有效地避免死锁的发生，以加深对课堂上所讲授的知识的理解。
二、实验环境：
完成银行家算法的模拟实现：设计有m个进程共享n个系统资源的系统，进程可动态的申请和释放资源。系统按各进程的申请动态的分配资源时，采用银行家算法有效地避免死锁的发生。
1.相关理论知识：
（1）银行家算法的思路
对进程的资源请求进行合法性检查；若请求合法，则进行试分配。试分配后，调用安全性检查算法进行安全性检查。若安全，则满足该进程请求，分配资源；若不安全，则拒绝该进程申请，不分配资源，并恢复系统试分配前的资源状态。
（2）银行家算法中用到的主要数据结构
可利用资源向量 int Available[j] // j为资源的种类。
最大需求矩阵 int Max[i][j] // i为进程的数量。
分配矩阵 int Allocation[i][j]
需求矩阵 int Need[i][j]= Max[i][j]- Allocation[i][j]
申请各类资源数量 int Requesti[j] //i进程申请j资源的数量
工作向量 int Work[x] int Finish[y]
（3）银行家算法Bank()
进程i发出请求申请k个j资源，Requesti[j]=k
① 检查申请量是否小于等于需求量：
Requesti[j]<=Need[i,j],若条件不符重新输入，不允许申请大于需求量。
② 检查申请量是否小于等于系统中的可利用资源量：
Requesti[j]<=Available[j]，若条件不符就申请失败，阻塞该进程，用goto语句跳转至重新申请资源。
③ 若以上两个条件都满足，则系统试探着将资源分配给申请的进程，并修改下面数据结构中的数值：
Available[j]= Available[j]- Requesti[j]；
Allocation[i][j]= Allocation[i][j]+ Requesti[j]；
Need[i][j]= Need[i][j]- Request i[j]；
④ 试分配后，执行安全性检查，调用Safe()函数检查此次资源分配后系统是否处于安全状态。若安全，才正式将资源分配给进程；否则本次试探分配作废，恢复原来的资源分配状态，让该进程等待。
⑤ 用while循环实现输入字符Y/y判断是否继续请求资源分配。
（4）安全性检查算法（Safe()函数）
① 设置两个向量：
工作向量Work：表示系统可提供给进程继续运行所需的各类资源数目，在执行安全性算法开始时，令Work= Available。
Finish：表示系统是否有足够的资源分配给进程，使之运行完成。开始时先做Finish[i]=false；当有足够的资源分配给进程时，再令Finish[i]=true。
② 在进程集合中查找符合以下条件的进程：
条件1：Finish[i]=0
条件2：Need[i][j]<=Work[j]
若找到，则执行步骤③；否则，执行步骤④
③ 当进程获得资源后，可顺利执行，直至完成，并释放出分配给它的资源，故应执行：
Work[j]= Work[j]+ Allocation[i][j]
Finish[i]=true