银行家算法实验报告

操作系统课程设计报告

题目：银行家算法

院（系）：计算机学院 专业：计算机科学与技术

班级： 学生： 学号： 指导教师：

2012年 01月

摘要

银行家算法是一个用来预防系统进入死锁状态的算法，用它可以判断系统的安全性，如果系统当前处于安全状态，则可以为申请资源的进程分配资源，如果不是安全状态，则不能为申请资源的进程分配资源。

银行家算法执行过程中，首先判断申请资源的进程所申请的资源数目是否合法，若是合法的，则可以为其进行试分配，再利用安全性算法求出安全序列，·如果存在安全序列，则说明可以给申请资源的进程分配资源，分配成功，继续为其它进程服务。如果找不到安全序列，则说明为该进程分配资源后系统会进入不安全状态，所以不能为该进程分配资源，使该进程进入阻塞状态。若申请资源的进程申请的资源数目不合法，则不需要进行试分配，直接使其进入阻塞状态，处理其他申请资源的进程。

论文首先对算法的设计从总体上进行了分析，然后分析各个细节，再对算法分模块设计，并对各个模块的算法思想通过流程图表示，分块编写代码，并进行调试和测试，最后进行组装测试及系统测试，使其成为一个可以用来判断系统安全状态的程序。

关键词：可用资源 最大需求矩阵 分配矩阵 需求矩阵 安全性算法 安全序列

目录

一、绪论 ............................................. 1 二、需求分析 ......................................... 2 三、算法分析 ......................................... 3 四、详细设计 ......................................... 4 五、程序调试 ......................................... 7 六、总结 ............................................ 10 参考文献 ............................................ 11 附录（源代码） ...................................... 12

操作系统课程设计（银行家算法）

一、 绪论

1.1前言

Dijkstra (1965)提出了一种能够避免死锁的调度算法，称为银行家算法。 它的模型基于一个小城镇的银行家，他向一群客户分别承诺了一定的贷款额度，每个客户都有一个贷款额度，银行家知道不可能所有客户同时都需要最大贷款额，所以他只保留一定单位的资金来为客户服务，而不是满足所有客户贷款需求的最大单位。

这里将客户比作进程，贷款比作设备，银行家比作系统。

客户们各自做自己的生意，在某些时刻需要贷款。在某一时刻，客户已获得的贷款和可用的最大数额贷款称为与资源分配相关的系统状态。一个状态被称为是安全的，其条件是存在一个状态序列能够使所有的客户均得到其所需的贷款。如果忽然所有的客户都申请，希望得到最大贷款额，而银行家无法满足其中任何一个的要求，则发生死锁。不安全状态并不一定导致死锁，因为客户未必需要其最大贷款额度，但银行家不敢抱这种侥幸心理。

银行家算法就是对每一个请求进行检查，检查如果满足它是否会导致不安全状态。若是，则不满足该请求；否则便满足。

检查状态是否安全的方法是看他是否有足够的资源满足一个距最大需求最近的客户。如果可以，则这笔投资认为是能够收回的，然后接着检查下一个距最大需求最近的客户，如此反复下去。

如果所有投资最终都被收回，则该状态是安全的，最初的请求可以批准。

1.2研究意义

在多道程序系统中，多个进程的并发执行来改善系统的资源利用率，提高系统的吞吐量，但可能发生一种危险——死锁。所谓死锁(Deadlock)，是指多个进程在运行过程中因争夺资源而造成的一种僵局（DeadlyEmbrace），当进程处于这种状态时，若无外力作用，他们都无法在向前推进。

要预防死锁，有摒弃“请求和保持”条件，摒弃“不剥夺”条件，摒弃“环路等待”条件等方法。

但是，在预防死锁的几种方法之中，都施加了较强的条件；而在避免死锁的方法中，所施加的条件较弱，有可能获得令人满意的系统性能。在该方法中把系统状态分为安全状态和不安全状态，便可避免死锁的发生。 而最具代表性的避免死锁的算法，便是Dijkstra的银行家算法。

1

操作系统课程设计（银行家算法）

利用银行家算法，我们可以来检测CPU为进程分配资源的情况，决定CPU是否响应某进程的的请求并为其分配资源，从而很好避免了死锁的产生。

二、 需求分析

2.1问题描述

当系统在进行资源管理时，如果对进城申请的资源分配不当，可能会使系统进入死锁状态，因而后面到来的进程也无法顺利执行。银行家算法中，要对当前申请资源的进程申请资源的数目进行判断，如果可以试分配，则试求出一个安全序列，如果可以求出，则说明给这个进程分配资源后系统不会进入不安全状态，将该进程申请的资源分配给他，若求不出安全序列，则说明将资源分配给该进程后系统会进入不安全状态，所以就使该进程进入阻塞状态，等待以后可以分配资源时再执行该进程，然后系统继续服务其它进程。通过这样一个过程，可以有效避免系统进入死锁状态。

2.2基本要求

（1）对各个进程的进程名，最大需求资源，已分配资源，系统可用资源等进行有序的输入。

（2）对申请资源的进程要有合法性判断（如进程名，申请资源数等）。 （3）若有进程申请资源，首先要对它申请的资源数进行判断。

（4）在上面判断合法的前提下进行试分配，利用银行家算法求出安全序列。如果可以求出安全序列，则为该进程分配资源，否则使它进入阻塞状态。

2.3概要分析

在避免死锁的算法中，允许进程动态地申请资源，系统在进行资源分配之前，先计算资源分配的安全性。若此次分配不会使系统进入不安全状态，便将资源分配给该进程否则进程等待。

所谓安全状态是指系统能按某种顺序如（称为安全序列），就这样来为每个进程分配资源，直至最大需求。使每个进程都可以顺序地执行完毕。若系统不存在这样一个安全序列，那么系统此时会进入不安全状态。

虽然并非所有的不安全状态都会产生死锁状态，但当系统进入不安全状态后，便可能进而进入死锁状态；反之，只要系统处于安全状态，系统便可避免进入死

2

操作系统课程设计（银行家算法）

锁状态。因此，避免死锁的实质在于，如何使系统不进入不安全状态，银行家算法就是用来判断某种情况会不会进入不安全状态。

三、算法分析

3.1算法思路

先对用户提出的请求进行合法性检查，即检查请求是否大于需要的，是否大于可利用的。若请求合法，则进行预分配，对分配后的状态调用安全性算法进行检查。若安全，则分配；若不安全，则拒绝申请，恢复到原来的状态，拒绝申请。

3.2银行家算法步骤

（1）如果Requesti＜or =Need,则转向步骤(2)；否则，认为出错，因为它所需要的资源数已超过它所宣布的最大值。

（2）如果Request＜or=Available,则转向步骤（3）；否则，表示系统中尚无足够的资源，进程必须等待。

（3）系统试探把要求的资源分配给进程Pi,并修改下面数据结构中的数值： Available=Available-Request[i]; Allocation=Allocation+Request; Need=Need-Request;

(4)系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。

3.3安全性算法步骤

（1）设置两个向量

①工作向量Work。它表示系统可提供进程继续运行所需要的各类资源数目，执行安全算法开始时，Work=Allocation;

②布尔向量Finish。它表示系统是否有足够的资源分配给进程，使之运行完成，开始时先做Finish[i]=false，当有足够资源分配给进程时，令Finish[i]=true。

（2）从进程集合中找到一个能满足下述条件的进程： ①Finish[i]=false ②Need如找到，执行步骤（3）；否则，执行步骤（4）。

（3）当进程P获得资源后，可顺利执行，直至完成，并释放出分配给它的资源，故应执行：

3

操作系统课程设计（银行家算法）

Work=Work+Allocation; Finish[i]=true; 转向步骤（2）。

（4）如果所有进程的Finish[i]=true,则表示系统处于安全状态；否则，系统处于不安全状态。

四、详细设计

4.1主要用到的数据结构

(1）进程名向量 char processnema[N]; //进程名

(2）可利用资源向量 int Available[M]; //资源清单——系统中现有各资源

空闲个数。

(3）最大需求矩阵 int Max[N][M]; //最大需求矩阵——每个进程对各

资源的最大需求数分配矩阵

(4）已分配矩阵 int Allocation[N][M];//分配矩阵——系统给每个进程已

分配的各类资源数

(5）需求矩阵 int Need[N][M]; //需求矩阵——每个进程还需要每种

资源的个数申请各类资源数量 (6）申请向量 int Request [M] //进程申请资源的向量 (7）工作向量 int Work[N][M]; //初始第一个向量为Available[],

随寻找安全序列时为其余每个向量赋值，可以防止安全序列未找到而丢了初始状态的值

(8）安全序列向量 int sequence[N]={0};//存放安全序列号 (9）标志向量 int Finish[N] //求安全序列时记录每个进程是否可以顺

利执行

4.2程序的模块

void main() //系统主函数

int check_distribution() //安全性检查函数 int check_safe() //银行家算法函数 void print() //输出函数

4.3模块设计与复杂度分析

4

1. int check_distribution(int* p,int k)：检查是否可以试分配函数 用for(i=0; i(1) 用for(i=0; i(2) 用for(m=0; m(3) 用for(i=0; i(4) 由上面执行可以得出int check_safe()函数时间复杂度为O(N)或O(M)。 3. void print()输出函数 for(i=0; i4.5程序流程图

1. 主函数void main（）函数流程图

2. int check_distribution(int* p,int k)流程图

3.银行家算法int check_safe()流程图

4.输出函数print（）流程图

五、程序调试

函数的书写分模块进行，每完成一个模块进行调试、测试直到该函数运行无误。 1、进程信息的输入与输出调试

(1) 能正确无误的输入进程名向量processnema[N]，输入系统现有各类资源数量Available[M]向量，输入每个进程对各类资源的最大需求数Max[N][M]矩阵，输入系统给每个进程已分配的各类资源数Allocation[N][M]矩阵。输出程序过程如下图所示：

(2) 在进程信息输入中没有出现多大问题，在进程信息输出时，按设计要求输出的话应该是一个表格形式，在输出函数设计最初，由于有些部分分割或空格没有填充好，导致输出表格比较乱，没有达到设计要求，经过修改后输出形式才符合了设计要求，进程信息输入完成后，初始状态各进程信息输出如下：

2、进程请求资源输入出错提示信息处理

在系统询问是否有进程申请资源时，如果有输入信息出错，系统会给与出错提示，如果输入信息正确则系统将继续执行下面操作，执行如下：

3、 判断是否可以试分配函数int check_distribution(int* p,int k) 在这个函数中主要是对申请资源的进程申请的资源数量是否满足约束条件Request []<=need[]或Request []<=available[],如果不满足将打出提示信息，如果满足，则返回1继续执行下面程序，执行结果如下：

4、求安全序列函数int check_safe()

如果申请资源的进程申请的资源数目满足试分配条件，则再用这个函数来求试分配后的安全序列，如果可以求出安全序列，则说明这次分配不会使系统进入不安全状态，正式将资源分配给该进程，修改系统资源信息。如果求不出安全序列，说明这次分配后系统会进入不安全状态，不能给该进程分配资源，系统恢复初始状态，打印出提示信息，执行结果如下：

六、总结

经过几天的操作系统课程设计，我学习到了很多东西。首先，这次课程设计的内容是银行家算法，我用的编程工具是VC++，语言使用的是C语言，目的是模拟实现处理机避免死锁；其次，通过模拟实现算法，我更进一步地学习了C语言，这使我的编程能力得到了提高。当然最重要的是我更深地理解了对于死锁的避免，死锁是会影响并发执行的，是操作系统最需要解决得问题。解决死锁，我们要检测一个安全状态，虽然并非所有的不安全状态都会产生死锁状态，但系统进入不安全状态时，便可能进而进入死锁状态后，当系统在进行资源管理时，如果对进城申请的资源分配不当，可能会使系统进入死锁状态，因而后面到来的进程也无法顺利执行。银行家算法中，要对当前申请资源的进程申请资源的数目进行判断，如果可以试分配，则试求出一个安全序列，如果可以求出，则说明给这个进程分配资源后系统不会进入不安全状态，将该进程申请的资源分配给他，若求不出安全序列，则说明将资源分配给该进程后系统会进入不安全状态，所以就使该进程进入阻塞状态，等待以后可以分配资源时再执行该进程，然后系统继续服务其它进程。通过这样一个过程，可以有效避免系统进入死锁状态。反之，只要系统处于安全状态，系统便可避免进入死锁状态。因此，避免死锁的实质在于——如何使系统不进入不安全状态。很明显这些概念在操作系统上是非常重要的东西，我相信这对我以后的学习也有很大的帮助；最后，这次在课程设计的过程中遇到很多困难，但是这些困难我在同学们以及老师的帮助下解决了，在此我要感谢郭伟同学和指导老师惠老师，谢谢他们帮助我，指导我。

参考文献

[1] 《计算机操作系统》 汤子瀛，西安电子科技大学出版社； [2] 《C语言程序设计》 谭浩强， 清华大学出版社；

附录（源代码）

#include #define N 5 //进程个数 #define M 3 //资源种类数 void print(); int check_safe();

int check_distribution(int* p,int k); char processnema[N]; //进程名 int Request[M]; //请求向量 int Finish[N];

//标记某一个进程是否可以执行

int Work[N][M]; //初始为Available[][],随寻找安全序列而变化，防止安全序列未找到而丢了初始状态的值

int Available[M]; //资源清单——系统中现有各资源空闲个数 int Work_Allocation[N][M];

int Max[N][M]; //最大需求矩阵——每个进程对各类资源的最大需求数 int Allocation[N][M];//分配矩阵——系统给每个进程已分配的各类资源数 int Need[N][M]; //需求矩阵——每个进程还需要每种资源的个数 int sequence[N]={0};//存放安全序列号 void main() {

int i=0,j=0,k=0;//记录申请资源的进程的序列号 int flag=0; //标记输入的进程名是否存在

int safe=0; //标志系统是否出于安全状态,0表示不安全，1表示安全 int distribution=0; //标志是否可以进行试分配0表示可以，1表示不可以 char flag1; //标记是否有进程申请资源 //Need[N][M]=Max[N][M]-Allocation[N][M]; char name; //要请求资源的进程名

printf(\"~~~~~~~~~~~银行家算法~~~~~~~~~~~~~\\n\"); printf(\" 请分别初始化各矩阵信息 \\n\"); printf(\"*请输入各进程的进程名\\n\"); //进程名连续输入 for(i=0; iprintf(\"请输入现有各资源空闲个数\\n\"); for(i=0; iscanf(\"%c\

{ }

printf(\"请分别输入每个进程对各类资源的最大需求数\\n\"); for(i=0; iprintf(\"请分别输入系统给每个进程已分配的各类资源数\\n\"); for(i=0; i//printf(\"请分别输入每个进程还需要每种资源的个数\\n\"); for(i=0; iprintf(\"信息输入完毕\\n\"); for(i=0; isafe=check_safe(); //检查初始状态是否安全 if(0 == safe)

sequence[i]=i; for(j=0; jNeed[i][j]=Max[i][j]-Allocation[i][j]; for(j=0; jscanf(\"%d\for(j=0; jscanf(\"%d\scanf(\"%d\

{ }

else if(1 == safe) { } while(1) {

safe=0;

printf(\"是否有进程请求系统资源...? (Y/N) \\n\"); flag1=getchar(); //scanf(\"%c\

if('Y' == flag1 || 'y' == flag1) {

printf(\"请输入进程名:\"); while(1) {

scanf(\"%c\

for(i=0; igetchar();//将在此之前的一个回车接收了，不然会影响输入 if( flag != 1 )//进程名输入不合法 {

printf(\"你输入的进程不存在，请重新输入:\"); if(name == processnema[i] ) { }

flag=1; //输入的进程名存在 k=i;

break;//找到申请资源的进程序列号跳出

getchar();

printf(\"系统处于安全状态，可以为进程分配资源。\\n\");

printf(\"系统现处于不安状态，不能为进程分配资源，进入死锁状态。。。\\n\"); exit(0);

getchar();

//name=;

}

else if('N' == flag1 || 'n' == flag1) { }

else if('N' != flag1 && 'Y' != flag1 && 'n' != flag1 && 'y' != flag1) { }

for(i=0; idistribution=check_distribution(Request,k); //检查是否可以试分配 if(1 == distribution) {

safe=check_safe(); //可以试分配，则求安全序列 if(1 == safe) //试分配成功 {

printf(\"试分配成功，可以为该进程分配资源。\\n\"); //distribution //是否给申请资源的进程分配资源 for(i=0; iAllocation[k][i]=Allocation[k][i]+Request[i]; //为进程分Need[k][i]=Need[k][i]-Request[i];

scanf(\"%d\

printf(\"你的输入有误，请重新输入: \"); continue;

printf(\"进程执行完毕，退出系统。\\n\"); break; }

} else { }

break;//进程名输入合法，则执行下面操作

continue;

printf(\"请输入该进程请求各类资源的数量\\n\");

//*****************************************检查

配资源后修改该进程的有关资源数

{ } }

void print() { int i,j;

printf(\" 资源 Work Need\Allocation\Work+Allocation\ Finish\\n\\n\");

printf(\" 进程名 A B C A B C \ A B C \ A B C\\n\");

printf(\"~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\\n\");

}

else //试分配失败 { }

printf(\"该进程申请的资源太多，无法分配，请等待。。。\\n\"); continue; }

printf(\"试分配失败，有可能进入死锁状态，请等待。。。\\n\");//未求出continue;

安全序列

}

else //试分配失败

}

printf(\"分配后各资源数量如下:\\n\"); print();

printf(\"分配成功!\\n\");

printf(\"系统剩余资源数各为: \"); for(i=0; iprintf(\"\\n\"); continue;

printf(\"%d \

for(i=0; iint check_distribution(int* p,int k) { int i=0;

int safe1=0,safe2=0; for(i=0; iif(p[i] <= Need[k][i]) { }

if(p[i] <= Available[i])

safe1=safe1+1;

printf(\" %c \for(j=0; jprintf(\" \"); for(j=0; jprintf(\" \"); for(j=0; jprintf(\" \"); for(j=0; jprintf(\" \"); printf(\"%d\printf(\"\\n\\n\");

printf(\"%d \printf(\"%d \printf(\"%d \

printf(\"%d \

}

if(M == safe1 && M == safe2) { } else { } }

int check_safe() //检查是否安全，求安全序列 {

int i=0,j=0,k=0,m=0; int finish=0; for(i=0; ifor(m=0; mif(1 != finish) {

finish=1;

for(i=0; iif(0 == Finish[i] && Need[i][0] <= Work[k][0] && Need[i][1] <= {

sequence[k]=i;//找到一个满足条件的进程，记录其序号 k++;

Finish[i]=1; //执行该进程 for(j=0; jWork[k][i]=Available[i];//-Request[i];//初始化WOrk[][]矩阵 return 0; return 1; { }

safe2=safe2+1;

Work[k][1] && Need[i][2] <= Work[k][2])

值 } }

for(i=0; i< N; i++) { }

for(i=0; ireturn finish;

Available[i]=Available[i]-Request[i]; }

for(j=0; jWork_Allocation[i][j]=Work[i][j]+Allocation[i][j]; } //else //{ // break;

}

for(i=0; iif(1 == finish) { } else { }

continue; break;

finish=finish*Finish[i]; }

Work[k][j]=Work[k-1][j]+Allocation[i][j]; //更新WOrk

// }

} /*

输入进程信息：

请分别输入每个进程对各类资源的最大需求数 7 5 3 3 2 2 9 0 2 2 2 2 4 3 3

请分别输入系统给每个进程已分配的各类资源数 0 1 0 2 0 0 3 0 2 2 1 1 0 0 2

请分别输入每个进程还需要每种资源的个数 7 4 3 1 2 2 6 0 0 0 1 1 4 3 1 信息输入完毕 */