操作系统课程设计报告—银行家算法

银行家算法实现 一、 概述 所谓死锁: 是指两个或两个以上的进程在执行过程中，因争夺资源而造成的一种僵局，当进程处于这种僵局状态时，若无外力作用，它们都将无法再向前推进。这就给计算机系统带来了问题，银行家算法就是一个避免死锁的算法。

我们可以把操作系统看作是银行家，操作系统管理的资源相当于银行家管理的资金，进程向操作系统请求分配资源相当于用户向银行家贷款。操作系统按照银行家制定的规则给进程分配资源，当进程首次申请资源时，要测试该进程对资源的最大需求量，如果系统现存的资源可以满足它的最大需求量则按当前的申请量分配资源，否则就推迟分配。

当进程在执行中继续申请资源时，先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进程对资源的最大需求量；若超过则拒绝分配资源，若没有超过则再测试系统现存的资源能否满足该进程尚需的最大资源量，若能满足则按当前的申请量分配资源，否则也要推迟分配。

二、设计目的 1、理解银行家算法； 2、掌握进程安全性检查的方法及资源分配的方法； 3、加深了解有关资源申请、避免死锁等概念； 4、体会和了解死锁和避免死锁的具体实施方法。 三、设计内容 用C++语言编写并调试一个银行家算法，简单模拟动态分配，观察死锁产生的条件，学习如何有效的防止和避免死锁的发生，掌握安全性算法。

四、开发环境：Microsoft visual C++ 6.0

五、设计思路 1、银行家算法中的数据结构 （1）、可利用资源向量Available。这是一个含有m个元素的数组，其中的每一个元素代表一类可利用的资源数目，其初始值是系统中所配置的该类全部可用资源的数目，其数值随该类资源的分配和回收而动态地改变。如果Available [j]= K，则表示系统中现有R类资源K个

（2）、最大需求矩阵Max。这是一个n*m的矩阵，它定义了系统中n个进程对m类资源的最大需求。如果Max[i,j]=K，则表示进程i需要R类资源的数目为K。

（3）、分配矩阵Allocation。这也是一个n*m的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation [i,j]=K，则表示进程i当前已分得R类资源的数目为K。

（4）、需求矩阵Need[][]。这也是一个n*m的矩阵，用以表示每一个进程尚需的各类资源数。如果Need [i,j]=K，则表示进程i还需要R类资源K个，才能完成其任务。

上述矩阵存在关系：Need[i,j]= Max[i,j]﹣Allocation[i,j] 2、银行家算法 设Requesti是进程Pi的请求向量，Requesti=K表示进程Pi需要K个j类资源。Pi发出资源请求后，按下列步骤进行检查：

（1）、如果requesti[j]≤need[i,j]，转向步骤（2）；否则认为错误，所需要的资源数已超过它所宣布的最大值。

（2）、如果requesti[j]≤available[j]，转向步骤（3）；否则，表示尚无足够资源，Pi需等待。

（3）、系统尝试将资源分配给进程Pi，并修改下面数据结构中的数值： Available[j]：=Available[j]-Requesti[j]； Allocation[i,j]：=Allocation[i,j]+ Requesti[j]； Need[i,j]：=Need[i,j]- Requesti[j]； （4）、执行安全性算法，检查此次资源分配后，系统是否出于安全状态。若安全， 才正式将资源分配给进程Pi，已完成本次分配；否则，将本次试探分配作废，恢复原来的资源分配状态，让Pi等待。

3、安全性检查算法 （1）、设置两个向量： ①、工作向量work：表示系统可提供给进程继续运行所需的各类资源数目，执行安全性算法开始时work：=available。 ②、finish标志：表示系统是否有足够的资源分配给进程，使之运行完成。初始化finish[i]:=false;有足够资源分配给进程时，令finish[i]：=true。

（2）、从进程集合中找到一个能满足下述条件的进程 ①finish[i]=false; ②Need[i,j]≤work[j];找到执行步骤（3），否则执行步骤（4）。 （3）、当进程Pi获得资源后，可顺利执行，直至完成，并释放出分配给它的资源，故应执行：

Work[j]：=work[i]+allocation[i,j]； Finish[i]：=true； Go to step ②； （4）、如果所有进程的finish[i]=true都满足，则表示系统处于安全状态；否则，系统处于不安全状态。

六、概要设计 1、主要代码： #define False 0 #define True 1 char name[50]={0};//资源名称 int Max[50][50]={0};//进程所需各类资源的最大需求 int Allocation[50][50]={0};//系统已分配资源 int Need[50][50]={0};//进程需求资源 int Available[50]={0};//系统可用资源向量 int Request[50]={0};//进程请求资源向量 int Work[50]={0};//存放系统可提供进程继续运行所需各类资源数目 int temp[50]={0};//存放安全序列 int b[50]={0};//系统各类资源总数 int M=50;//进程的最大数目为50 int N=50;//资源的最大数目为50 void display()//系统初始界面 void print()//显示资源分配情况 int changdata(int i)//进行资源分配 int safe(int num,int M,int N)//安全性算法对系统进行分析 void bank(int M,int N)//银行家算法对申请资源对进行判定 2、流程图： （1）安全性算法：

Y N Y

N Y

Y

Y N

初始化work[]数组， 使Work[j]=Available[j]; Finish[i]=false

Finish[i]==true Need[i][j]>Work[j] apply++;appy==N Finish[i]=true Work[m]+=Allocation[i][m] temp[k]=i;k++

l==m 输出安全序列 Return true 不安全Available[i]=Available[i]+Request[i];

Allocation[num][i]=Allocation[num][i]-Request[j] Need[num][i]=Need[num][i]+Request[i];

Max[num][i]=Allocation[num][i]; Allocation[num][i]=0; Available[i] = Available[i] + Allocation[num][i]; 5 / 16

（2）银行家算法： Y N N

Y 3、调试结果 请输入系统中资源的种类:3 资源1的名称和数量:a 10 资源2的名称和数量:b 5 资源3的名称和数量:c 7 请输入进程的数量:5 请输入各进程的最大需求(5*3矩阵)[Max]: 7 5 3 3 2 2 9 0 2 2 2 2 4 3 3 请输入各进程的已分配(5*3矩阵)[Allocation]: 0 1 0 2 0 0 3 0 2

输入进程号 初始化Request[]数组

REQUEST[cusneed][i]>NEED[cusneed][i] REQUEST[cusneed][i]>AVAILABLE[i]

试分配changdata() Safe() Put()输出内容 6 / 16

2 1 1 0 0 2 目前可用的资源: a b c 3 3 2 Max Allocation Need 进程名 a b c a b c a b c 0 7 5 3 0 1 0 7 4 3 1 3 2 2 2 0 0 1 2 2 2 9 0 2 3 0 2 6 0 0 3 2 2 2 2 1 1 0 1 1 4 4 3 3 0 0 2 4 3 1 系统是安全的! 分配的序列:1->3->4->0->2 请输入要求分配的资源进程号(0-4):1 请输入进程 1 申请的资源: a:1 b:0 c:2 Max Allocation Need 进程名 a b c a b c a b c 0 7 5 3 0 1 0 7 4 3 1 3 2 2 3 0 2 0 2 0 2 9 0 2 3 0 2 6 0 0 3 2 2 2 2 1 1 0 1 1 4 4 3 3 0 0 2 4 3 1 系统是安全的! 分配的序列:1->3->4->0->2 请输入要求分配的资源进程号(0-4):4 请输入进程 4 申请的资源: a:3 b:3 c:0 进程4申请的资源大于系统现在可利用的资源 分配出错，不予分配! 请输入要求分配的资源进程号(0-4):0