版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、计算机操作系统实验报告 一、 实验名称:银行家算法二、 实验目的:银行家算法是避免死锁的一种重要方法,通过编写一个简单的银行家算法程序,加深了解有关资源申请、避免死锁等概念,并体会和了解死锁和避免死锁的具体实施方法。三、 问题分析与设计:1、算法思路:先对用户提出的请求进行合法性检查,即检查请求是否大于需要的,是否大于可利用的。若请求合法,则进行预分配,对分配后的状态调用安全性算法进行检查。若安全,则分配;若不安全,则拒绝申请,恢复到原来的状态,拒绝申请。2、银行家算法步骤:(1)如果Requestior =Need,则转向步骤(2);否则,认为出错,因为它所需要的资源数已超过它所宣布的最大值
2、。(2)如果Requestor=Available,则转向步骤(3);否则,表示系统中尚无足够的资源,进程必须等待。(3)系统试探把要求的资源分配给进程Pi,并修改下面数据结构中的数值: Available=Available-Requesti; Allocation=Allocation+Request;Need=Need-Request;(4)系统执行安全性算法,检查此次资源分配后,系统是否处于安全状态。 3、安全性算法步骤: (1)设置两个向量工作向量Work。它表示系统可提供进程继续运行所需
3、要的各类资源数目,执行安全算法开始时,Work=Allocation;布尔向量Finish。它表示系统是否有足够的资源分配给进程,使之运行完成,开始时先做Finishi=false,当有足够资源分配给进程时,令Finishi=true。(2)从进程集合中找到一个能满足下述条件的进程:Finishi=falseNeed<or=Work如找到,执行步骤(3);否则,执行步骤(4)。(3)当进程P获得资源后,可顺利执行,直至完成,并释放出分配给它的资源,故应执行:Work=Work+Allocation;Finishi=true; 转向步骤(2)。(4)如果所有进程的Finishi=true,
4、则表示系统处于安全状态;否则,系统处于不安全状态。四.程序源代码:#include <stdio.h>#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",&Availab
5、le0,&Available1,&Available2);printf("请输入最大需求数Max(格式:a,b,c)n");for(int j=0;j<5;j+)printf("进程%d:n",j);scanf("%d,%d,%d",&Maxj0,&Maxj1,&Maxj2);printf("请输入分配数Allocation(格式:a,b,c)n");for(j=0;j<5;j+)printf("进程%dn",j);scanf("%d
6、,%d,%d",&Allocationj0,&Allocationj1,&Allocationj2);/输入Max53,Available53,Allocation53for(j=0;j<5;j+)for(int i=0;i<3;i+)Needji=Maxji-Allocationji;/求出Need53main()printf(" 银行家算法 n");dispose();printf("安全性检查n");int Work3;/系统可提供进程继续运行所需的各类资源数char Finish5;/表示系统是否有足
7、够的资源分配for(int i=0;i<5;i+)Finishi='f'for(int k=0;k<3;k+)Workk=Availablek;int q5;for(int x=0;x<50;x+)printf("请输入一个序列:n");scanf("%d,%d,%d,%d,%d",&q0,&q1,&q2,&q3,&q4);for(i=0;i<5;i+) if(Needqi0<=Work0)&&(Needqi1<=Work1)&&(
8、Needqi2<=Work2)/比较Needij与Workj for(k=0;k<3;k+) Workk=Workk+Allocationqik; Finishi='t'if(Finish0='t')&&(Finish1='t')&&(Finish2='t')&&(Finish3='t')&&(Finish4='t')/通过Finishi判断系统是否安全break;elseprintf("此序列不是安全序列,请重新
9、输入一个序列!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<
10、;=Needa1)&&(Request2<=Needa2)/判断Requesti<=Needaiif(Request0<=Needa0)&&(Request0<=Needa1)&&(Request0<=Needa2)/判断Requesti<=Availableaifor(int k=0;k<3;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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 妇产科重症查房课件
- 妇产科模板下载课件
- 6-O-Galloyl-desbenzoylpaeoniflorin-生命科学试剂-MCE
- 分层的模板课件
- 粉尘爆炸防护课件
- 2026届高考英语读后续写专项复习守护妹妹的成长之旅
- 探索正在进行的AI驱动商业变革-以及当人工智能指导购买时如何竞争
- 核心素养背景下初中英语教学反思手册
- 高职软件技术专业教学资源库建设方案
- 公共建筑智慧运维平台建设方案
- 危险化学品从业培训课件
- 92DQ13 防雷与接地装置图集
- 苏州市吴江区“厂中厂”安全生产整治攻坚行动指导手册
- TD/T 1023-2010市(地)级土地利用总体规划编制规程
- 设备拆卸和安装合同协议
- DBJ51T 175-2021 四川省玄武岩纤维及其复合材料应用技术标准
- 基于核心素养的初中英语阅读教学策略讲座培训课件
- 房屋继承协议书范本
- 山西省灵丘县恒鑫源矿业有限公司东岐铁矿资源开发利用和矿山环境保护与土地 复垦方案
- 2023年航天十院招聘笔试参考题库附带答案详解
- 工程进度控制及措施
评论
0/150
提交评论