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

银行家算法避免死锁的研究与实现 长治学院学士学位论文(设计) 长 治 学 院 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 _Toc