操作系统课程设计报告编程序模拟银行家算法.doc
文本预览下载声明
武汉理工大学华夏学院
课程设计报告书
课程名称: 操作系统原理
题 目: 编程序模拟银行家算法
系 名: 信息工程系
专业班级: 计算机1102班
姓 名: 何利华
学 号: 10210410211
指导教师: 赵传斌 苏永红
2013 年 1 月 17 日
课程设计任务书
学生姓名: 何利华 专业班级: 计算机1102
指导教师: 苏永红 赵传斌 工作单位: 信息工程系
设计题目:编程序模拟银行家算法
初始条件:
Linux操作系统,GCC编译环境
要求完成的主要任务:
主要任务:
银行家算法是避免死锁的一种重要方法,本实验要求用用c/c++语言在Linux操作系统环境下编写和调试一个简单的银行家算法程序。加深了解有关资源申请、避免死锁等概念,并体会和了解死锁和避免死锁的具体实施方法。
思想:将一定数量的资金供多个用户周转使用,当用户对资金的最大申请量不超过现存资金时可接纳一个新客户,客户可以分期借款,但借款总数不能超过最大的申请量。银行家对客户的借款可以推迟支付,但是能够使客户在有限的时间内得到借款,客户得到所有的借款后能在有限的时间内归还。用银行家算法分配资源时,测试进程对资源的最大需求量,若现存资源能满足最大需求就满足当前进程的申请,否则推迟分配,这样能够保证至少有一个进程可以得到所需的全部资源而执行到结束,然后归还资源,若OS能保证所有进程在有限的时间内得到所需资源则称系统处于安全状态。
设计报告撰写格式要求:
1设计题目与要求 2 设计思想
3系统结构 4 数据结构的说明和模块的算法流程图
5 使用说明书(即用户手册):内容包含如何登录、退出、读、写等操作说明
6 运行结果和结果分析(其中包括实验的检查结果、程序的运行情况)
7 自我评价与总结 8 附录:程序清单,注意加注释(包括关键字、方法、变量等),在每个模块前加注释;
时间安排
1月14日 布置课程设计任务;分配题目后,查阅资料、 准备程序;
1月 15~1月17 日上机调试程序、书写课程设计报告;
1月18 日 提交课程设计报告及相关文档。
指 导 教 师 签 字: 2012年 12月 29日
系 主 任 签 字: 2013年 1月 2
1设计题目与要求
设计题目
编程序模拟银行家算法
要求
本实验要求用用c/c++语言在Linux操作系统环境下编写和调试一个简单的银行家算法程序。加深了解有关资源申请、避免死锁等概念,并体会和了解死锁和避免死锁的具体实施方法。
2 设计思想
思想:将一定数量的资金供多个用户周转使用,当用户对资金的最大申请量不超过现存资金时可接纳一个新客户,客户可以分期借款,但借款总数不能超过最大的申请量。银行家对客户的借款可以推迟支付,但是能够使客户在有限的时间内得到借款,客户得到所有的借款后能在有限的时间内归还。用银行家算法分配资源时,测试进程对资源的最大需求量,若现存资源能满足最大需求就满足当前进程的申请,否则推迟分配,这样能够保证至少有一个进程可以得到所需的全部资源而执行到结束,然后归还资源,若OS能保证所有进程在有限的时间内得到所需资源则称系统处于安全状态。
3系统结构
图 1
4数据结构的说明和模块的算法流程图
4.1数据结构:
1)可利用资源向量Available
是个含有m个元素的数组,其中的每一个元素代表一类可利用的资源数目。如果Available[j]=K,则表示系统中现有Rj类资源K个。
2)最大需求矩阵Max
这是一个n×m的矩阵,它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]=K,则表示进程i需要Rj类资源的最大数目为K。
3)分配矩阵Allocation
这也是一个n×m的矩阵,它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation[i,j]=K,则表示进程i当前已分得Rj类资源的 数目为K。
4)需求矩阵Need。
这也是一个n×m的矩阵,用以表示每一个进程尚需的各类资源数。如果Need[i,j]=K,则表示进程i还需要Rj类资源K个,方能完成其任务。
Need[i,j]=Max[i,j]-Allocation[i,j]
.
1、系统主要过程流程图1
图1
图1
2、安全性算法流程图
5 使用说明书(即
显示全部