




已阅读5页,还剩3页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
计算机操作系统实验报告 一、 实验名称:银行家算法二、 实验目的:银行家算法是避免死锁的一种重要方法,通过编写一个简单的银行家算法程序,加深了解有关资源申请、避免死锁等概念,并体会和了解死锁和避免死锁的具体实施方法。三、 问题分析与设计:1、算法思路:先对用户提出的请求进行合法性检查,即检查请求是否大于需要的,是否大于可利用的。若请求合法,则进行预分配,对分配后的状态调用安全性算法进行检查。若安全,则分配;若不安全,则拒绝申请,恢复到原来的状态,拒绝申请。2、银行家算法步骤:(1)如果Requestior =Need,则转向步骤(2);否则,认为出错,因为它所需要的资源数已超过它所宣布的最大值。(2)如果Requestor=Available,则转向步骤(3);否则,表示系统中尚无足够的资源,进程必须等待。(3)系统试探把要求的资源分配给进程Pi,并修改下面数据结构中的数值: Available=Available-Requesti; Allocation=Allocation+Request;Need=Need-Request;(4)系统执行安全性算法,检查此次资源分配后,系统是否处于安全状态。 3、安全性算法步骤: (1)设置两个向量工作向量Work。它表示系统可提供进程继续运行所需要的各类资源数目,执行安全算法开始时,Work=Allocation;布尔向量Finish。它表示系统是否有足够的资源分配给进程,使之运行完成,开始时先做Finishi=false,当有足够资源分配给进程时,令Finishi=true。(2)从进程集合中找到一个能满足下述条件的进程:Finishi=falseNeedor=Work如找到,执行步骤(3);否则,执行步骤(4)。(3)当进程P获得资源后,可顺利执行,直至完成,并释放出分配给它的资源,故应执行:Work=Work+Allocation;Finishi=true; 转向步骤(2)。(4)如果所有进程的Finishi=true,则表示系统处于安全状态;否则,系统处于不安全状态。四.程序源代码:#include #define W 5/最大进程数W=5#define R 3/最大资源总数=3int Available3;/可利用资源向量int Max53;/最大需求矩阵int Allocation53; /分配矩阵int Need53;/需求矩阵int Request3;/进程请求向量void dispose()printf(请输入可利用资源向量Available(格式:a,b,c)n);scanf(%d,%d,%d,&Available0,&Available1,&Available2);printf(请输入最大需求数Max(格式:a,b,c)n);for(int j=0;j5;j+)printf(进程%d:n,j);scanf(%d,%d,%d,&Maxj0,&Maxj1,&Maxj2);printf(请输入分配数Allocation(格式:a,b,c)n);for(j=0;j5;j+)printf(进程%dn,j);scanf(%d,%d,%d,&Allocationj0,&Allocationj1,&Allocationj2);/输入Max53,Available53,Allocation53for(j=0;j5;j+)for(int i=0;i3;i+)Needji=Maxji-Allocationji;/求出Need53main()printf( 银行家算法 n);dispose();printf(安全性检查n);int Work3;/系统可提供进程继续运行所需的各类资源数char Finish5;/表示系统是否有足够的资源分配for(int i=0;i5;i+)Finishi=f;for(int k=0;k3;k+)Workk=Availablek;int q5;for(int x=0;x50;x+)printf(请输入一个序列:n);scanf(%d,%d,%d,%d,%d,&q0,&q1,&q2,&q3,&q4);for(i=0;i5;i+) if(Needqi0=Work0)&(Needqi1=Work1)&(Needqi2=Work2)/比较Needij与Workj for(k=0;k3;k+) Workk=Workk+Allocationqik; Finishi=t;if(Finish0=t)&(Finish1=t)&(Finish2=t)&(Finish3=t)&(Finish4=t)/通过Finishi判断系统是否安全break;elseprintf(此序列不是安全序列,请重新输入一个序列!n);if(x=49)return 0;printf(这个系统安全!n);int a;printf(请输入Request进程:n);scanf(%d,&a);printf(该进程Request(a,b,c)n);scanf(%d,%d,%d,&Request0,&Request1,&Request2);/输入请求量Request3if(Request0=Needa0)&(Request1=Needa1)&(Request2=Needa2)/判断Requesti=Needaiif(Request0=Needa0)&(Request0=Needa1)&(Request0=Needa2)/判断Requesti=Availableaifor(int k=0;k3;k+)Availablek=Availablek-Requestk; Allocationak=Allocationak+Requestk; Needak=Needak-Requestk;/如果上述判断成功,则修改相应的Availablek,Allocationak,Needakprintf(资源分配成功!n);elseprintf(资源分配失败!n);return 0;elseprintf(资源分配
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年企业员工岗前安全培训考试试题答案必考
- 2025年新职工入场安全培训考试试题答案下载
- 2025年管理人员岗前安全培训考试试题附完整答案(考点梳理)
- 2025担保合同的有效条件及要求
- 2025年度技术合作协议 智慧城市规划技术服务委托合同
- 厨电双十一营销活动方案
- 2025城镇公寓楼买卖合同
- 2025年PCB精密定位材料项目建议书
- 2025授权加盟合同范本
- 2025年烟尘、粉尘自动采样器及测定仪项目合作计划书
- 新版医疗机构消毒技术规范
- 【波司登羽绒服公司员工招聘问题调研8500字】
- 制度梳理表(总表)
- 睾丸肿瘤课件
- 医学伦理审查委员会的组成与职能
- 终端导购培训-高级导购销售培训
- 空调冷却冷冻水管道系统详细的施工方案设计
- 安全运输医疗垃圾的要点
- 关于员工心理健康的重要性
- 刑事案件模拟法庭剧本完整版五篇
- 2022年高考全国I卷数学高考真题(原卷版)
评论
0/150
提交评论