操作系统课程设计报告
题目:银行家算法的设计与实现
院 (系): 计算机科学与工程学院
专
班
学
学
业:
级:
生:
号:
指导教师:
翟晓岩
2010 年 12 月
操作系统课程设计报告
关键路径的算法设计与实现
摘 要
Dijkstra 的银行家算法是最有代表性的避免死锁的算法,该算法由于能用于
银行系统现金贷款的发放而得名。银行家算法是在确保当前系统安全的前提下推
进的。对进程请求先进行安全性检查,来决定资源分配与否,从而确保系统的安
全,有效的避免了死锁的发生。
该论文在理解和分析了银行家算法的核心思想以及状态的本质涵义的前提
下,对算法的实现在总体上进行了设计,包括在对算法分模块设计,并对各个模
块的算法思想通过流程图表示,分块编写代码,并进行测试,最后进行程序的测
试,在设计思路上严格按照软件工程的思想执行,确保了设计和实现的可行,可
信。代码实现采用 C 语言。
关键词:银行家算法;死锁;避免死锁;安全性序列
操作系统课程设计报告
目 录
中文摘要...................................................................................................I
1 绪论.......................................................................................................1
1.1 课题背景.........................................................................................................1
1.2 课题意义…………………………………………………………………….1
1.3 银行家算法.....................................................................................................1
1.4 死锁.................................................................................................................2
1.5 安全性序列.....................................................................................................2
2 需求分析...............................................................................................3
2.1 问题描述......................................................................................................... 3
2.2 基本要求......................................................................................................... 3
2.3 数据流模型..................................................................................................... 3
3 概要设计...............................................................................................4
3.1 模块的划分......................................................................................................4
3.2 模块调用关系..................................................................................................4
3.3 各模块之间的接口..........................................................................................4
3.4 程序流程图......................................................................................................5
4 详细设计................................................................................................6
4.1 数据结构选取分析...........................................................................................6
4.2 数据结构设计...................................................................................................6
4.3 算法整体设计与调用.......................................................................................6
4.4 模块设计与时间复杂度分析...........................................................................7
4.4.1 系统资源初始化函数 Init_process .........................................................7
4.4.2 安全性算法 Safety_Algorithm ................................................................7
4.4.3 接受进程请求试分配 Attempt_Allocation; ............................................7
4.4.4 对试分配后的系统进行安全性检查 Safety_Algorithm……………….8
4.5 程序流图............................................................................................8
I
操作系统课程设计报告
4.5.1 系统以及进程资源初始化 Init_process 的程序流程图………………..8
4.5.2 安全性算法 Safety_Algorithm 的程序流程图.........................................9
4.5.3 接受进程请求试分配 Attempt_Allocation 的程序流程图......................9
4.5.4 对试分配后的系统进行安全性检查 Safety_Algorithm 的程序流程图.9
5 程序分析测试………..........................................................................10
5.1 分模块分析与测试.........................................................................................10
5.1.1 初始化系统资源模块 Init_process 的测试……………………………10
5.1.2 试分配模块 Attempt_Allocation 的测试………………………………11
5.1.3 安全模块 Safety_Algorithm 的调试…………………………………...11
5.2 集成测试..........................................................................................................12
6 小结......................................................................................................13
参考文献..................................................................................................14
附录(源代码)......................................................................................15
II
1 绪论
1 绪论
1.1 课题背景
在多道程序系统中,虽可以借助多个进程的并发执行来改善系统的资源
利用率,提高系统吞吐量,但可能发生一种危险——死锁,即多个进程在运
行过程中因争夺资源而造成的一种僵局,若无外力作用,将无法再向前推进。
如此,寻求一种避免死锁的方法便显得有为重要。死锁的产生一般的原因有
两点:竞争资源和进程间推进顺序非法。因此,我们只需在当前的有限资源
下,找到一组合法的执行顺序,便能很好的避免死锁,我们称它为安全序列。
而银行家算法起源于银行系统的发放贷款,和计算机操作系统的资源分配完
全符合,因此可以借鉴该算法的思想,设计出一种有效的算法程序,解决该
问题。
1.2 课题意义
(1)运用软件工程的方法指导设计和实现,即是对这学期刚刚学过的软件
工程课的复习,又是一次实战演练,从而提高自己的分析问题,解决问题和动手
能力;
(2)通过整个算法的设计与实现进一步加深了对算法的理解和多道程序下
的计算机系统资源分配现状,为以后进一步的学习打下了良好的基础。
1.3 银行家算法
我们可以把操作系统看作是银行家,操作系统管理的资源相当于银行家管理
的资金,进程向操作系统请求分配资源相当于用户向银行家贷款。
为保证资金的安全,银行家规定:
(1) 当一个顾客对资金的最大需求量不超过银行家现有的资金时就可接
纳该顾客;
1
操作系统课程设计报告
(2) 顾客可以分歧贷款,但贷款的总数不能超过最大需求量;
(3) 当银行家现有的资金不能满足顾客尚需的贷款数额时,对顾客的贷款
可推迟支付,但总能使顾客在有限的时间里得到贷款;
(4) 当顾客得到所需的全部资金后,一定能在有限的时间里归还所有的资
金.
操作系统按照银行家制定的规则为进程分配资源,当进程首次申请资源
时,要测试该进程对资源的最大需求量,如果系统现存的资源可以满足它的最大
需求量则按当前的申请量分配资源,否则就推迟分配。当进程在执行中继续申请
资源时,先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进
程对资源的最大需求量。若超过则拒绝分配资源,若没有超过则再测试系统现存
的资源能否满足该进程尚需的最大资源量,若能满足则按当前的申请量分配资
源,否则也要推迟分配。
1.4 死锁
死锁是进程死锁的简称,是由 Dijkstra 于 1965 年研究银行家算法时首先提
出来的。是指多个进程循环等待它方占有的资源而无限期地僵持下去的局面。很
显然,如果没有外力的作用,那麽死锁涉及到的各个进程都将永远处于封锁状态。
它是计算机操作系统乃至并发程序设计中最难处理的问题之一。实际上,死锁问
题不仅在计算机系统中存在,在我们日常生活中它也广泛存在。
在计算机系统中,涉及软件,硬件资源都可能发生死锁。例如:系统中只有
一台 CD-ROM 驱动器和一台打印机,某一个进程占有了 CD-ROM 驱动器,又申请打
印机;另一进程占有了打印机,还申请 CD-ROM。结果,两个进程都被阻塞,永
远也不能自行解除。
1.5 安全性序列
安全序列的的实际意义在于:系统每次进行资源分配后,如果对于系统中
新的资源状况,存在一个安全序列,则至少存在一条确保系统不会进入死锁
的路径。按照该序列,银行家可以实施一个有效的分配过程使得所有客户得
到满足
银行家算法的核心在于安全序列的产生。安全序列正是一种安全的进程推
进顺序
2
2 需求分析
2 需求分析
2.1 问题描述
运用银行家算法,避免死锁的发生。在确保当前系统安全的前提下推进的。
对进程请求先进行安全性检查,来决定资源分配与否,从而确保系统的安全,有
效的避免了死锁的发生。
问题的关键在于安全性算法,即找安全性序列。
2.2 基本要求
(1)从键盘输入当前系统的资源信息,包括当前可用资源,每个进程对各类
资源的最大需求量,每个进程当前已分配的各个资源量和每个进程尚需要的各个
资源量,输出结果显示在 DOS 界面上;
(2)输入进程请求,按照设计好的安全性算法进行检查,得到结果并输出整
个执行过程的相关信息和最终结果(主要包括资源分配表和安全序列)
(3)要求要有各种异常的处理,程序的可控制性和可连续性执行。包括对进
程的存在有无检查,请求向量的不合法检查,试分配失败后的数据恢复和重新接
受进程请求等。
2.3 数据流模型
输入信息
输
出
结
果
初始化
安全性检查
试分配
安全性检查
3
3 概要设计
3 概要设计
3.1 模块的划分
由于该算法规模较小,所以选用结构化的设计方法,将该系统划为五块,分别
是:
(1)主模块,处在整个系统的最高层,负责组织调用其他模块。
(2)初始化模块,负责从键盘读入系统资源和进程状态,并将系统初识资源分
配状态打印。
(3)试分配模块,负责处理进程请求,和相应的数据结构的修改,已经特殊情
况的处理。
(4)安全性检查,负责试分配后的安全性检查,以及系统不安全时的资源恢复。
3.2 模块调用关系
各模块之间的调用如下图示:
主模块
Main()
初始化
Init_process()
试分配
安全性检查
Attempt_Allocation()
Safety_Algorithm()
3.3 各模块之间的接口
4