银行家算法避免死锁的研究与实现-毕设论文.doc

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