




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1/7洛阳理工学院实验报告系别计算机系班级学号姓名课程名称计算机操作系统实验日期2012/11/21实验名称银行家算法成绩实验目的:了解进程产生死锁的原因,了解为什么要进行死锁的避免。掌握银行家算法的数据结构,了解算法的执行过程,加深对银行家算法的理解。实验条件:微计一台、MicrosoftVisualStudio2008实验原理:n个并发进程共享m个系统资源的系统,进程可动态申请资源和释放资源。系统按各进程的申请动态的分配资源,先对用户提出的请求进行合法性检查,再进行预分配,利用安全性检测算法进行安全性检测,如果系统分配资源,系统进入安全状态,则预分配就是正式分配,如果系统分配资源,系统进入不安全状态,则撤销预分配。实验内容:#include<stdio.h>#include<string.h>#include"common.h"voidInint(int*,int*);voidrequestPredistribution(int,int*,int);//请求预分配voidrollbackPredistribution(int,int*,int);boolsafe(int,int);boolIsValidate(int,int*,int,int);voiddisplayInfo(int,int);voidmain(){ intprocess,resource,total,processNum,resourceNum; charch; boolisSafe=false,valid=false; do{ Inint(&processNum,&resourceNum); printf("T0时刻安全性:"); if(safe(processNum,resourceNum)) { isSafe=true; printf("存在安全序列故系统是安全的!\n安全序列为:"); for(inti=0;i<processNum;++i) { printf("P%d",safeSequence[i]); } printf("\n"); } if(!isSafe) { printf("T0时刻系统是不安全的,后续请求也没意义!重新输入数据:\n"); } }while(!isSafe); printf("T0时刻的安全序列\n"); displayInfo(processNum,resourceNum); do { do { printf("输入用户的多元请求组(i,r0,r1……rn)i为进程r0-n为各类资源个数:\n"); scanf("%d",&process); for(inti=0;i<resourceNum;++i) { scanf("%d",&Request[i]); } valid=IsValidate(process,Request,processNum,resourceNum); if(!valid) { printf("请求进程不存在或请求资源大于最大需求\n"); } }while(!valid); requestPredistribution(process,Request,resourceNum); if(safe(processNum,resourceNum)) { printf("P%d进程资源申请成功!\n安全序列为:",process); for(inti=0;i<processNum;++i) { printf("P%d",safeSequence[i]); } printf("P%d申请资源时的安全性检查¨¦\n",processNum); displayInfo(processNum,resourceNum); } else { rollbackPredistribution(process,Request,resourceNum); printf("安全序列不存在系统不予分配!\n"); } printf("是否退出[Y/N]"); fflush(stdin); ch=getchar(); }while(ch!='Y'&&ch!='y'); getchar();}voidInint(int*processNum,int*resourceNum){ intnum,type; printf("输入进程数量和资源种类:"); scanf("%d%d",&num,&type); *processNum=num; *resourceNum=type; printf("输入各类资源可用量:"); for(intj=0;j<type;++j) { scanf("%d",&Available[j]); } for(inti=0;i<num;++i) { printf("输入进程P%d已分配及还需各类资源数量,i); for(intj=0;j<type;++j) { scanf("%d",&Allocation[i][j]); } for(intj=0;j<type;++j) { scanf("%d",&Need[i][j]); } }}boolIsValidate(intprocess,int*requestResource,intprocessNum,intresourceNum){ if(process>processNum) { returnfalse; } for(inti=0;i<resourceNum;++i) { if(requestResource[i]>Need[process][i]||requestResource[i]>Available[process]) returnfalse; } returntrue;}voidrequestPredistribution(intprocess,int*requestResorce,intresourceNum)//请求预分配{ for(inti=0;i<resourceNum;++i) { Available[i]=Available[i]-Request[i]; Allocation[process][i]=Allocation[process][i]+Request[i]; Need[process][i]=Need[process][i]-Request[i]; }}voidrollbackPredistribution(intprocess,int*requestResorce,intresourceNum){ for(inti=0;i<resourceNum;++i) { Available[i]=Available[i]+Request[i]; Allocation[process][i]=Allocation[process][i]-Request[i]; Need[process][i]=Need[process][i]+Request[i]; }}boolsafe(intprocessNum,intresourceNum){ intnum=0,count=0,item=0; memset(safeSequence,-1,sizeof(safeSequence)); for(inti=0;i<resourceNum;++i) { Work[i]=Available[i]; } for(inti=0;i<processNum;++i) { Finish[i]=false; } for(inti=0;i<processNum;++i) { for(intj=0;j<processNum;++j) { count=0; if(!Finish[j]) { for(intk=0;k<resourceNum;++k) { if(Need[j][k]<=Work[k]) { ++count; } } if(count==resourceNum) { for(intk=0;k<resourceNum;++k) { tempWork[j][k]=Work[k]; Work[k]=Work[k]+Allocation[j][k]; } Finish[j]=true; safeSequence[item++]=j; break; } } } } for(inti=0;i<processNum;++i) { if(!Finish[i]) { returnfalse; } } returntrue;}voiddisplayInfo(intprocessNum,intresourceNum){ printf("|资源情况\tWork\tNeed\tAllocation\tFinish\n进程|___________________________________________________________________\n"); for(inti=0;i<processNum;++i) { intprocess=safeSequence[i]; printf("P%d",process); printf("\t\t"); for(intj=0;j<resourceNum;++j) { printf("%d",tempWork[process][j]); } printf("\t"); for(intj=0;j<resourceNum;++j) { printf("%d",Need[process][j]); } printf("\t\t"); for(intj=0;j<resourceNum;++j) { printf("%d",Allocation[process][j]); } printf("\t"); printf(Finish[i]?"true":"false"); printf("\n"); }}//common.h#defineM10#defineN10#definex10#definey10intAvailable[M];//M为资源的类型intAllocation[N][M];intNeed[N][M];int
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 互联网+农业金融服务模式及其风险管理
- 高职院校田径运动训练计划与实施的协调机制
- 多国法律与标准对跨境数据治理的协调
- 河南省周口市扶沟县2025届八年级数学第一学期期末质量跟踪监视试题含解析
- 2025至2030全球及中国白金戒指行业项目调研及市场前景预测评估报告
- 矿产资源采石场股份买卖协议
- 航空航天产业财税代理与研发费用加计扣除合同
- 老年人的健康饮食与烹饪技巧
- 液态金属电极行业投资机会与风险评估
- 高新技术在特定区域的产业化发展指导研究
- 福建省机关工作人员年度考核登记表
- JBT 7808-2010 无损检测仪器 工业X射线探伤机主参数系列
- DB44-T 2474-2024 自然教育标识设置指引
- 研学基地合作协议
- 驾驶员行为规范管理制度
- (高清版)JTG D81-2017 公路交通安全设施设计规范
- 《锅炉水介质检验导则标准-征求意见稿》
- 2023年阳江市阳东区教育局招聘事业编制教师考试真题
- 利用隐私保护技术实现网络爬虫安全抓取
- 成本会计岗位竞聘稿
- 2024年新版消防设施操作员初级考试题库(含答案)
评论
0/150
提交评论