操作系统课程的设计银行家算法java实现回溯与递归法实现银行家算法.docxVIP

课程设计报告课程名称：操作系统课程设计姓 名：樊廷峰 指导教师：刘丽敏 学 院：信息科学与工程学院专业班级： 物联网1402班2017年3月11日银行家算法一设计要求管理员可以把一定数量的作业供多个用户周转使用，为保证作业的安全，管理员规定：当一个用户对作业的最大需求量不超过管理员现有的资金就要接纳该用户；用户可以分期贷款，但贷款的总数不能超过最大需求量；当管理员现有的作业不能满足用户的所需数时，对用户的请求可以推迟支付，但总能使用户在有限的时间里得到请求。当用户得到所需的全部作业后，一定能在有限的时间里归还所有的作业二设计思想2.1银行家算法设Requesti是进程Pi的请求向量，如果Request i[j]=k,表示进程Pi需要K个Rj类型得到资源。当Pi发出资源请求后，系统按下述步骤进行检查：（1）如果Requesti[j]=Need[i][j],便转向步骤（2）；否则认为出错，因为它所需的资源数已超过它所宣布的最大值；（2）如果Requesti[j]=Available[j],便转向步骤（3），否则，表示尚无足够资源，Pi须等待；（3）系统试探着把资源分配给进程Pi,并修改下面数据结构中的数值： Available[j]-=Requesti[j]; Allocation[i,j]+=Request i[j]; Need[i,j]-=Request i[j];(4)系统执行安全性算法，检查此资源分配后系统是否处于安全状态。若安全，正式将资源分配给Pi，已完成本次分配；否则，将本次试探分配作废，回复原来资源分配状态，让进程Pi等待。2.2安全性算法系统可执行的安全性算法可描述如下：（1）设置两个向量：工作向量Work，它表示紫铜可提供给进程继续运行所需的各类资源的数目，它含有m个元素，在执行安全性算法开始时，Work：=Available；Finish：它表示系统是否有足够的资源分配给进程，使之运行完成。开始时先做Finish[i]：=false；当有足够资源分配给进程时，再令Finish:=true；（2）从进程集合中找到一个能满足下述条件的进程：Finish[i]=false；Need[i,j]=Work[j];若找到，执行步骤（3），否则执行步骤（4）。（3）当进程Pi获得资源后，可顺利执行直至完成，并释放出分配给他的资源，故应执行: Work[j]+=Allocation[i,j]; Finish[i]=true; Go to step (2);(4)如果所有进程的Finish[i]=true都满足，则表示系统处于安全状态；否则系统处于不安全状态。三数据结构3.1可利用资源向量Available这是一个含有m个元素的数组，其中每一个元素代表一类可利用的资源的数目，其初始值是系统中所配置的该类全部可用资源的数目，其数值随该类资源的分配和回收而动态地改变。如果Available[j]=K,则表示系统中现有Rj类的资源K个。3.2最大需求矩阵Max这是一个nxm的矩阵，它定义了系统中n个进程中每一个进程对m类资源的最大需求。如果Max[i,j]=K，表示进程i需要Rj类资源的最大数目为K个。3.3分配矩阵Allocation这是一个nx m的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数，如果Alloction[i,j]=K,则表示进程当前已分得Rj类资源的数目为K个。3.4需求矩阵这是个nxm的矩阵，用以表示每一个进程尚需的各类资源的数目。如果Need[i,j]=K，则表示进程i还需要Rj类资源K个方能完成其任务。上述三个矩阵存在下述关系： Need[i,j]=Max[i,j]-Allocation[i,j]四总体设计根据设计要求，需明确具体的输入输出；我的设计采用图形化界面的方式来模拟银行家算法，下面对具体的输入输出作具体说明：4.1输入量作业的种类（即资源的数量）用户的数量（即进程的数量）现有的各种作业的最大数量（即各个资源的最大数量：表HaveMax）各个用户对每种作业的最大需求量（即Max表）各个用户现已分配的每种作业的数量（即Allocation表）请求的用户名（即进程）及请求的每种作业（即每种资源）的数量（即表Request）4.2输出量若存在安全序列，则输出安全序列（即每个用户都能够安全贷款的顺序）若不存在安全序列，输出提示，不存在安全序列实现流程说明：根据用户的输入的作业的种类生成一张一维表（表HaveMax），可以在该表中输入各种作业的最大数量根据用户输入的作业种类和用户数量生成对应的两个表（Max表和Allocation表）在表中填入对应的数据之后，分别将表中的数据存入两个二