欢迎来到天天文库
浏览记录
ID:56525110
大小:58.00 KB
页数:9页
时间:2020-06-27
《实验2.2 银行家算法.doc》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、实验2.2银行家算法一、实验目的死锁会引起计算机工作僵死,因此操作系统中必须防止。本实验的目的在于让学生独立的使用高级语言编写和调试一个系统动态分配资源的简单模拟程序,了解死锁产生的条件和原因,并采用银行家算法有效地防止死锁的发生,以加深对课堂上所讲授的知识的理解。二、实验要求设计有n个进程共享m个系统资源的系统,进程可动态的申请和释放资源,系统按各进程的申请动态的分配资源。系统能显示各个进程申请和释放资源,以及系统动态分配资源的过程,便于用户观察和分析;三、数据结构1.可利用资源向量Available,它是一个
2、含有m个元素的数组,其中的每一个元素代表一类可利用的资源的数目,其初始值是系统中所配置的该类全部可用资源数目。其数值随该类资源的分配和回收而动态地改变。如果Available(j)=k,标是系统中现有Rj类资源k个。2.最大需求矩阵Max,这是一个n×m的矩阵,它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max(i,j)=k,表示进程i需要Rj类资源的最大数目为k。3.分配矩阵Allocation,这是一个n×m的矩阵,它定义了系统中的每类资源当前一分配到每一个进程的资源数。如果Allocati
3、on(i,j)=k,表示进程i当前已经分到Rj类资源的数目为k。Allocationi表示进程i的分配向量,有矩阵Allocation的第i行构成。4.需求矩阵Need,这是一个n×m的矩阵,用以表示每个进程还需要的各类资源的数目。如果Need(i,j)=k,表示进程i还需要Rj类资源k个,才能完成其任务。Needi表示进程i的需求向量,由矩阵Need的第i行构成。上述三个矩阵间存在关系:Need(i,j)=Max(i,j)-Allocation(i,j);四、银行家算法Requesti是进程Pi的请求向量。Re
4、questi(j)=k表示进程Pi请求分配Rj类资源k个。当Pi发出资源请求后,系统按下述步骤进行检查:1.如果Requesti≤Need,则转向步骤2;否则,认为出错,因为它所请求的资源数已超过它当前的最大需求量。2.如果Requesti≤Available,则转向步骤3;否则,表示系统无足够的资源满足Pi的申请,Pi必须等待。3.系统试探性地把资源分配给进程Pi,并修改下面数据结构中的数值:Available=Available-RequestiAllocationi=Allocationi+Requesti
5、Needi=Needi-Requesti4.系统执行安全性算法,检查此次资源分配后,系统是否处于安全状态。如果安全才正式将资源分配给进程Pi,以完成本次分配;否则,将试探分配作废,恢复原来的资源分配状态,让进程Pi等待。假定系统有5个进程(p0,p1,p2,p3,p4)和三类资源(A,B,C),各种资源的数量分别为10,5,7,在T0时刻的资源分配情况如下图:MaxAllocationNeedAvailableABCABCABCABCP0753010743332(230)P1322200122(302)(020)
6、P2902302600P3222211011P4433002431一、安全性算法1.设置两个向量。Work:它表示系统可提供给进程继续运行的各类资源数目,它包含m个元素,开始执行安全性算法时,Work=Available。Finish:它表示系统是否有足够的资源分配给进程,使之运行完成,开始Finish(I)=false;当有足够资源分配给进程Pi时,令Finish(i)=true;2.从进程集合中找到一个能满足下述条件的进程。Finish(i)==false;Needi≤work;如找到则执行步骤3;否则,执行
7、步骤4;3.当进程Pi获得资源后,可顺利执行直到完成,并释放出分配给它的资源,故应执行Work=work+AllocationiFinish(i)=true;转向步骤2;4.若所有进程的Finish(i)都为true,则表示系统处于安全状态;否则,系统处于不安全状态。一、系统流程图开始输入资源数m,及各类资源总数,初始化Available向量输入进程数n,i=1输入进程i的最大需求向量max。i≤nmax≤资源总数提示错误重新输入i加1任选一个进程作为当前进程输入该进程的资源请求量Request调用银行家算法,及
8、安全性算法,完成分配,或并给出提示该进程的Need向量为0该进程已运行结束Need矩阵为0所有进程运行都结束结束NYYNNY初始化need矩阵NY七.银行家算法程序代码#include#include#includeusingnamespacestd;typedefstructMax1//资源的最大需求量{intm_
此文档下载收益归作者所有