




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、 实验二:死锁的检测和预防一、 实验目的1、进一步了解进程的并发执行。2、加强对进程死锁的理解3、是用银行家算法完成死锁检测二、 实验内容给出进程需求矩阵c、资源向量r以及一个进程的申请序列。使用进程启动拒绝和资源分配拒绝(银行家算法)模拟该进程组的执行情况。要求:初始状态没有进程启动计算每次进程申请是否分配?如:计算出预分配后的状态情况(安全状态、不安全状态),如果是安全状态,输出安全序列。每次进程申请被允许后,输出资源分配矩阵a和可用资源向量v。每次申请情况应可单步查看,如:输入一个空格,继续下个申请 三、 实验环境vc+四、 实验原理及实验思路1、安全状态:如果存在一个由系统中所有进程构
2、成的安全序列p1,pn,则系统处于安全状态。安全状态一定是没有死锁发生。 2、不安全状态:不存在一个安全序列。不安全状态一定导致死锁。 安全序列:一个进程序列p1,pn是安全的,如果对于每一个进程pi(1in),它以后尚需要的资源量不超过系统当前剩余资源量与所有进程pj(ji)当前占有资源量之和。 3、银行家算法: 我们可以把操作系统看作是银行家,操作系统管理的资源相当于银行家管理的资金,进程向操作系统请求分配资源相当于用户向银行家贷款。操作系统按照银行家制定的规则为进程分配资源,当进程首次申请资源时,要测试该进程对资源的最大需求量,如果系统现存的资源可以满足它的最大需求量则按当前的申请量分配
3、资源,否则就推迟分配。当进程在执行中继续申请资源时,先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进程对资源的最大需求量。若超过则拒绝分配资源,若没有超过则再测试系统现存的资源能否满足该进程尚需的最大资源量,若能满足则按当前的申请量分配资源,否则也要推迟分配。4、银行家算法的思路: 1),进程一开始向系统提出最大需求量. 2),进程每次提出新的需求(分期贷款)都统计是否超出它事先提出的最大需求量. 3),若正常,则判断该进程所需剩余剩余量(包括本次申请)是否超出系统所掌握的 剩余资源量,若不超出,则分配,否则等待. 5、银行家算法的数据结构:1),系统剩余资源量an,其中an表示
4、第i类资源剩余量. 2),各进程最大需求量,bmn,其中bji表示进程j对i 类资源最大需求. 3),已分配资源量cmn,其中cji表示系统j程已得到的第i资源的数量. 4),剩余需求量.dmn,其中dji对第i资源尚需的数目.五、 流程图银行家算法:安全检测:六、 源代码#include string.h #include #include #define m 5 #define n 3 #define false 0 #define true 1 /*m个进程对n类资源最大资源需求量*/ int maxmn=7,5,3,3,2,2,9,0,2,2,2,2,4,3,3; /*系统可用资源数*
5、/ int availablen=10,5,7; /*m个进程对n类资源已经分配数量*/ int allocationmn=0,0,0,0,0,0,0,0,0,0,0,0,0,0,0; /*m个进程还需要n类资源的资源量 */ int needmn=7,5,3,3,2,2,9,0,2,2,2,2,4,3,3; /*m个进程还需要n类资源的资源量*/ int requestn=0,0,0; void main() int i=0,j=0; char flag=y; char finishflag=y;void showdata(); void changdata(int); void rstor
6、data(int); int chkerr(int); showdata(); while(finishflag=y|finishflag=y) /可以分配资源 i=-1; while(i=m) /判断申请的资源号是否有效 printf(请输入需申请资源的进程号(从0到%d,否则重输入!):,m-1); scanf(%d,&i); if(i=m)printf(输入的进程号不存在,重新输入!n); printf(请输入进程%d申请的资源数n,i); for (j=0;jneedij) /进程申请资源数大于进程还需要的资源 printf(进程%d申请的资源数大于进程%d还需要%d类资源的资源量!申
7、请不合理,出错!请重新选择!n,i,i,j); flag=n; break; else if(requestjavailablej) /进程申请资源数大于系统可用该类资源量 printf(进程%d申请的资源数大于系统可用%d类资源的资源量!申请不合理,出错!请重新选择!n,i,j); flag=n; break; if(flag=y|flag=y) int result;changdata(i); result=chkerr(i);if(result=1) rstordata(i); showdata(); else showdata(); /else /showdata(); printf(
8、n); printf(是否继续银行家算法演示,按y或y键继续,按n或n键退出演示: ); getchar();scanf(%c,&finishflag); void showdata() /显示各类资源的分配情况 int i,j; printf(系统可用的资源数为:n); printf( ); for (j=0;jn;j+) printf( 资源%d:%d ,j,availablej); printf(n); printf(各进程还需要的资源量:n); for (i=0;im;i+) printf( 进程%d ,i); for (j=0;jn;j+) printf(资源%d:%d ,j,nee
9、dij); printf(n); printf(各进程已经得到的资源量: n); for (i=0;im;i+) printf( 进程%d ,i); for (j=0;jn;j+) printf(资源%d:%d ,j,allocationij); printf(n); void changdata(int k) int j; for (j=0;jn;j+) availablej=availablej-requestj; allocationkj=allocationkj+requestj; needkj=needkj-requestj; void rstordata(int k) int j;
10、 for (j=0;jn;j+) availablej=availablej+requestj; allocationkj=allocationkj-requestj; needkj=needkj+requestj; int chkerr(int s) /检查是否能够分配该资源 int work,finishm,tempm; int i,j,k=0; for(i=0;im;i+)finishi=false; for(j=0;jn;j+) work=availablej; i=s; while(im) if (finishi=false&needij=work) work=work+allocationij; finishi=true; tempk=i; k+; i=0; else i+; for(i=0;im;i+) if(finishi=false) printf(n系统不安全! 本次资源申请不成功!nn); return 1; printf(n经安全性检查,系统安全,本次分配成功。nn);
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- GB/T 41762.1-2025纤维增强塑料复合材料层合板厚度方向性能的测定第1部分:直接拉伸和压缩试验
- 起重指挥考试题库及答案
- 森林火灾防治知识培训课件
- 森林消防扑灭火课件
- 桥梁预算编制课件
- 桥梁行车安全知识培训课件
- 风湿免疫科医师应聘试题试卷(临床专业)含答案
- 2025主管护师冲刺试题专业知识题目附答案
- 2025年气排球裁判试题库及答案
- 桥梁基础及下部结构
- 《海上风电场工程测量规程》(NB-T 10104-2018)
- 物业保安、保洁项目投标书
- 2022智慧建筑评价标准
- 《危险化学品目录(2022调整版)》
- 高中信息技术开学第一课课件
- 【公开课】北师大版四年级上册数学《乘法分配律说课》课件
- 广东省义务教育阶段学生转学申请表
- 挫折是成长的必修课主题教育PPT模板
- 网络摄像机-模组接口规格书精简板
- 社工政策与法规
- 绿茶多酚及超级灵芝萃取物与预防癌症之关系博士
评论
0/150
提交评论