银行家算法避免死锁的研究与实现长治学院学士学位论文(设计)长治学院2013届学士学位毕业论文银行家算法避免死锁的研究与实现学号：09407227姓名：王子丹指导教师：陕粉丽专业：计算机科学与技术系别：计算机系完成时间：2013年5月PAGE\*MERGEFORMATI银行家算法避免死锁的研究与实现专业：计算机科学与技术姓名：王子丹学号：09407227指导教师：陕粉丽摘要：Dijkstra的银行家算法是最有代表性的避免死锁的算法，该算法由于能用于银行系统现金贷款的发放而得名。银行家算法是在确保当前系统安全的前提下推进的。对进程请求先进行安全性检查，来决定资源分配与否，从而确保系统的安全，有效的避免了死锁的发生。该论文在理解和分析了银行家算法的核心思想以及状态的本质含义的前提下，对算法的实现在总体上进行了设计，包括对算法分模块设计，并对各个模块的算法思想通过流程图表示，分块编写代码，并进行测试，最后进行程序的测试，在设计思路上严格按照软件工程的思想执行，确保了设计和实现的可行性。关键词：银行家算法；死锁；避免死锁；安全性序列PAGEIIPAGE\*MERGEFORMATII目录TOC\o"1-3"\h\z\uHYPERLINK\l"_Toc358968453"1前言PAGEREF_Toc358968453\h1HYPERLINK\l"_Toc358968454"1.1课题背景PAGEREF_Toc358968454\h1HYPERLINK\l"_Toc358968455"1.2死锁PAGEREF_Toc358968455\h1HYPERLINK\l"_Toc358968456"1.3系统安全状态PAGEREF_Toc358968456\h2HYPERLINK\l"_Toc358968457"1.4银行家算法PAGEREF_Toc358968457\h2HYPERLINK\l"_Toc358968458"2需求分析PAGEREF_Toc358968458\h3HYPERLINK\l"_Toc358968459"2.1问题描述PAGEREF_Toc358968459\h3HYPERLINK\l"_Toc358968460"2.2基本要求PAGEREF_Toc358968460\h3HYPERLINK\l"_Toc358968461"2.3数据流模型PAGEREF_Toc358968461\h3HYPERLINK\l"_Toc358968462"3概要设计PAGEREF_Toc358968462\h4HYPERLINK\l"_Toc358968463"3.1模块的划分PAGEREF_Toc358968463\h4HYPERLINK\l"_Toc358968464"3.2模块调用关系PAGEREF_Toc358968464\h4HYPERLINK\l"_Toc358968465"3.3各模块之间的接口PAGEREF_Toc358968465\h4HYPERLINK\l"_Toc358968466"3.4程序流程图PAGEREF_Toc358968466\h5HYPERLINK\l"_Toc358968467"4详细设计PAGEREF_Toc358968467\h6HYPERLINK\l"_Toc358968468"4.1数据结构选取分析PAGEREF_Toc358968468\h6HYPERLINK\l"_Toc358968469"4.2数据结构设计PAGEREF_Toc358968469\h6HYPERLINK\l"_Toc358968470"4.3算法整体设计与调用PAGEREF_Toc358968470\h6HYPERLINK\l"_Toc358968471"4.4程序流图PAGEREF_Toc358968471\h7HYPERLINK\l"_Toc358968472"5程序分析测试PAGEREF_Toc358968472\h9HYPERLINK\l"_Toc358968473"5.1分模块分析与测试PAGEREF_Toc358968473\h9HYPERLINK\l"_Toc358968474"5.2集成测试PAGEREF_Toc358968474\h11H