南华大学计算机科学与技术学院实验报告课程名称操作系统I姓名学号ﻩ专业班级任课教师日期实验内容死锁得检测与解除实验目得掌握操作系统得进程管理与资源分配原理，掌握对操作系统安全性检验与死锁得解除得原理与方法。实验题目系统中有m个同类资源被n个进程共享,每个进程对资源得最大需求数分别为Ｓ１,Ｓ２,…,Sn,且Max(Ｓi）<=m,(ｉ＝1,2，…n)。进程可以动态地申请资源与释放资源。编写一个程序,实现银行家算法,当系统将资源分配给某一进程而不会死锁时，就分配之。否则,推迟分配,并显示适当得信息。分别使用检测“进程—资源循环等待链”得方法与Ｃoffmaｎ得算法来检测进程得死锁状态。对于相同得进程资源分配、占用次序,比较两个算法得结果。四、设计思路与流程图1、输入系统进程数量ｎ与资源类型数量m。2、输入每类资源得数量。3、输入每个进程每类资源得最大需求量与已获资源量。4、检验系统得安全。５、若检测结果为系统不安全，可以对死锁进行解除,直到安全为止再检测。６、重复５操作,直到所有进程运行完毕。主要数据结构及其说明ｉｎtMａｘ[100][100]=｛0}；//各进程所需各类资源得最大需求；ｉnｔAｖailabｌe［10０]={０};//系统可用资源;cｈarNaｍe[１00］={０}；//资源得名称；intAllocaｔｉon[1０0][100］=｛0};/／系统已分配资源；iｎtＮeed[10０][100]＝{０}；//还需要资源intReｑｕest[100]=｛0};／/请求资源向量;intTemp[10０]＝｛０};/／存放安全序列;intＷork[100]={0};//存放系统可提供资源;boｏlＦｉniｓｈ[100］＝｛0｝；//存放已完成得序列源程序并附上注释#inｃlude"ｓtdafx、h"＃ｉnｃlｕｄｅ<iostｒeam>ﻭ#defiｎeFalse０#definｅTruｅ1ｕsingnａmeｓｐacestd;ﻭｉnｔMax［10０］［100]={0};//各进程所需各类资源得最大需求;intAvａilable[100]＝{0｝;//系统可用资源;ｃharName[100]={0};/／资源得名称;ｉntAllｏｃａtｉon[100][100]＝{0};/／系统已分配资源；inｔＮｅed［１００］［100]＝｛0};/／还需要资源intＲequest［100]=｛０}；／/请求资源向量;ｉｎtTemp[10０]={0}；//存放安全序列;ｉnｔＷorｋ[100]=｛0}；//存放系统可提供资源;boolFｉnｉsh[1０0]={0};iｎtM=１00;//作业得最大数intN=100;／/资源得最大数intl=0;/／记录安全进程得TEMP下标voｉdShｏwＤata()／/初始化资源矩阵ﻭ{iｎｔi,j;ｃout＜<"系统可用资源[Ａvａilablｅ]:"＜<enｄl;for(i=0;ｉ<N；ｉ++)cout<<Naｍe[i]＜＜"＂;ｃout<<endl;ｆoｒ(j=0;j＜N；j＋＋)cｏut<<Availａbｌe［j]<<""；//显示可分配得资源cｏｕt<<endｌ；ｃoｕt<<"ＭaxＡllocationNeed＂<＜ｅndｌ;couｔ＜<"进程名＂；for(j=0；j<3;j++）//ＭＡXＡLLOCATIONNＥEＤ共列{fｏr（ｉ=0;i<N;i＋＋){cout<＜Name［ｉ]<<""；｝cｏｕt<<""；}ｃｏut＜<endｌ；ｆor(i=0;i<Ｍ;i+＋){cｏut<＜""<<i<<"";//输出进程名for(j=0;ｊ<Ｎ;j+＋)cout<＜Max[i][j]<<""；/／输出最大cout<<"";ｆｏr(j=0;j＜N;j++)coｕt<<Aｌｌoｃation［ｉ][ｊ]＜<"";／/输出已分配cｏｕt<<"";for（ｊ=0;j<N;j+＋)cout<＜Nｅed[i][ｊ］<<＂"；//输出需求cout<<endl;}}ﻭboｏｌSafe()//安全性算法{iｎｔｉ,j,ｋ;for(i＝０；i<N；i++)Wｏrk[ｉ］=Avａiｌaｂlｅ[i];//初始化工作向量ﻭfor(i＝０;i＜Ｍ；ｉ++){Fiｎish[i]=faｌｓｅ;//判断进程ｉ就是否已执行}ｆor(i=0;i＜M;i++）{if（Finｉsh[i］==truｅ){ｃoｎtinue;}ｅｌse{for(ｊ=0;j<Ｎ;ｊ＋＋)//验证每一个资源得需求量就是否小于可用资源量{if(Ｎeｅd［i][j]>Ｗork［j］)｛