资源描述:
《实验2银行家算法的实现预习报告》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库。
1、实验2银行家算法的实现预习报告一、实验内容银行家算法的实现。二、实验目的银行家算法是一-种最有代表性的避免死锁的算法。在避免死锁方法中允许进程动态地申请资源,但系统在进行资源分配之前,应先计算此次分配资源的安全性,若分配不会导致系统进入不安全状态,则分配,否则等待。通过编写一个模拟动态资源分配的银行家算法程序,帮助学生进一步深入理解死锁、产生死锁的必耍条件、安全状态等重要概念,并学握避免死锁的具体实施方法。三、实验原理3.1、银行家算法中的数据结构1)可利用资源向量Available是个含有m个元素的数组,其中的侮一个元素代表一类可利用的资源数H。如果Available
2、[j]=K,贝!J表示系统中现有Rj类资源K个。2)最大需求矩阵Max这是一个nXm的矩阵,它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]二K,则表示进程i需要Rj类资源的最大数冃为K。3)分配矩阵Allocation这也是一个nXm的矩阵,它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation[i,j]=K,则表示进程i当前已分得Rj类资源的数目为K。4)需求矩阵Need。这也是一个nXm的矩阵,用以表示每一个进程尚需的各类资源数。如果Need[ij]=K,则表示进程i述需耍Rj类资源K个,方能完成其任务。Nee
3、d[i,j]=Max[i,j]-Allocation[ij]3.2、银行家算法设Request!是进程Pi的请求向量,如果Request!Lj]=K,表示进程Pi需要K个Rj类型的资源。当Pi发出资源请求后,系统按下述步骤进行检查:⑴如果Request![j]WNeed[i,j],便转向步骤⑵;否则认为出错,因为它所需要的资源数已超过它所宣布最大值。⑵如果Request![j]^Available[j],便转向步骤⑶;否则,表示尚无足够资源,Pi须等待。(3)系统试探着把资源分配给进程Pi,并修改下面数据结构中的数值:Available[j]=Available[j]-
4、Requesti[j];Allocation[i,j]=Allocation[ij]+Requesti[j];Need[ij]=Need[ij]-Requesti[j];系统执行安全性算法,检查此次资源分配后,系统是否处于安全状态。若安全,才正式将资源分配给进程Pi,以完成本次分配;否则,将木次的试探分配作废,恢复原來的资源分配状态,让进程Pi等待。3.3、安全性算法1)设逍两个向量:工作向最Work:它表示系统可提供给进程继续运行所需的各类资源数目,它含有m个元素,在执行安全算法开始时,Work二Available;2)从进程集合屮找到一个能满足卜•述条件的进程:Fi
5、nish[订=false;Need[i,j]WWork[j];若找到,执行(3),否则,执行(4)3)当进程Pi获得资源后,可顺利执行,直至完成,并释放出分配给它的资源,故应执行:Work
6、j_]=Work[j]+Allocation[ij];Finish[订=true;gotostep2;4)如果所有进程的Finish[i]=true都满足,则表示系统处于安全状态;否则,系统处于不安全状态实验2银行家算法的实现一、实验内容银行家算法的实现。二、实验目的银行家算法是一种最冇代表性的避免死锁的处法。在避免死锁方法中允许进程动态地申请资源,但系统在进行资源分配Z前,应先计算
7、此次分配资源的安全性,若分配不会导致系统进入不安全状态,则分配,否则等待。通过编写一个模拟动态资源分配的银行家算法程序,帮助学生进一步深入理解死锁、产生死锁的必要条件、安全状态等重要概念,并掌握避免死锁的具体实施方法。三、实验原理3・1、银行家算法中的数据结构1)可利用资源向量Available是个含有m个元索的数组,其小的每一个元索代表一类可利用的资源数口。如果Available[j]=K,则表示系统屮现有Rj类资源K个。2)最大需求矩阵Max这是一个nXm的矩阵,它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]=K,则表示进程i需要Rj
8、类资源的最人数目为K。3)分配矩阵Allocation这也是一个nXm的矩阵,它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation[i,j]=K,则表示进程i当前已分得Rj类资源的数II为K。4)需求矩阵Need。这也是一个nXm的矩阵,用以表示每一个进程尚需的各类资源数。如果Need[i,j]二K,则表示进程i还需要Rj类资源K个,方能完成其任务。Need[i,j]=Max[i,j]-Allocation[ij]3.2、银行家算法设Request!是进程Pi的请求向量,如果Request![j]=K,表示进程P