银行家算法课设报告.doc

******************* 实践教学 ******************* 兰州理工大学 计算机与通信学院 2013年秋季学期 操作系统原理课程设计 题 目： 银行家算法的实现 专业班级： 计算机科学与技术4班 姓 名： 周朝四 学 号： 指导教师： 李 明 成 绩： _______________ 目录 摘要 2 1、设计思想 3 2、总体设计 6 3、源程序 8 4、测试结果 19 5、设计总结 23 参考文献 25 在具有多道程序并发执行能力的系统中，系统资源的利用率、进程执行的效率都大幅增加，但可能发生“死锁”的危险。所谓死锁，是指多个进程因竞争资源而造成的一种僵局，若无外力作用，这些进程都将永远不能再向前推进。 而死锁产生的原因有两点：竞争资源和进程推进的顺序不合法。 为了避免死锁，使得进程的执行能够顺利完成，引入银行家算法进行解决。 银行家算法是具有代表性的避免死锁的算法，由于该算法能用于银行系统现金贷款的发放而得名。 银行家算法包含三个方面的内容： 相应的数据结构。 银行家算法。 安全性算法。 其中相应的数据结构定义了银行家算法中需要使用的若干数据结构，银行家算法操作数据结构以为安全性算法提供检测现场，安全性算法则是检测现场是否出于安全态。 系统的安全状态是指能够按照某种顺序，来为每个进程分配其所需资源，直至最大需求，使每个进程都可顺序完成。若系统不存在这样一个安全序列，则称系统出于不安全状态。 此次系统是采用VC++6.0编写的C++程序。 关键字: 银行家，算法，分配。 1、设计思想 问题描述：银行家算法是避免死锁的有效办法，为了验证银行家算法可以避免死锁，需要编写程序模拟银行家算法并加以验证。 1.1银行家算法的描述 银行家算法所涉及的数据结构： 可利用资源向量Avaliable 它是一个vector向量，可被初始化任意长度，其中每一个元素代表一类可利用资源的数目。其值随着该类资源的分配和回收而动态的改变。 最大需求矩阵Max 这是一个n×m的矩阵，他定义了系统中n个进程中的每一个进程对m类资源的最大需求。 分配矩阵Allocation 这是一个n×m的矩阵，他定义了系统中每一类资源当前已分配给每一进程的资源数。 需求矩阵Need 它是一个n×m的矩阵，用以表示每一个进程尚需的各类资源数。 以上三个矩阵间存在下述关系： Need=Max-Allocation 银行家算法： 设Request是某一进程的请求向量。当进程发出请求后，系统按下列步骤进行检查： 如果RequestNeed，则转向步骤2；否则认为出错，因为他所需要的资源数已超过他所宣布的最大值。 如果RequestAvaliable，则转向步骤3；否则表示系统中尚无足够的资源，进程必须等待。 系统进行试分配： Avaliable=Avaliable-Request Allocation=Allocation=Request Need=Need-Request 4) 系统执行安全性检查，若系统处于安全态，则正式将资源分配给进程；若处于不安全态，则将此次分配作废，回滚到分配前的状态，并通知进程等待。 安全性算法： 1) 设置两个工作向量 工作向量Work。他表示系统可提供给进程继续运行所需要的各类资源数目，他含有m个元素，执行安全性算法开始时，Work=Avaliable。 Finish。他表示系统是否有足够的资源分配给进程，使之运行完成，初始状态为Finish[i]=false；当有足够资源分配给进程时，Finish[i]=true。 2) 从进程集合中找到一个能满足下列条件的进程： Finish[i]=false NeedWork 如找到，执行步骤3，否则，执行步骤4 3) 当某一进程获得资源后，可顺利执行，直至完成，并释放出分配给他的资源，故应执行： Work= Work+ Allocation Finish[i]=true Go to step 2 4) 如果所有进程的Finish[i]＝true，则表示系统处于安全状态；否则系统处于不安全状态。 1.2银行家算法模拟系统流程图 银行家算法模拟系统流程图如图2.1所示 图1.1 系统流程图 1.3模拟系统用况分析 银行家算法模拟系统的用况图如图2.2所示 图 1.2 模拟系统用况图 2、总体设计 2.1系统的分层模型 交互层：主要功能是为了与用户进行交互，包括系统的初始化，创建多个进程，置进程的请求向量。 交互逻辑层：负责将用户的交互信息与控制层交换。 进程层：主要功能是为了创建进程，并交给控制层进行管理