OS | 银行家算法C语言实现

算法简介

银行家算法(Banker’s Algorithm)是一个避免死锁( Deadlock)的著名算法,是由艾兹格·迪杰斯特拉在1965年为T.H.E系统设计的一种避免死锁产生的算法。它以银行借贷系统的分配策略为基础,判断并保证系统的安全运行。

算法目的

为了了解系统的资源分配情况,假定系统的任何一种资源在任意时刻只能被一个进程使用,任何进程已经占用的资源只能由进程自己释放,而不能由其他进程抢占,当进程申请的资源不能满足时,必须等待。因此只要资源分配算法能保证进程的资源请求,且不出现循环等待,则系统不会出现死锁。

算法原理

在避免死锁的方法中,所施加的限制条件较弱,有可能获得令人满意的系统性能。在该方法中把系统的状态分为安全状态和不安全状态,只要能使系统始终都处于安全状态,便可以避免发生死锁。

银行家算法的基本思想是分配资源之前,判断系统是否是安全的;若是,才分配。它是最具有代表性的避免死锁的算法。

设进程 cusneed 提出请求 \(REQUEST [i]\),则银行家算法按如下规则进行判断。

  1. 如果 \(REQUEST [cusneed] [i]<= NEED[cusneed][i]\),则转(2);否则,出错。

  2. 如果 \(REQUEST [cusneed] [i]<= AVAILABLE[i]\),则转(3);否则,等待。

  3. 系统试探分配资源,修改相关数据:

    \(AVAILABLE[i]-=REQUEST[cusneed][i]\) ;

    $ALLOCATION[cusneed][i]+=REQUEST[cusneed][i] $;

    \(NEED[cusneed][i]-=REQUEST[cusneed][i]\);

  4. 系统执行安全性检查,如安全,则分配成立;否则试探险性分配作废,系统恢复原状,进程等待。

安全性检查算法

  • (1)设置两个工作向量 \(Work=available;\ finish\)
  • (2)从进程集合中找到一个满足下述条件的进程,

\(FINISH==false\) ;

\(NEED<=Work\) ;

如找到,执行(3);否则,执行(4)

  • (3)设进程获得资源,可顺利执行,直至完成,从而释放资源。
Work=Work+ALLOCATION;
Finish=true;
GOTO 2

算法流程图

算法流程图

算法实现

代码学习自网络。

#include<stdio.h>
#define true 1
#define false 0
#define processNum 5
#define resourceNum 3
#define MAXINT 9999
typedef int bool;

int available[resourceNum] = {3, 3, 2};
int maxRequest[processNum][resourceNum] = {7, 5, 3, 3, 2, 2, 9, 0, 2, 2, 2, 2, 4, 3, 3};
int allocation[processNum][resourceNum] = {0, 1, 0, 2, 0, 0, 3, 0, 2, 2, 1, 1, 0, 0, 2};
int need[processNum][resourceNum] = {7, 4, 3, 1, 2, 2, 6, 0, 0, 0, 1, 1, 4, 3, 1};
bool Finish[processNum];
int safeSeries[processNum] = {MAXINT, MAXINT, MAXINT, MAXINT, MAXINT};
int request[resourceNum];

void Init() {
    int i, j;
    printf("输入进程数量、资源数量\n");
    //scanf("%d %d",&processNum,&resourceNum);
    printf("输入当前资源可用数目\n");
    for (i = 0; i < resourceNum; i++) {
        scanf("%d", &available[i]);
    }
    printf("输入最大需求矩阵\n");
    for (i = 0; i < processNum; i++) {
        for (j = 0; j < resourceNum; j++) {
            scanf("%d", &maxRequest[i][j]);
        }
    }
    printf("输入分配矩阵\n");
    for (i = 0; i < processNum; i++) {
        for (j = 0; j < resourceNum; j++) {
            scanf("%d", &allocation[i][j]);
        }
    }
    printf("输入当前需求矩阵\n");
    for (i = 0; i < processNum; i++) {
        for (j = 0; j < resourceNum; j++) {
            scanf("%d", &need[i][j]);
        }
    }
}

void showInfo() {
    int i, j;
    printf("当前资源剩余:");
    for (j = 0; j < resourceNum; j++) {
        printf("%d ", available[j]);
    }
    printf("\n");
    printf(" PID\t Max\t\tAllocation\tNeed\n");
    for (i = 0; i < processNum; i++) {
        printf(" P%d\t", i);
        for (j = 0; j < resourceNum; j++) {
            printf("%d ", maxRequest[i][j]);
        }
        printf("\t\t");
        for (j = 0; j < resourceNum; j++) {
            printf("%d ", allocation[i][j]);
        }
        printf("\t\t");
        for (j = 0; j < resourceNum; j++) {
            printf("%d ", need[i][j]);
        }
        printf("\n");
    }
}

bool isSafe() {
    int i, j, k;
    int trueFinished = 0;
    int work[resourceNum];
    for (i = 0; i < resourceNum; i++) {
        work[i] = available[i];
    }

    for (i = 0; i < processNum; i++) {
        Finish[i] = false;
    }
    i = 0;
    int temp = 0;
    while (trueFinished != processNum) {
        int j = 0;
        if (Finish[i] != true) {
            for (j = 0; j < resourceNum; j++) {
                if (need[i][j] > work[j]) {break;}
            }
        }
        if (j == resourceNum) {
            Finish[i] = true;
            SafeInfo(work, i);
            for (k = 0; k < resourceNum; k++) {
                work[k] += allocation[i][k];
            }
            int k2;
            safeSeries[trueFinished++] = i;
        }
        i++;
        if (i >= processNum) {
            i = i % processNum;
            if (temp == trueFinished)
                break;
        }
        temp = trueFinished;
    }

    if (trueFinished == processNum) {
        printf("\n系统安全!\n\n安全序列为:");
        for (i = 0; i < processNum; i++) {
            printf("%d ", safeSeries[i]);
        }
        return true;
    }
    printf("******系统不安全!******\n");
    return false;
}

void SafeInfo(int *work, int i) {
    int j;
    printf(" P%d\t", i);
    for (j = 0; j < resourceNum; j++) {
        printf("%d ", work[j]);
    }
    printf("\t\t");
    for (j = 0; j < resourceNum; j++) {
        printf("%d ", need[i][j]);
    }
    printf("\t ");
    for (j = 0; j < resourceNum; j++) {
        printf("%d ", allocation[i][j]);
    }
    printf("\t\t");
    for (j = 0; j < resourceNum; j++) {
        printf("%d ", allocation[i][j] + work[j]);
    }
    printf("\n");
}


int main() {
    int i, j, curProcess;
    int wheInit = 0;
    printf("是否使用内置数据?0是,1否:");
    scanf("%d", &wheInit);
    if (wheInit)
        Init();  //可以不使用,选用内置的数据进行测试
    printf("---------------------------------------------------------\n");
    showInfo();
    printf("\n系统安全情况分析\n");
    printf(" PID\t Work\t\tNeed\tAllocation\tWork+Allocation\n");
    isSafe();
    while (true) {
        printf("\n---------------------------------------------------------\n");
        printf("\n输入要分配的进程:");
        scanf("%d", &curProcess);
        printf("\n输入要分配给进程P%d的资源:", curProcess);
        for (j = 0; j < resourceNum; j++) {
            scanf("%d", &request[j]);
        }
        for (j = 0; j < resourceNum; j++) {
            if (request[j] <= need[curProcess][j])continue;
            else {printf("ERROR!\n"); break;}
        }
        if (j == resourceNum) {
            for (j = 0; j < resourceNum; j++) {
                if (request[j] <= need[curProcess][j])continue;
                else {printf("资源不足,等待中!\n"); break;}
            }
            if (j == resourceNum) {
                for (j = 0; j < resourceNum; j++) {
                    available[j] -= request[j];
                    allocation[curProcess][j] += request[j];
                    need[curProcess][j] -= request[j];
                }
                printf("\n系统安全情况分析\n");
                printf(" PID\t Work\t\tNeed\tAllocation\tWork+Allocation\n");
                if (isSafe()) {
                    printf("分配成功!\n");
                    showInfo();
                } else {
                    for (j = 0; j < resourceNum; j++) {
                        available[j] += request[j];
                        allocation[curProcess][j] -= request[j];
                        need[curProcess][j] += request[j];
                    }
                    printf("分配失败!\n");
                    showInfo();
                }
            }
        }
    }
}

实现效果

安全性检查

分配资源与安全性检查

posted @ 2022-08-04 16:41  RioTian  阅读(547)  评论(0编辑  收藏  举报