- 1、本文档共4页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
实验二银行家算法模拟
实验学时:2
实验类型:设计
实验要求:必修
一、 实验目的
(1) 进一步理解利用银行家算法避免死锁的问题;
(2) 在了解和掌握银行家算法的基础上,编制银行家算法通用程序,将调试结果显示 在计算机屏幕上,再检测和笔算的一致性。
(3) 理解和掌握安全序列、安全性算法
二、 实验内容
(1) 了解和理解死锁;
(2) 理解利用银行家算法避免死锁的原理;
(3 )会使用某种编程语言。
三、 实验原理
(一)安全状态
指系统能按照某种顺序如<P1,P2,…,Pn>(称为<P1,P2,…,Pn>序列为安全序列 ),为每个
进程分配所需的资源,直至最大需求,使得每个进程都能顺利完成。
(二)银行家算法
假设在进程并发执行时进程 i提出请求j类资源k个后,表示为Requesti[j]=k 。系统
按下述步骤进行安全检查:
(1) 如果Requesti < Needi则继续以下检查,否则显示需求申请超出最大需求值的错误。
(2) 如果Requesti < Available 则继续以下检查,否则显示系统无足够资源,Pi阻塞等待。
(3 )系统试探着把资源分配给进程 Pi,并修改下面数据结构中的数值:
Available [j ]: =Available [j ] -Requesti [j ];
Allocation [i,j ]: =Allocation [i,j ] +Requesti [j ];
Need [ i,j ]: =Need : i,j : -Requesti [j :;
(4)系统执行安全性算法,检查此次资源分配后,系统是否处于安全状态。若安全,才正 式将资源分配给进程 Pi,以完成本次分配;否则, 将本次的试探分配作废,恢复原来的资
源分配状态,让进程 Pi等待。
(三)安全性算法
(1 )设置两个向量:
工作向量 Work:它表示系统可提供给进程继续运行所需的各类资源数目,它含有 m
个元素,在执行安全算法开始时, Work: =Available;
Fi ni sh: 它表示系统是否有足够的资源分配给进程,使之运行完成。开始时先做
Finish [i]: =false; 当有足够资源分配给进程时, 再令Finish [i ]: =true 。
(2)从进程集合中找到一个能满足下述条件的进程:
① Finish [ i ] =false;
②Need [i,j ]< Work :j ];若找到, 执行步骤(3),否则,执行步骤⑷。
当进程Pi获得资源后,可顺利执行,直至完成,并释放出分配给它的资源, 故应执行:
? Work :j ]: = Work : i : +Allocation [i,j :;
? Finish [i ]: = true;
? go to step 2;
如果所有进程的 Finish [i ] =true都满足, 则表示系统处于安全状态;否则,系统
处于不安全状态。
四、实验算法(1)参考图1-1所示流程图编写安全性算法。开始V初始化Work和FinishNY存在 Finish[i] =false&&Need[i][j]< Available^
四、
实验算法
(1)
参考图1-1所示流程图编写安全性算法。
开始
V
初始化Work和Finish
N
Y
存在 Finish[i] =false
&&Need[i][j]< Available^
Finish[i]=true , Work[j]=Work[j]+ Allocation^]
N
Y
Y
输岀安全序列
所有进程都找完了?
所有finish都为true ?
图1-1安全性算法流程图
(2 )编写统一的输出格式。
每次提出申请之后输出申请成功与否的结果。 如果成功还需要输出变化前后的各种数据,
并且输出安全序列。
参考图1-2所示流程图编写银行家算法。
(4 )编写主函数来循环调用银行家算法。
开始岀错返回:return(erro岀错返回:(进程阻
开始
岀错返回:
return(erro
岀错返回:(进程阻
塞)
return(error)
申请成功。输岀各种
数据的变化
以上分配作废,恢复原来的分配状态:
Availablej = Available[j] + Request[i][j]
Allocation[i][j]= Allocation[i][j] — Request[i][j]
Need[i][j] = Need[i][j]+Request[i][j]
结束
图1-2银行家算法流程图
六、思考题
在编程中遇到了哪些问题?你是如何解决的?
在安全性算法中,为什么不用变量 Available ,而又定义一个临时变量 work ?
文档评论(0)