实验六——银行家算法

《实验六——银行家算法》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、操作系统实验报告实验六死锁的避免——银行家算法班级姓名康锏学号实验日期实验六死锁的避免——银行家算法1．目的和要求银行家算法是避免死锁的一种重要方法，本实验要求用高级语言编写和调试一个简单的银行家算法程序。加深了解有关资源申请、避免死锁等概念，并体会和了解死锁和避免死锁的具体实施方法。2．实验内容(1)设计一个n个并发进程共享m个系统资源的系统。进程可动态申请资源和释放资源，系统按各进程的申请动态的分配资源。要求用死锁检测算法检测当某一进程提出资源分配请求时，系统会不会陷入死锁状态；如若陷入死锁状态要求用某种算法解除死锁(2)实现银行家算法要有若干数

2、据结构，它们用来表示资源分配系统的状态。令n表示系统中进程的数目，m表示资源的分类数。还需要以下数据结构：1.Available是一个长度为m的向量，它表示每类资源可用的数量。Available[j]=k，表示rj类资源可用的数量为k。2.Max是一个n×m矩阵，它表示每个进程对资源的最大需求。Max[i，j]=k，表示进程pi至多可以申请k个rj类资源单位。3.Allocation是一个n×m矩阵，它表示当前分给每个进程的资源数目。Allocation[i，j]=k，表示进程pi当前分到k个rj类资源。4.Need是一个n×m矩阵，它表示每个进程还

3、缺少多少资源。Need[i，j]=k，表示进程pi尚需k个rj类资源才能完成其任务。显然Need[i，j]=Max[i，j]-Allocation[i，j]。这些数据结构的大小和数值随时间推移而改变。系统所执行的安全性算法描述如下：1.设置2个向量：工作向量Work：它表示系统可提供给进程继续运行所需的各类资源数目，它含有m个元素，在执行安全算法开始时，Work=Available。Finish[i]：它表示系统是否有足够的资源分配给进程，使之完成运行。开始时先做Finish[i]=true。2.从进程集合中找到一个满足下述条件的进程：Finish[

4、i]=flase；Need[i,j]≤Work[j]；若找到，则执行步骤3，否则，执行步骤4。3.当进程pi获得资源后，可顺利执行，直至完成，并释放分配给它的资源。4.如果所有进程的Finish[i]=true都满足。则表示系统处于安全状态；否则，系统处于不安全状态。3．实验环境Windows操作系统、VC++6.0C语言4．实验步骤(1)用VC++6.0编写程序#include#include#include#defineFalse0#defineTrue1intMax[100][100

5、]={0};//各进程所需各类资源的最大需求intAvaliable[100]={0};//系统可用资源charname[100]={0};//资源的名称intAllocation[100][100]={0};//系统已分配资源intNeed[100][100]={0};//还需要资源intRequest[100]={0};//请求资源向量inttemp[100]={0};//存放安全序列intWork[100]={0};//存放系统可提供资源intp[100]={0};intq[100][100]={0};intz[100][100]={0};in

6、tM=100;//作业的最大数为100intN=100;//资源的最大数为100intgg=1;voidshowdata()//显示资源矩阵{inti,j;cout<

7、

8、able[j]=Avaliable[j]-Request[j];//q[i][j]=Allocation[i