编程序模拟银行家算法

武汉理工大学华夏学院课程设计报告书

课程名称：操作系统原理

题目：编程序模拟银行家算法

系名：信息工程系

专业班级：软件1121

*名：**

学号：***********

****:***

2014年 6 月13 日

武汉理工大学华夏学院信息工程系

课程设计任务书

课程名称：操作系统原理课程设计指导教师：苏永红

班级名称：软件1121 开课系、教研室：软件与信息安全

一、课程设计目的与任务

操作系统课程设计是《操作系统原理》课程的后续实践课程，旨在通过一周的实践训练，加深学生对理论课程中操作系统概念，原理和方法的理解，加强学生综合运用操作系统原理、Linux系统、C语言程序设计技术进行实际问题处理的能力，进一步提高学生进行分析问题

和解决问题的能力，包含系统分析、系统设计、系统实现和系统测试的能力。

学生将在指导老师的指导下，完成从需求分析，系统设计，编码到测试的全过程。

二、课程设计的内容与基本要求

1、课程设计题目

编程序模拟银行家算法

2、课程设计内容

本课程设计要求在Linux操作系统，GCC编译环境下开发。

银行家算法是避免死锁的一种重要方法，本实验要求用用c/c++语言在Linux操作系统

环境下编写和调试一个简单的银行家算法程序。加深了解有关资源申请、避免死锁等概念，并体会和了解死锁和避免死锁的具体实施方法。

思想：将一定数量的资金供多个用户周转使用，当用户对资金的最大申请量不超过现存

资金时可接纳一个新客户，客户可以分期借款，但借款总数不能超过最大的申请量。银行家

对客户的借款可以推迟支付，但是能够使客户在有限的时间内得到借款，客户得到所有的借

款后能在有限的时间内归还。用银行家算法分配资源时，测试进程对资源的最大需求量，若

现存资源能满足最大需求就满足当前进程的申请，否则推迟分配，这样能够保证至少有一个

进程可以得到所需的全部资源而执行到结束，然后归还资源，若OS能保证所有进程在有限

的时间内得到所需资源则称系统处于安全状态。

3、设计报告撰写格式要求：

1设计题目与要求 2 设计思想

3系统结构 4 数据结构的说明和模块的算法流程图

5 使用说明书（即用户手册）：内容包含如何登录、退出、读、写等操作说明

6 运行结果和结果分析（其中包括实验的检查结果、程序的运行情况）

7 自我评价与总结

8 附录：程序清单，注意加注释（包括关键字、方法、变量等），在每个模块前加注释；

三、课程设计步骤及时间进度和场地安排

本课程设计将安排在第17周, 教育技术中心。具体安排如下：

第一天，下发任务书，学生查阅资料

第二天，系统设计和原型开发

第三，四天系统功能实现

第五天，系统调试测试打包和验收

四、课程设计考核及评分标准

课程设计考核将综合考虑学生考勤和参与度，系统设计方案正确性，系统设计和开发效果以及课程设计报告书的质量。具体评分标准如下：

设置六个评分点

（1）设计方案正确，具有可行性、创新性；25分

（2）系统开发效果较好；25分

（3）态度认真、刻苦钻研、遵守纪律；10分

（4）设计报告规范、课程设计报告质量高、参考文献充分20分

（5）课程设计答辩概念清晰，内容正确10分

（6）课程设计期间的课堂考勤、答疑与统筹考虑。10分

按上述六项分别记分后求和，总分按五级记分法记载最后成绩。

优秀（100～90分），良好（80～89分），中等（70～79分），及格（60～69分），

不及格（0～59分）

目录

1设计题目与要求 (5)

1.1设计题目 (5)

1.2实验要求 (5)

2 设计思想 (5)

4数据结构的说明和模块的算法流程图 (6)

4.1死锁避免: (6)

4.1.1破坏“不可剥夺”条件 (6)

4.1.2破坏“请求和保持”条件 (6)

4.1.3破坏“循环等待”条件 (6)

4.2安全状态与不安全状态 (6)

4.3数据结构： (6)

4.4安全性检查算法 (7)

4.5程序流程图 (8)

5 使用说明书 (9)

6运行结果和结果分析 (9)

6.1输入 (9)

6.2输出 (10)

6.3结果分析 (11)

7自我评价与总结 (11)

8附录： (12)

源程序清单 (12)

1设计题目与要求

1.1设计题目

编程序模拟银行家算法

1.2实验要求

本实验要求用用c/c++语言在Linux操作系统环境下编写和调试一个简单的银行家算法程序。加深了解有关资源申请、避免死锁等概念，并体会和了解死锁和避免死锁的具体实施方法。

2 设计思想

将一定数量的资金供多个用户周转使用，当用户对资金的最大申请量不现存资金时可接纳一个新客户，客户可以分期借款，但借款总数不能超过最大的申请量。银行家对客户的借款可以推迟支付，但是能够使客户在有限的时间内得到借款，客户得到所有的借款后能在有限的时间内归还。用银行家算法分配资源时，测试进程对资源的最大需求量，若现存资源能满足最大需求就满足当前进程的申请，否则推迟分配，这样能够保证至少有一个进程可以得到所需的全部资源而执行到结束，然后归还资源，若OS能保证所有进程在有限的时间内得到所需资源则称系统处于安全状态。

3．实验环境

系统平台：LINUX

开发语言：C

开发工具：PC机一台