操作系统实验报告(银行家算法c语言描述)

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