《操作系统》课程设计报告（银行家算法）.docVIP

《操作系统》课程设计报告（银行家算法） 课程设计题目（题目2） 银行家算法 二、课程设计目的 本课程设计的主要目的是用操作系统中所学的高级语言编写一个银行家算法的通用程序，并用这个程序检测思考题中所给状态的安全性，以进一步了解银行家算法，进而能灵活的用银行家算法来判断系统的安全性。 三、课程设计要求 下列状态是否安全？（三个进程共享12个同类资源） 进程 已分配资源数 最大需求数 1 1 4 2 4 4 3 5 8 （状态a） 1 1 4 2 4 6 3 6 8 （状态b） 考虑下列系统状态： 分配矩阵 最大需求矩阵 可用资源矩阵 0 0 1 2 0 0 1 2 1 5 2 0 1 0 0 0 1 7 5 0 1 3 5 4 2 3 5 6 0 6 3 2 0 6 5 2 0 0 1 4 0 6 5 6 问系统是否安全？若安全就给出所有的安全序列。若进程2请求（0 4 2 0），可否立即分配？ 四、系统分析报告 设requesti是进程 的请求向量，如果Requeset[j]=K,表示进程Pi 需要K个Rj 类型的资源。当Pi 发出资源请求后，系统按下述步骤进行检查： 如果Requeseti[j]=Need[i,j],便转向步骤2，否则认为出错，因为它所需要的资源数已超过它所宣布的最大值。 如果Requeseti[j]=Available[j],便转向步骤（3）；否则，表示尚不足够资源，Pi须等待。 系统试探着把资源分配给进程Pi，并修改下面的数据结构中的数值： Available[j]：= Available[j]- Requesti[j]; Allocation[i,j]：= Allocation[i,j]+ Requesti[j]; Need[i.j]：= Need[i.j]- Requesti[j]; 系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。若安全， 才正式将资源分配给进程Pi ，以完成本次分配，否则，将本次的试探分配作废，恢复原来的资源分配状态，让进程Pi等待。 五、系统设计报告 根据对系统的分析，可以用DijKstra的银行家算法对该系统进行设计，安全性算法的描述如下： 设置两个向量： ①工作向量Work：它表示系统可提供给进程继续运行所需的各类资源的数目，它含有m个元素，在执行安全算法开始时，Work：=Available； ②Finish：它表示系统是否有足够的资源分配给进程，使之运行完成。开始时先做Finish[i]：=false；当有足够的资源分配给进程时，再令Finish[i]：=true。 （2） 从进程集合中找到一个能满足下述条件的进程： ① Finish[i]=fales； ②Need[I,j]〈=Wook[j]；找到，执行步骤（3），否则，执行步骤（4）。 （3）当进程Pi获得资源后，可顺利执行，直至完成，并释放出分配给它的资源，故应执行： Work[i]：=Work[i]+Allocation[I,j]； Finish[i];=true； Go to step2； （4）如果所有进程的Finish[i]=true都满足，则表示系统处于安全状态；否则，系统处于不安全状态。 六、系统模块说明