银行家算法的模拟实现.docVIP

实验 银行家算法的模拟实现 一、实验目的 了解进程死锁的原因，以及避免死锁的方法 掌握银行家算法的数据结构，了解算法的执行过程，深化对银行家算法的理解 二、实验内容 实现银行家算法的模拟 编程语言不限，VB、VC、java、Delphi均可 三、实验要求 要求有可视化界面，对算法中的数据输入输出，应该有可视化的显示 如果完成有难度，可以将算法中的资源简化成单个资源，这样就可以使用一维数组表示了 四、实验提示 银行家算法通过安全性检查算法来使得计算机系统保持在安全状态，避免死锁 进程提出资源请求时，系统执行预分配（修改矩阵数据），通过安全性检查算法来检测系统是否会出现不安全状态 银行家算法的主要数据结构： 当前可用资源向量 int Available[M]，M为资源种类的数量 最大资源需求矩阵 int Max[n, M]，n为进程数量 进程已分配资源矩阵 int Allocation[n, M] 进程尚需资源矩阵 int Need[n, M] 进程请求资源向量 int Request[M] available[j] = available[j] - Request[j] need[i, j] = need[i, j] - Request[j] allocation[i, j] = allocation[i, j] + Request[j] 调用安全性检查算法检测系统安全性，如果出现不安全状态，就执行资源回收（取消分配） available[j] = available[j] + Request[j] need[i, j] = need[i, j] + Request[j] allocation[i, j] = allocation[i, j] - Request[j] 安全性检查算法（子函数） 定义两个数组变量 int Work[M]，记录在模拟算法执行过程中的资源回收与利用情况 bool Finish[n]，进程完成状态向量，记录在模拟算法执行过程中进程结束的状态 查找成功则允许进程运行完成，然后进行资源的回收 Work[j] = work[j] + allocation[i, j] 同时，将进程结束状态置为true Finish[i] = true 如果（2）的条件，查找不成功，则检查全部进程的Finish状态，只有n个进程的Finish全部为true，才能说明存在安全序列，并写出一个安全序列；否则，只要有一个进程的Finish[i] = false，则系统处于不安全状态，有死锁发生。 操作系统课程设计 银行家算法 - 2 -