操作系统课程设计(银行家算法).docx

《操作系统课程设计》 题目：银行家算法的设计与实现 院、 系： 计算机信息与技术系 学科专业： 计算机科学与技术 学 号： 学生姓名： 徐飞 指导教师 ： 姜虹 ×××2012年06月 目录 TOC \o "1-3" \h \z \u 一、绪论 1 二、需求分析 2 2.1银行家算法的描述 2 2.2银行家算法模拟系统流程图 3 2.3模拟系统用况分析 4 2.4模拟系统用况规约 4 2.4.1用况名称：创建进程 4 2.4.2用况名称：执行进程 5 三、总体设计 7 3.1系统的分层模型 7 3.2系统部署 7 3.3系统的静态模型 8 四、详细设计 9 4.1交互层设计 9 4.2交互逻辑层设计 9 4.3控制层设计 11 4.3进程层设计 12 4.4资源层设计 12 五、系统实现 14 5.1交互层的实现 14 5.2交互逻辑层的实现 15 5.3控制层的实现 18 5.3进程层的实现 21 5.4资源层的实现 22 六、测试与分析 24 6.1系统资源初始化测试 24 6.2系统资源初始状态的设置 24 6.3进程初始化测试 24 6.4进程初始化设置 25 6.5执行进程测试 25 课程设计总结 26 参考文献 27 附录A 28 PAGE 4 一、绪论 在具有多道程序并发执行能力的系统中，系统资源的利用率、进程执行的效率都大幅增加，但可能发生“死锁”的危险。所谓死锁，是指多个进程因竞争资源而造成的一种僵局，若无外力作用，这些进程都将永远不能再向前推进。 而死锁产生的原因有两点：竞争资源和进程推进的顺序不合法。 为了避免死锁，使得进程的执行能够顺利完成，引入银行家算法进行解决。 银行家算法是具有代表性的避免死锁的算法，由于该算法能用于银行系统现金贷款的发放而得名。 银行家算法包含三个方面的内容： 相应的数据结构。 银行家算法。 安全性算法。 其中相应的数据结构定义了银行家算法中需要使用的若干数据结构，银行家算法操作数据结构以为安全性算法提供检测现场，安全性算法则是检测现场是否出于安全态。 系统的安全状态是指能够按照某种顺序，来为每个进程分配其所需资源，直至最大需求，使每个进程都可顺序完成。若系统不存在这样一个安全序列，则称系统出于不安全状态。 二、需求分析 问题描述：银行家算法是避免死锁的有效办法，为了验证银行家算法可以避免死锁，需要编写程序模拟银行家算法并加以验证。 2.1银行家算法的描述 银行家算法所涉及的数据结构： 可利用资源向量Avaliable 它是一个vector向量，可被初始化任意长度，其中每一个元素代表一类可利用资源的数目。其值随着该类资源的分配和回收而动态的改变。 最大需求矩阵Max 这是一个n×m的矩阵，他定义了系统中n个进程中的每一个进程对m类资源的最大需求。 分配矩阵Allocation 这是一个n×m的矩阵，他定义了系统中每一类资源当前已分配给每一进程的资源数。 需求矩阵Need 它是一个n×m的矩阵，用以表示每一个进程尚需的各类资源数。 以上三个矩阵间存在下述关系： Need=Max-Allocation 银行家算法： 设Request是某一进程的请求向量。当进程发出请求后，系统按下列步骤进行检查： 如果Request≤Need，则转向步骤2；否则认为出错，因为他所需要的资源数已超过他所宣布的最大值。 如果Request≤Avaliable，则转向步骤3；否则表示系统中尚无足够的资源，进程必须等待。 系统进行试分配： Avaliable=Avaliable-Request Allocation=Allocation=Request Need=Need-Request 4) 系统执行安全性检查，若系统处于安全态，则正式将资源分配给进程；若处于不安全态，则将此次分配作废，回滚到分配前的状态，并通知进程等待。 安全性算法： 1) 设置两个工作向量 eq \o\ac(○,1)工作向量Work。他表示系统可提供给进程继续运行所需要的各类资源数目，他含有m个元素，执行安全性算法开始时，Work=Avaliable。 eq \o\ac(○,2)Finish。他表示系统是否有足够的资源分配给进程，使之运行完成，初始状态为Finish[i]=false；当有足够资源分配给进程时，Finish[i]=true。 2) 从进程集合中找到一个能满足下列条件的进程： eq