实验二(银行家算法)

《实验二(银行家算法)》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、实验二死锁的避免一一银行家算法一、实验目的1.掌握死锁产生的原因。2.掌握银行家算法。3.能使用商级语言模拟实现银行家算法。二、相关数据结构1.可利用资源向量Available,它是一个含有m个元素的数组，其屮的每一个元素代表一类可利用的资源的数目，其初始值是系统中所配置的该类全部可用资源数H。其数值随该类资源的分配和回收而动态地改变。如果Availably卜k，标是系统屮现有j类资源k个。2.最大需求矩阵Max，这是一个nXm的矩阵，它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i][J

2、]=k，表示进程i盂要j类资源的最大数0力k。3.分配矩阵Allocation，这是一个nXm的矩阵，它定义了系统中的每类资源当前分配到每一个进程的资源数。如果AUOCatiOn[il[jl=k,表示进程i当前已经分到j类资源的数0为k个。Allocationfil表示进程i的分配向fi。4.需求矩阵Need,这是一个nXm的矩阵，用以表示每个进程还需要的各类资源的数0。如果NeedLijU^k,表示进程i还耑要j类资源k个，才能完成其任务。Needlij表示进程i的需求向量。上述三个矩阵间存在关系：Need[i

3、][j]=Max[i][j]-Allocation[i]rj]；三、银行家算法Request是进程i的请求向量。RequestUJ=k表示进程i请求分配j类资源k个。当进程i发出资源请求后，系统按下述步骤进行检查：1.如果Request^Needfi],则转向步骤2;否则，认为出错，因为它所请求的资源数己超过它当前的最大需求量。2.如果Request^Available,则转向步骤3;否则，表示系统中尚无足够的资源满足进程i的申请，进程i必须等待。3.系统试探性地把资源分配给进程i,并修改下面数据结构中的数值：A

4、vailable=Available-RequestAllocation[i]=Allocation[i]+RequestNeed[i]=Need[i]-Request4.系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。如果安全才正式将资源分配给进程i,以完成本次分配；否则，将试探分配作废，恢复原来的资源分配状态，让进程i等待。四、安全性算法1.设置两个向量。Work：它表示系统nJ•提供给进程继续运行的各类资源数H,它包含m个元素，开始执行安全性算法时，Work=Available。Finish：

5、它表示系统是否有足够的资源分配给进程，使之运行完成，开始FiniSh[i>faLse;当有足够资源分配给进程i吋，令Finish[i]=true;1.从进程集合屮找到一个能满足下述条件的进程。Finish[i]==false；Need[iJ^work；如找到则执行步骤3;否则，执行步骤4;2.当进程i获得资源后，可顺利执行直到完成，并释放岀分配给它的资源，故应执行Work=work+Allocation[i]Finish[i]=true；转向步骤2;3.若所有进程的Hnish[i]都为true,则表示系统处于安全

6、状态；否则，系统处于不安全状态。五、实验内容设计有n个进程共亨m个系统资源的系统，进程可动态的中请和释放资源，系统按各进程的申请动态的分配资源。系统能显示各个进程申请和释放资源，以及系统动态分配资源的过程，便于用户观察和分析；程序框架己经给出(见附件)，要求将安全性测试算法补充完整。1.当前资源状态图总的资源向量E=(1057)空闲的资源向量C=(357)己分配尚襤ABCABCP0010743Pl200122P2302600P3211011P40024312.补充完整的安全性算法//安全性检测//返回值：0:未通

7、过安全性测试；1：通过安全性测试intTe$t_Safty(){//(请写出安全性测试算法的代码)cout«endl«n进入安全性检测！"«endl;inti，j;intWork[MAX_RESOURCE];//定义工作向量for(i=0;i

8、于保存安企序列boolfound=false;//判断在一轮查找屮是否找到符合条件的进程intFinishCount=0;//找到满足跳进的进程IDE数目while(FinishCount<5){for(i=0;i