银行家算法
针对多类资源分配的情况,最著名的而是银行家算法,银行家算法的设计思想是:当用户申请一组资源时,系统必须做出判断;如果把这些资源分出去,系统是否还处于安全状态。若是,就可以分出这些资源;否则,该申请暂不予满足。
实现银行家算法要有若干数据结构,用来表示资源分配系统的状态。
-
其中,n表示系统中进程的数目。M表示资源分类数。
-
Avaliable是一个长度为m的向量,表示每一类资源可用的数量。Avaliable[j]=k,表示rj类资源可用的数量是k
-
Max是一个n*m矩阵,表示每个进程对资源的最大需求。Max[i,j]=k,表示进程pi至多课申请k个rj类资源单位
-
Allocation是一个n*m的矩阵,表示当前分给每个进程的资源数目,Allocation[i,j]=k,表示进程pi当前分到k个rj类资源
-
Need是一个n*m矩阵,他表示每个进程还缺少多少资源。Need[i,j]=k,表示进程pj尚需k个rj类资源才能完成其任务。显然,Need[i,j]=Max[i,j]-Allocation[i,j]
-
Request 是一个n*m矩阵,i表示进程pi申请向量,Request[i][j]=k表示进程pi需要申请k个rj类资源
从文件读取数据银行家算法的验证数据文件data格式说明
验证数据:建立在程序目录下建立data文件,文件内容是:
5 3
10 5 7
0 0 1 0 7 5 3
1 2 0 0 3 2 2
2 3 0 2 9 0 2
3 2 1 1 2 2 2
4 0 0 2 4 3 3
1 1 0 2
4 3 3 0
0 0 2 0
第一行:5个进程,3种资源。
第二行:每种资源系统拥有的最大数量。
3-7行:第一列是进程号(按顺序排),2-4列是Request(资源请求)向量,5-7列是Max(最大资源需求量)向量。
8-10行:第一列是进程号,2-4列是Request(资源请求)向量。
运行程序,通过命令行参数指定文件,如: ./banker ./data运行。
代码
/**
* lzy
*/
#include <stdio.h>
#include <unistd.h>
#define maxNum 100
#define maxLineNum 100
// 定义一个文件指针全局变量
FILE *fpl;
// 定义一个储存文件一行的数组
char line[maxLineNum];
//定义一个数组用来储存提取的字符
int lineData[maxLineNum];
// 定义一个数组来保存进程名,如processBox[1] = 2表示下标为1时,对应的进程名为2
int processBox[maxNum];
// 安全性算法需要用到的Work,Finish数组
int Work[maxNum];
int Finish[maxNum];
// 定义进程数目,定义资源分类数
int n, m;
int Resource[maxNum] = {
0};
int Available[maxNum] = {
0};
int Max[100][maxNum] = {
0};
int Allocation[maxNum][maxNum] = {
0};
int Need[maxNum][maxNum] = {
0};
int Request[maxNum][maxNum] = {
0};
char firstLetter;
/**
* 读取line一行的数据到数组lineData中
* @param num 提取个数
*/
void updateLineData(int num) {
firstLetter = line[0];
int nape;
int cursor = 0;
for (int i = 0; i < num; ++i) {
nape = 0;
while ((int) line[cursor] != 32 && (int) line[cursor] != 0 && (int) line[cursor] != 10) {
nape = nape * 10 + (int) line[cursor] - 48;
++cursor;
}
++cursor;
lineData[i] = nape;
}
}
/**
* 初始化数据函数,
* @param src ,目标文件目录
*/
void lzyInitData(char *src) {
// 1.初始化文件指针
fpl = fopen(src, "r");
if (fpl == NULL) {
printf("lzy:文件读取失败,没有这个文件");
_exit(-1);
}
// 2.读取文件,初始化各种全局变量
// 2.1初始化n、m
fgets(line, maxLineNum, fpl);