银行家算法的原理及代码实现

银行家算法原理

银行家算法中的数据结构

1）可利用资源向量 Available
是个含有 m 个元素的数组，其中的每一个元素代表一类可利用的资源数目。如果 Available［j］= K，则表示系统中现有 Rj 类资源 K个
2）最大需求矩阵 Max
这是一个 n×m 的矩阵，它定义了系统中 n 个进程中的每一个进程对m类资源的最大需求。如果 Max［i，j］= K，则表示进程i需要Rj类资源的最大数目为 K
3）分配矩阵 Allocation
这也是一个 n × m 的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。如果 Allocation［i，j］= K，则表示进程i当前已分得Rj类资源的数目为 K
4）需求矩阵 Need
这也是一个 n × m 的矩阵，用以表示每一个进程尚需的各类资源数。如果 Need［i，j］= K，则表示进程 i 还需要 Rj 类资源 K 个，方能完成其任务。
Need［i，j］= Max［i，j］- Allocation［i，j］

银行家算法

设Requesti是进程Pi的请求向量，如果 Requesti［j］= K，表示进程Pi需要 K 个 Rj 类型的资源。当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］;
系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。若安全，才正式将资源分配给进程 Pi，以完成本次分配；否则，将本次的试探分配作废，恢复原来的资源分配状态，让进程 Pi 等待。

安全性算法

1）设置两个向量：
工作向量 Work: 它表示系统可提供给进程继续运行所需的各类资源数目，它含有 m 个元素，在执行安全算法开始时，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 2；

4）如果所有进程的Finish［i］= true都满足， 则表示系统处于安全状态；否则，系统处于不安全状态

算法流程图

源程序及注释

#include <iostream>
#include <string.h>
#include <stdio.h>
using namespace std;

#define MAX_I 100//设置最大进程数
#define MAX_J 100//设置最大资源种数

int i;//进程数
int j;//资源种数
//定义结构体：资源和进程
struct Available
{
   
	int j_num;//剩余资源数
	int Work;//系统可提供给进程继续运行所需的各类资源数目
}Ava[MAX_J];

struct IProcess
{
   
	int Max[MAX_J];//最大需求
	int Allocation[MAX_J];//已经分配
	int Need[MAX_J];//剩余需求
	int Requesti[MAX_J];//发出请求
	bool Count;//中间参数，判断命令是否执行
	bool Finish[MAX_J];//判断安全状态
}IPro[MAX_I];

//使结构体参数初始为0或false
void Init1()
{
   
	for (int a = 0; a < MAX_J; a++)
	{
   
		Ava[MAX_J].j_num = Ava[MAX_J].Work = 0;
	}
	for (int a = 0; a < MAX_I; a++)
	{
   
		for (int b = 0; b < MAX_J; b++)
		{
   
			IPro[i].Max[j] = 0;
			IPro[i].Allocation[j] = 0;
			IPro[i].Need[j] = 0;
			IPro[i].Requesti[j] = 0;
			IPro[i].Count = false;
			IPro[i].Finish[j] = false;
		}
	}
}

//从键盘键入数据获得基本矩阵信息
void Init2(int i, int j)
{
   
	cout << "资源种类数为：" << j << endl;
	for (int a = 0; a