死锁_银行家算法实验报告

实验目的

银行家算法是避免死锁的一种重要方法。通过编写一个模拟动态资源分配的银行家算法程序，进一步深入理解死锁、产生死锁的必要条件、安全状态等重要概念，并掌握避免死锁的具体实施方法

二、实验要求

根据银行家算法的基本思想，编写和调试一个实现动态资源分配的模拟程序，并能够有效地防止和避免死锁的发生。

（1）设计思想说明

设计银行家算法是为了避免死锁

三、实验方法内容

1.算法设计思路

银行家算法又称“资源分配拒绝”法，其基本思想是，系统中的所有进程放入进程集合，在安全状态下系统受到进程的请求后试探性的把资源分配给他，现在系统将剩下的资源和进程集合中其他进程还需要的资源数做比较，找出剩余资源能满足最大需求量的进程，从而保证进程运行完成后还回全部资源。这时系统将该进程从进程集合中将其清除。此时系统中的资源就更多了。反复执行上面的步骤，最后检查进程的集合为空时就表明本次申请可行，系统处于安全状态，可以实施本次分配，否则，只要进程集合非空，系统便处于不安全状态，本次不能分配给他。请进程等待

2.算法流程图

3.算法中用到的数据结构

数据结构的说明

1.可利用资源向量AVAILABLE。这是一个含有M个元素的数组，其中的每一个元素代表一类可利

用的资源数目，其3初始值是系统中所配置的该类全部可哦那个资源的数目，其数值随该类资源

的分配和回收而动态的改变。

2.最大需求矩阵MAX。这是一个M*N的矩阵，它定义了系统中N个进程中的每一个进程对M类资源

的最大需求。

3.分配矩阵ALLOCATION。这也是一个M*N的矩阵，它定义了系统中每一类资源当前已分配给每一

进程的资源数。

4.需求矩阵NEED。这也是一个M*N的矩阵，用以表示每一个进程尚需的各类资源数。

5.NEED[R,W]=MAX[R,W]-ALLOCATION[R,W]

4.主要的常量变量

#define W 10 //最大进程数W=10

#define R 20 //最大资源总数R=20 int AVAILABLE[R]; //可利用资源向量

int MAX[W][R]; //最大需求矩阵

int ALLOCATION[W][R]; //分配矩阵

int NEED[W][R]; //需求矩阵

int Request[R]; //进程请求向量

void changdata(int k);//进程请求资源数据改变

int chksec(int s); //系统安全性的检测

5.主要模块

void inputdata()

void showdata()

void changdata(int k)

void restoredata(int k) int chksec(int s)

int chkmax(int s)

四、实验代码

#include

#include

#define FALSE 0

#define TRUE 1

#define W 10 //最大进程数W=10

#define R 20 //最大资源总数R=20

int M ;

int N ;

int ALL_RESOURCE[W];

int AVAILABLE[R]; //可利用资源向量

int MAX[W][R]; //最大需求矩阵

int ALLOCATION[W][R]; //分配矩阵

int NEED[W][R]; //需求矩阵

int Request[R]; //进程请求向量

void inputdata(); //数据输入

void showdata(); //数据显示

void changdata(int k);//进程请求资源数据改变

void restoredata(int k); //数据恢复

int chksec(int s); //系统安全性的检测

int chkmax(int s); //检测最大需求

void bank(); //检测分配的资源是否合理

void main()

{ int i,j;

inputdata();

for(i=0;i

{ j=chksec(i);

if (j==0) break;

}

if (i>=M)

cout<<"错误提示：经安全性检查发现，系统的初始状态不安全\n"<

else

{ cout<<"提示：经安全性检查发现，系统的初始状态安全！"<

bank();

}

}

void inputdata()

{ int i=0,j=0,p;

cout<<"请输入总进程数:"<

do{

cin>>M;

if (M>W) cout<

}while (M>W);

cout<

cout<<"请输入资源的种类数:"<

do {cin>>N;

if (N>R)

cout<R);

cout<

cout<<"请依次输入各类资源的总数量，即设置向量all_resource:"<

for(i=0;i>ALL_RESOURCE[i];

cout<

cout<<"请依次输入各进程所需要的最大资源数量，即设置矩阵max:"<

for (i=0;i

{

for (j=0;j

{

do { cin>>MAX[i][j];

if (MAX[i][j]>ALL_RESOURCE[j])

cout<ALL_RESOURCE[j]);

}

}

cout<

cout<<"请依次输入各进程已经占据的各类资源数量，即设置矩阵allocation:"<

for (i=0;i

{

for (j=0;j

{

do{ cin>>ALLOCATION[i][j];

if (ALLOCATION[i][j]>MAX[i][j])

cout<

}while (ALLOCATION[i][j]>MAX[i][j]);

}

}

cout<

for (i=0;i

for(j=0;j

NEED[i][j]=MAX[i][j]-ALLOCATION[i][j];

for (j=0;j