银行家算法(c语言实现)

银行家算法(c语言实现)银行家算法是资源和死锁避免的算法,由艾兹格·迪杰斯特拉(EdsgerDijkstra)设计的算法用于测已确定总数量的资源分配的安全性,在决定是否该分配应该被允许并进行下去之前,通过“s-state”校验码测试资源分配活动期间产生死锁条件的可能性。     该算法是为为THE操作系统设计并且最在在EWD108描述。当一个新的进程进入系统时,进程必须声明所需每个资源实例最大的数量和类型。显然,资…

大家好,又见面了,我是你们的朋友全栈君。

银行家算法是资源和死锁避免的算法,由艾兹格·迪杰斯特拉(Edsger Dijkstra) 设计的算法用于测已确定总数量的资源分配的安全性,在决定是否该分配应该被允许并进行下去之前,通过“s-state”校验码测试资源分配活动期间产生死锁条件的可能性。 
    该算法是为为THE操作系统设计并且最在在EWD108描述。当一个新的进程进入系统时,进程必须声明所需每个资源实例最大的数量和类型。显然,资源数量不不能超过系统最大的资源数。与此同时,进程获得的资源必须在有限的时间内释放。

 

资源

 

对于银行家算法的实现,需要知道三件事: 

  • 每个进程所能获取的每种资源数量是多少[MAX] 
  • 每个进程当前所分配到的每种资源的数量是多少[ALLOCATED] 
  • 系统当前可分配的每种的资源数量是多少[AVAILABLE]

 

只有当资源满足以下条件,资源才会被分配:

  1. request <= max, 也可设置错误条件,当进程所请求的资源超过最大的要求
  2. request <= available, 或者进 
    程一直等直到资源可分配

一些资源在实际的系统被跟踪,如:内存,信号量以及接口。

    银行家算法名字源于该算法实际上是用于确保银行系统不会用尽系统资源,因为当银行系统不再满足所有客户的需求,系统将不会分配钱(看作资源)给客户,银行必须确保对钱的请求不会导致银行系统处于不安全状态。如果上述情况不会发生,则该情况下请求是被允许的,否则,客户必须等到其他客户往银行存进足够银行分配的资金。

基本数据结构用于维护运行银行家算法: 
用n表示系统资源数量,m表示系统资源类型。则我们需要以下的数据结构: 

  • Available: 长度为m的向量用来表示每种资源可分配的数量。如果available[j]=k, 资源类型为Rj可分配数量为k。 
  • Max: n * m矩阵,定义,每个进程最大的资源需求。如果Max[i,j]=k. 表明Pi对类型为Rj资源的请求为k. 
  • Allocation: n * m矩阵定义每个进程已分配到的每种资源的数量。如果Allocation[i,j] = k,进程Pi已分配到类型为Rj的资源数量为k。 
  • Need: n * m 矩阵表明每个进程所需的资源数量,如果Need[i,j] = k, 进程Pi需要至少得到k数量的资源Rj,才能完成任务。

 

公式:Need[i,j] = Max[i,j] – Allocation[i,j]

例子:

系统资源总数: 
A B C D 
6 5 7 6

系统可分配资源数: 
A B C D 
3  1 1 2

进程 (当前分配到的资源数): 
    A B C D 
P1 1 2 2 1 
P2 1 0 3 3 
P3 1 2 1 0

进程 (最大资源需求数): 
    A B C D 
P1 3 3 2 2 
P2 1 2 3 4 
P3 1 3 5 0

Need= Max – Allocation 
进程 (需要的资源数): 
    A B C D 
P1 2 1 0 1 
P2 0 2 0 1 
P3 0 1 4 0

 

安全和不安全状态

 

    如果该状态下所有进程都可以结束运行,则该状态是安全。因为系统无法知道什么时候一个进程结束运行,或有多少资源被进程请求,系统只是假设所有的进程最终会试图获取他们所规定的最大资源,并且在获得资源使用完之后会结束运行。在大多数的情况下,该假设是很合理的,因为系统不会特别的关心每个进程的运行多久(至少不是从死锁避免的角度)。

    对于该猜想,算法确定是否一个状态是安全通过找到一个猜想性的进程请求序列,允许所有进程获取最大的资源数并顺利结束运行。而任何无法达到上诉要求的的状态都是不安全的状态。

    我们可以得到之前例子的安全状态,只要能使每个进程获得最大资源并结束运行。

1.P1 得到 2 A,1 B 和 1 D,达到进程需求的最大资源数 

  • [可分配资源:<3 1 1 2> – <2 1 0 1> = <1 0 1 1>] 
  • 系统当前有1 A, 0 B, 1 C, 和 1 D 资源可分配

 

2.P1 结束运行,释放3 A, 3 B, 2 C, 和2 D资源给系统。 

  • [可分配资源:<1 0 1 1> – <3 3 4 4> = <4 3 3 3>] 
  • 系统当前有4 A, 3 B, 3 C, 和 3 D 资源可分配

 

3.P2 结束运行,请求0 A, 2 B, 0 C, 和1 D资源,之后运行结束,释放资源给系统 

  • [可分配资源:<4 3 3 3> – <0 2 0 1> + <1 2 3 4>= <5 3 6 6>] 
  • 系统当前有5 A, 3 B, 6 C, 和 6 D 资源可分配

 

4.P3 请求0 A, 1 B, 4 C, 和0 D资源,之后运行结束,释放资源给系统 

  • [可分配资源:<5 3 6 6> – <0 1 4 0> + <1 3 5 0>= <6 5 7 6>] 
  • 系统现在用所有的资源6 A, 5 B, 7 C 和 6 D

 

5.由于所有的进程可以结束运行,该状态是安全的状态。

 

请求

 

    当系统收到对资源请求信号时,系统运行银行家算法判断允许请求是否安全。

1.该请求是否可以运行? 

  • 如果不允许,该请求则是不可行的,必须要么拒绝请求或插入到等待队列。 
    2.假设请求被允许 
    3.是否安全? 
  • 如果安全,请求授予 
  • 否则,要么拒绝或插入到等待队列

 

不论系统拒绝请求或请求延迟或不安全请求都是系统的特殊决定。

例子:

从之前的例子开始,假设进程3请求2个单位的资源C。 
1. 系统没有足够的资源C可以用于分配 
2. 该请求被拒绝

另一方面,假设进程3请求1单元资源C。 
1. 系统有足够的资源分配 
2. 请求允许 
新的状态如下:

系统可分配的资源 
       A B C D 
Free 3 1 0 2 
进程 (当前进程分配到资源): 
     A B C D 
P1 1 2 2 1 
P2 1 0 3 3 
P3 1 2 2 0 
进程(最大需求资源数): 
     A B C D 
P1 3 3 2 2 
P2 1 2 3 4 
P3 1 3 5 0

  1. 判断是新的安全状态是否安全 
    1>P1 获得2 A,1 B, 和 1 D资源并运行结束 
    2>之后,P2 能获得2 B 和1 D资源并结束运行 
    3>最后P3 能获得1 B 和3 C资源并运行结束 
    4>因此,改新状态为安全的

最后,从该状态开始,假设进程2请求1单元的资源B。 
1.系统有足够的资源 
2.假设所有的请求都允许,新状态如下:

系统可分配的资源: 
       A B C D 
Free 3 0 1 2 
进程 (当前进程分配到资源): 
    A B C D 
P1 1 2 2 1 
P2 1 1 3 3 
P3 1 2 1 0 
进程(最大需求资源数): 
    A B C D 
P1 3 3 2 2 
P2 1 2 3 4 
P3 1 3 5 0

1.存在安全的状态吗?假设P1,P2,P3请求资源B 和 C。 

  • P1无法完成资源B的请求 
  • P2无法完成资源B的请求 
  • P3无法完成资源B的请求 
  • 没有进程能获得足够的资源结束运行,故该状态是不安全的。

 

/*PROGRAM TO IMPLEMENT BANKER'S ALGORITHM
  *   --------------------------------------------*/
#include <stdio.h>
int curr[5][5], maxclaim[5][5], avl[5];
int alloc[5] = {0, 0, 0, 0, 0};
int maxres[5], running[5], safe=0;
int count = 0, i, j, exec, r, p, k = 1;

int main()
{
    printf("\nEnter the number of processes: ");
    scanf("%d", &p);

    for (i = 0; i < p; i++) {
        running[i] = 1;
        count++;
    }

    printf("\nEnter the number of resources: ");
    scanf("%d", &r);

    printf("\nEnter Claim Vector:");
    for (i = 0; i < r; i++) { 
        scanf("%d", &maxres[i]);
    }

    printf("\nEnter Allocated Resource Table:\n");
    for (i = 0; i < p; i++) {
        for(j = 0; j < r; j++) {
            scanf("%d", &curr[i][j]);
        }
    }

    printf("\nEnter Maximum Claim Table:\n");
    for (i = 0; i < p; i++) {
        for(j = 0; j < r; j++) {
            scanf("%d", &maxclaim[i][j]);
        }
    }

    printf("\nThe Claim Vector is: ");
    for (i = 0; i < r; i++) {
        printf("\t%d", maxres[i]);
    }

    printf("\nThe Allocated Resource Table:\n");
    for (i = 0; i < p; i++) {
        for (j = 0; j < r; j++) {
            printf("\t%d", curr[i][j]);
        }

        printf("\n");
    }

    printf("\nThe Maximum Claim Table:\n");
    for (i = 0; i < p; i++) {
        for (j = 0; j < r; j++) {
            printf("\t%d", maxclaim[i][j]);
        }

        printf("\n");
    }

    for (i = 0; i < p; i++) {
        for (j = 0; j < r; j++) {
            alloc[j] += curr[i][j];
        }
    }

    printf("\nAllocated resources:");
    for (i = 0; i < r; i++) {
        printf("\t%d", alloc[i]);
    }

    for (i = 0; i < r; i++) {
        avl[i] = maxres[i] - alloc[i];
    }

    printf("\nAvailable resources:");
    for (i = 0; i < r; i++) {
        printf("\t%d", avl[i]);
    }
    printf("\n");

    //Main procedure goes below to check for unsafe state.
    while (count != 0) {
        safe = 0;
        for (i = 0; i < p; i++) {
            if (running[i]) {
                exec = 1;
                for (j = 0; j < r; j++) {
                    if (maxclaim[i][j] - curr[i][j] > avl[j]) {
                        exec = 0;
                        break;
                    }
                }
                if (exec) {
                    printf("\nProcess%d is executing\n", i + 1);
                    running[i] = 0;
                    count--;
                    safe = 1;

                    for (j = 0; j < r; j++) {
                        avl[j] += curr[i][j];
                    }

                    break;
                }
            }
        }
        if (!safe) {
            printf("\nThe processes are in unsafe state.\n");
            break;
        } else {
            printf("\nThe process is in safe state");
            printf("\nAvailable vector:");

            for (i = 0; i < r; i++) {
                printf("\t%d", avl[i]);
            }

            printf("\n");
        }
    }
}

/*SAMPLE  OUTPUT
-----------------
Enter the number of processes:5

Enter the number of resources:4

Enter Claim Vector:8 5 9 7

Enter Allocated Resource Table:
2 0 1 1
0 1 2 1
4 0 0 3
0 2 1 0
1 0 3 0

Enter Maximum Claim Table:
3 2 1 4
0 2 5 2
5 1 0 5
1 5 3 0
3 0 3 3

The Claim Vector is:    8   5   9   7
The Allocated Resource Table:
    2   0   1   1
    0   1   2   1
    4   0   0   3
    0   2   1   0
    1   0   3   0

The  Maximum Claim Table:
    3   2   1   4
    0   2   5   2
    5   1   0   5
    1   5   3   0
    3   0   3   3

 Allocated resources:   7   3   7   5
 Available resources:   1   2   2   2

Process3 is executing

 The process is in safe state
 Available vector:  5   2   2   5
Process1 is executing

 The process is in safe state
 Available vector:  7   2   3   6
Process2 is executing

 The process is in safe state
 Available vector:  7   3   5   7
Process4 is executing

 The process is in safe state
 Available vector:  7   5   6   7
Process5 is executing

 The process is in safe state
 Available vector:  8   5   9   7

 ---------------------------------------------------------*/
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/131995.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

  • 盘点|12款服务器监控工具「建议收藏」

    盘点|12款服务器监控工具「建议收藏」服务器监控工具功能相当强大,无论何时何地,我们都可以了解到服务器的功能以及性能。服务器监控工具的使用,可以让我们清楚的知道用户可以打开我们的网站,且确保网速不慢。只有这样做,才能留住宝贵的用户,以免因为系统停运的原因,导致用户丢失。基于此,我为大家收集了12款超实用的服务器监控工具。1、zabbixzabbix是一个基于WEB界面的提供分布式系统监视以及网络监视功能的企业级的开源解决方案。abbix能监视各种网络参数,保证服务器系统的安全运营;并提供灵活的通知机制以让系统管理员快速定位/解决存在的各种问

  • navicate 15 激活码【注册码】

    navicate 15 激活码【注册码】,https://javaforall.cn/100143.html。详细ieda激活码不妨到全栈程序员必看教程网一起来了解一下吧!

  • Pytest(6)重复运行用例pytest-repeat[通俗易懂]

    Pytest(6)重复运行用例pytest-repeat[通俗易懂]前言平常在做功能测试的时候,经常会遇到某个模块不稳定,偶然会出现一些bug,对于这种问题我们会针对此用例反复执行多次,最终复现出问题来。自动化运行用例时候,也会出现偶然的bug,可以针对单个用例,

  • matlab画图颜色属性「建议收藏」

    matlab画图颜色属性「建议收藏」各种颜色属性选项选项意义选项意义’r’红色’m’粉红’g’绿色’c’青色32’b’兰色’w’白色’y’黄色’k’黑色各种线型属性选项选项意义选项意义’-‘实线’–‘虚线’:’点线’-.’点划线各种标记点属性选项选项意义选项意义’.’用点号绘制各数据点’^’用上三角绘制各数据点’+’用’+’号绘制各数据点’v’…

  • Cinemachine(四)在路径/轨道上移动的摄像头(Cinemachine Dolly Camera,Path And Cart)

    Cinemachine(四)在路径/轨道上移动的摄像头(Cinemachine Dolly Camera,Path And Cart)22

  • JAVA Socket详解

    1问题引入1.1网络架构模型网络架构模型主要有OSI参考模型和TCP/IP五层模型1.1.1OSI参考模型OSI(OpenSystemInterconnect),即开放式系统互联。一般都叫OSI参考模型,是ISO(国际标准化组织)组织在1985年研究的网络互连模型。ISO为了更好的使网络应用更为普及,推出了O…

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号