死锁-银行家算法实验报告Word格式文档下载.doc
《死锁-银行家算法实验报告Word格式文档下载.doc》由会员分享，可在线阅读，更多相关《死锁-银行家算法实验报告Word格式文档下载.doc（10页珍藏版）》请在冰豆网上搜索。
这也是一个M*N的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。
4.需求矩阵NEED。
这也是一个M*N的矩阵，用以表示每一个进程尚需的各类资源数。
5.NEED[R,W]=MAX[R,W]-ALLOCATION[R,W]
4.主要的常量变量
#defineW10//最大进程数W=10
#defineR20//最大资源总数R=20
intAVAILABLE[R];
//可利用资源向量
intMAX[W][R];
//最大需求矩阵
intALLOCATION[W][R];
//分配矩阵
intNEED[W][R];
//需求矩阵
intRequest[R];
//进程请求向量
voidchangdata（intk）;
//进程请求资源数据改变
intchksec（ints）;
//系统安全性的检测
5.主要模块
voidinputdata（）
voidshowdata（）
voidchangdata（intk）
voidrestoredata（intk）
intchksec（ints）
intchkmax（ints）
四、实验代码
#include<
string.h>
iostream.h>
#defineFALSE0
#defineTRUE1
#defineR20//最大资源总数R=20
intM;
intN;
intALL_RESOURCE[W];
voidinputdata（）;
//数据输入
voidshowdata（）;
//数据显示
voidrestoredata（intk）;
//数据恢复
intchkmax（ints）;
//检测最大需求
voidbank（）;
//检测分配的资源是否合理
voidmain（）
{inti,j;
inputdata（）;
for（i=0;
i<
M;
i++）
{ j=chksec（i）;
if（j==0）break;
}
if（i>
=M）
cout<
<
"
错误提示：
经安全性检查发现，系统的初始状态不安全！
！
\n"
endl;
else
{cout<
提示：
经安全性检查发现，系统的初始状态安全！
bank（）;
}
}
{ inti=0,j=0,p;
cout<
请输入总进程数:
do{
cin>
>
if（M>
W）cout<
endl<
总进程数超过了程序允许的最大进程数，请重新输入:
}while（M>
W）;
请输入资源的种类数:
do{cin>
N;
if（N>
R）
cout<
资源的种类数超过了程序允许的最大资源种类数，请重新输入:
}while（N>
R）;
请依次输入各类资源的总数量，即设置向量all_resource:
i++） cin>
ALL_RESOURCE[i];
请依次输入各进程所需要的最大资源数量，即设置矩阵max:
for（i=0;
{
for（j=0;
j<
j++）
{
do{cin>
MAX[i][j];
if（MAX[i][j]>
ALL_RESOURCE[j]）
cout<
该最大资源数量超过了声明的该资源总数,请重新输入:
}while（MAX[i][j]>
ALL_RESOURCE[j]）;
}
请依次输入各进程已经占据的各类资源数量，即设置矩阵allocation:
for（j=0;
{
do{ cin>
ALLOCATION[i][j];
if（ALLOCATION[i][j]>
MAX[i][j]）
cout<
已占有的资源数量超过了声明的最大资源数量,请重新输入:
}while（ALLOCATION[i][j]>
MAX[i][j]）;
}
for（j=0;
NEED[i][j]=MAX[i][j]-ALLOCATION[i][j];
for（j=0;
{ p=ALL_RESOURCE[j];
for（i=0;
{p=p-ALLOCATION[i][j];
AVAILABLE[j]=p;
if（AVAILABLE[j]<
0）
AVAILABLE[j]=0;
voidshowdata（）
各种资源的总数量，即向量all_resource为:
"
;
cout<
资源"
:
ALL_RESOURCE[j];
当前系统中各类资源的可用数量，即向量available为:
AVAILABLE[j];
各进程还需要的资源数量，即矩阵need为:
i++）
{cout<
进程P"
"
for（j=0;
cout<
NEED[i][j]<
"
cout<
}
各进程已经得到的资源量，即矩阵allocation为:
{ cout<
"
cout<
ALLOCATION[i][j]<
"
}cout<
}
{ intj;
for（j=0;
j++）
{
AVAILABLE[j]=AVAILABLE[j]-Request[j];
ALLOCATION[k][j]=ALLOCATION[k][j]+Request[j];
NEED[k][j]=NEED[k][j]-Request[j];
}
{
intj;
{ AVAILABLE[j]=AVAILABLE[j]+Request[j];
ALLOCATION[k][j]=ALLOCATION[k][j]-Request[j];
NEED[k][j]=NEED[k][j]+Request[j];
intWORK,FINISH[W];
inti,j,k=0;
for（i=0;
FINISH[i]=FALSE;
for（j=0;
{ WORK=AVAILABLE[j];
i=s;
do
{ if（FINISH[i]==FALSE&
&
=WORK）
{
WORK=WORK+ALLOCATION[i][j];
FINISH[i]=TRUE;
i=0;
}els
升级会员 