操作系统-银行家算法

本文介绍了银行家算法的原理和应用,通过Java编程实现资源分配和死锁检测。实验涉及进程数量、系统资源、最大需求和已分配资源的输入,通过安全性算法判断系统是否安全并避免死锁。实验展示了如何动态管理资源以确保系统的稳定性和可靠性。
摘要由CSDN通过智能技术生成

一、实验目的

理解银行家算法的原理和应用;
掌握死锁检测和资源分配的方法。

二、实验环境

系统:Windows 11
开发工具:Eclipse IDE
编程语言:Java

三、实验步骤

(1)从命令行输入进程数量、系统资源数量、以及每个进程对每种资源的需求和已经分配的资源数量。

(2)根据输入的数据初始化系统资源和进程信息。

(3)执行安全检查,获取到需要分配资源的进程。

(4)将资源分配给进程,并更新系统资源状态。

(5)回收进程使用的资源,并更新系统资源状态。

(6)重复3-5步骤,直到所有进程都已经结束。

import java.util.Scanner;
 
public class BankerAlgorithm {
    public static void main (String[] args) {
        
        Scanner scan = new Scanner(System.in);
        int n; // 进程数量
        int m; // 资源数量
 
        System.out.println("请输入进程的数量:");
        n = scan.nextInt();
        System.out.println("请输入资源的数量:");
        m = scan.nextInt();
 
        int[][] max = new int[n][m]; // 最大需求矩阵
        int[][] allocation = new int[n][m]; // 已分配矩阵
        int[][] need = new int[n][m]; // 还需要矩阵
        int[] available = new int[m]; // 可用资源向量
 
        // 读入最大需求矩阵
        System.out.println("请输入最大需求矩阵:");
        for (int i = 0; i < n; i++) {
            for (int j = 0; j < m; j++) {
                max[i][j] = scan.nextInt();
            }
        }
 
        // 读入已分配矩阵
        System.out.println("请输入已分配矩阵:");
        for (int i = 0; i < n; i++) {
            for (int j = 0; j < m; j++) {
                allocation[i][j] = scan.nextInt();
                need[i][j] = max[i][j] - allocation[i][j];
                System.out.print( need[i][j] );
            }
            
            System.out.println("\n");
            System.out.println(" 上述是执行进程"+i+"还需要的资源数量");
       
        }
        // 读入可用资源向量
        System.out.println("请输入总共可用的资源向量:");
        for (int i = 0; i < m; i++) {
            available[i] = scan.nextInt();
        }
 
        // 执行银行家算法
        int[] work = available.clone(); // 工作向量
        boolean[] finish = new boolean[n]; // 是否可以完成向量
        int[] safeSeq = new int[n]; // 安全序列
 
        int count = 0; // 统计已完成进程数
 
        while (count < n) {
            boolean find = false;
            for (int i = 0; i < n; i++) {
                if (!finish[i]) {
                    boolean canFinish = true;
                    for (int j = 0; j < m; j++) {
                        if (need[i][j] > work[j]) {
                            canFinish = false;
                            break;
                        }
                    }
                    if (canFinish) {
                        for (int j = 0; j < m; j++) {
                            work[j] += allocation[i][j];
                        }
                        finish[i] = true;
                        safeSeq[count] = i;
                        count++;
                        find = true;
                    }
                }
            }
            if (!find) {
                System.out.println("系统不安全");
                break;
            }
        }
        
        if (count == n) {
            System.out.print("系统安全,安全序列为:");
            for (int i = 0; i < n; i++) {
                System.out.print("P" + safeSeq[i]);
                if (i != n-1) {
                    System.out.print(" --> ");
                }
            }
        }
    }
}

在这里插入图片描述

四、实验结论

银行家算法是一种用于管理和分配计算机系统资源的算法。它主要用于避免死锁、确定可用资源并确保安全地将资源分配给进程。
银行家算法基于如下假设:每个进程在开始执行之前必须向系统声明其需要的最大资源数量,以及在任何时候已经分配给它们的资源数量。系统必须知道关于每种资源的总量,并能够判断当所有进程都请求其最大资源数量时,系统是否处于安全状态。

为了实现这些,银行家算法采用了一个数据结构,即资源分配表。该表包括三个部分:
1、已分配资源矩阵(Allocation):将进程和它们所需的资源相对应
2、最大需求矩阵(Max):定义每个进程需要的最大资源
3、可利用资源向量(Available):系统中尚未分配给任何进程的资源 银行家算法的主要目标是分配资源以满足所有进程的需求并避免死锁。

银行家算法需要完成以下步骤:
1、计算进程当前需要的资源数(Need):Need[i][j] = Max[i][j] -
Allocation[i][j]
2、检查当前状态是否安全并有无可利用的资源进行分配。
3、若不安全,则暂时拒绝进程的请求并等待资源可用。
4、若安全,则为进程分配它需要的资源,并将其从Available中减去。

银行家算法可以防止死锁。当在系统中向某个进程分配资源会导致系统状态不安全时,进程会被阻塞,直到其他进程释放资源以使系统状态变得安全。
银行家算法应用于各种计算机系统,包括操作系统、服务器、数据库管理系统、Web应用程序,以确保它们的可用性和稳定性。除此之外,在嵌入式系统和网络通信中也经常使用银行家算法来优化效率和避免死锁。

银行家算法中的死锁检测是通过安全性算法来实现的。该算法可以检测系统在当前状态下是否存在死锁,并根据检测结果决定是否能够为请求资源的进程分配资源。

安全性算法的基本思想是尝试对当前各个进程进行资源分配,以判断系统是否能够在不发

生死锁的情况下满足所有进程的资源需求。具体分为以下几个步骤:

1、对于未完成的进程,生成它们所需要的全部资源向量以及已经分配给它们的资源向量。
2、找到一个未完成的进程,需要数量小于等于当前可用资源数,且其所需资源向量与当前可用资源向量之和也小于等于系统总资源数的进程。
3、将这个进程所需资源分配给它,并根据这个进程释放掉的资源更新当前可用资源数。
4、重复执行第二步和第三步,直到所有未完成进程都被处理完成。
5、如果所有进程都能够得到所需资源,则当前状态是安全的;否则,当前状态是不安全的。
安全性算法的核心是对未完成进程的遍历和资源判断,可以有效地检测出系统发生死锁的情况,并做出正确的处理。

需要注意的是,安全性算法只是检测当前状态下是否存在死锁,但不能保证系统一定不会在未来的某个时刻发生死锁。因此,在实际应用中,需要针对具体情况设计合适的死锁预防策略,以确保系统稳定可靠地运行。

银行家算法是一种资源管理算法,其资源分配方法如下:

  1. 初始化系统状态:在系统启动时,需要记录每种资源的总数、每个进程已经占用的资源情况以及每个进程还需要的资源数量。
  2. 进程请求资源:当一个进程请求更多的资源时,银行家算法首先检查此次请求是否合法。如果此次请求的资源量超过了系统中未使用的资源总和,那么该请求将被拒绝;否则向下执行第三步。
  3. 执行安全性检查:为了确保系统不会陷入死锁,银行家算法会根据现有的资源配置和还需的资源量计算出系统是否处于安全状态。若发现当前状态不安全,则无法为申请资源的进程分配资源;否则,可以向下执行第四步。
  4. 分配资源:将请求的资源分配给相应的进程,同时更新系统中资源的数量和每个进程的资源占用信息。
  5. 检查进程是否完成:在分配完资源后,必须检查进程是否已经完成任务,如果是,则需要回收已分配给进程的资源,并释放进程所占用的所有系统资源。
  6. 重复执行上述过程:循环执行以上过程,直到所有进程都已经成功完成任务或者某些进程因为请求资源无法满足而终止。
    通过对系统状态的动态更新和安全性检查,银行家算法可以有效控制资源分配,避免死锁问题的发生。

Need=总资源-已经分配的资源
可用的=总资源-max Work=可用的
进程完成后,finsh标为1

【实验目的】 1. 理解死锁的概念; 2. 用高级语言编写和调试一个银行家算法程序,以加深对死锁的理解。 【实验准备】 1. 产生死锁的原因  竞争资源引起的死锁  进程推进顺序不当引起死锁 2.产生死锁的必要条件  互斥条件  请求和保持条件  不剥夺条件  环路等待条件 3.处理死锁的基本方法  预防死锁  避免死锁  检测死锁  解除死锁 【实验内容】 1. 实验原理 银行家算法是从当前状态出发,逐个按安全序列检查各客户中谁能完成其工作,然后假定其完成工作且归还全部贷款,再进而检查下一个能完成工作的客户。如果所有客户都能完成工作,则找到一个安全序列,银行家才是安全的。与预防死锁的几种方法相比较,限制条件少,资源利用程度提高了。缺点:该算法要求客户数保持固定不变,这在多道程序系统中是难以做到的;该算法保证所有客户在有限的时间内得到满足,但实时客户要求快速响应,所以要考虑这个因素;由于要寻找一个安全序列,实际上增加了系统的开销.Banker algorithm 最重要的一点是:保证操作系统的安全状态!这也是操作系统判断是否分配给一个进程资源的标准!那什么是安全状态?举个小例子,进程P 需要申请8个资源(假设都是一样的),已经申请了5个资源,还差3个资源。若这个时候操作系统还剩下2个资源。很显然,这个时候操作系统无论如何都不能再分配资源给进程P了,因为即使全部给了他也不够,还很可能会造成死锁。若这个时候操作系统还有3个资源,无论P这一次申请几个资源,操作系统都可以满足他,因为操作系统可以保证P不死锁,只要他不把剩余的资源分配给别人,进程P就一定能顺利完成任务。 2.实验题目 设计五个进程{P0,P1,P2,P3,P4}共享三类资源{A,B,C}的系统,{A,B,C}的资源数量分别为10,5,7。进程可动态地申请资源和释放资源,系统按各进程的申请动态地分配资源。要求程序具有显示和打印各进程的某一时刻的资源分配表和安全序列;显示和打印各进程依次要求申请的资源号以及为某进程分配资源后的有关资源数据。 3.算法描述 我们引入了两个向量:Resourse(资源总量)、Available(剩余资源量) 以及两个矩阵:Claim(每个进程的最大需求量)、Allocation(已为每个进程分配的数量)。它们共同构成了任一时刻系统对资源的分配状态。 向量模型: R1 R2 R3 矩阵模型: R1 R2 P1 P2 P3 这里,我们设置另外一个矩阵:各个进程尚需资源量(Need),可以看出 Need = Claim – Allocation(每个进程的最大需求量-剩余资源量) 因此,我们可以这样描述银行家算法: 设Request[i]是进程Pi的请求向量。如果Request[i , j]=k,表示Pi需k个Rj类资源。当Pi发出资源请求后,系统按下述步骤进行检查: (1) if (Request[i]<=Need[i]) goto (2); else error(“over request”); (2) if (Request[i]<=Available[i]) goto (3); else wait(); (3) 系统试探性把要求资源分给Pi(类似回溯算法)。并根据分配修改下面数据结构中的值。 剩余资源量:Available[i] = Available[i] – Request[i] ; 已为每个进程分配的数量: Allocation[i] = Allocation[i] + Request[i]; 各个进程尚需资源量:Need[i] = Need[i]-Request[i]; (4) 系统执行安全性检查,检查此次资源分配后,系统是否处于安全状态。若安全,才正式将资源分配给进程以完成此次分配;若不安全,试探方案作废,恢复原资源分配表,让进程Pi等待。 系统所执行的安全性检查算法可描述如下: 设置两个向量:Free、Finish 工作向量Free是一个横向量,表示系统可提供给进程继续运行所需要的各类资源数目,它含有的元素个数等于资源数。执行安全算法开始时,Free = Available .标记向量Finish是一个纵向量,表示进程在此次检查中中是否被满足,使之运行完成,开始时对当前未满足的进程做Finish[i] = false;当有足够资源分配给进程(Need[i]<=Free)时,Finish[i]=true,Pi完成,并释放资源。 (1)从进程集中找一个能满足下述条件的进程Pi ① Finish[i] == false(未定) ② Need[i] D->B->A A 1 6 B 1 5 C 2 4 D 4 7 Available = (2) ; Resourse = (10) ; 测试结果如下 process number:5 resource number:4 resource series:6 3 4 2 assined matrix:p0:3 0 1 1 p1:0 1 0 0 p2:1 1 1 0 p3:1 1 0 1 p4:0 0 0 0 needed matrix: p0:1 1 0 0 p1:0 1 1 2 p2:3 1 0 0 p3:0 0 1 0 p4:2 1 1 0 p3-->p4-->p0-->p2-->p1 p3-->p4-->p0-->p1-->p2 p3-->p0-->p4-->p2-->p1 p3-->p0-->p4-->p1-->p2 p3-->p0-->p2-->p4-->p1 p3-->p0-->p2-->p1-->p4 p3-->p0-->p1-->p4-->p2 p3-->p0-->p1-->p2-->p4 it is safe,and it has 8 solutions
5 银行家算法实现 5.1 实验类型 设计型(4学时)。 5.2 实验目的 1) 理解死锁避免相关内容; 2) 掌握银行家算法主要流程; 3) 掌握安全性检查流程。 5.3 实验描述 本实验主要对操作系统中的死锁预防部分的理论进行实验。要求实验者设计一个程序,该程序可对每一次资源申请采用银行家算法进行分配。 5.4 实验内容 1) 设计多个资源(≥3); 2) 设计多个进程(≥3); 3) 设计银行家算法相关的数据结构; 4) 动态进行资源申请、分配、安全性检测并给出分配结果。 5.5 实验要求 1) 编写程序完成实验内容; 2) 画出安全性检测函数流程图; 3) 撰写实验报告。 5.6 测试要求 1) 进行Request请求,输入参数为进程号、资源号和资源数; 2) 进行3次以上的Request请求; 3) 至少进行1次资源数目少于可用资源数,但不安全的请求。 5.7 相关知识 5.7.1 银行家算法的数据结构 1) 可利用资源向量Available。其中每个元素代表每类资源的数目。 2) 最大需求矩阵Max。其中每个元素代表每个进程对于每类资源的最大需求量。Max[i,j]=K表示i进程对于j类资源的最大需求量为K。 3) 分配矩阵Allocation。其中每个元素代表每个进程已得到的每类资源的数目。 4) 需求矩阵Need。其中每个元素代表每个进程还需要的每类资源的数目。 5.7.2 银行家算法 Request i [j]=K表示进程Pi需要K个j类资源。 1) 如果Request i [j]≤Need[i , j],便转向步骤2,否则认为出错。 2) 如果Request i [j]≤Available[j],便转向步骤3,否则表示无足够资源,Pi需等待; 3) 系统尝试分配资源给Pi; 4) 系统进行安全性检查,检查此次资源分配后,系统是否安全。如果安全,则正式分配资源,否则撤销此次分配。 5.7.3 安全性算法 1) 设置两个向量:工作向量Work和Finish。算法开始时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[j]+Allocation[i , j]; Finish[i] = True; 到第2)步。 4) 直到所有Finish[i]=True,表示系统处于安全状态;否则系统处于不安全状态。 5.8 实验设备 PC机1台,要求安装DOS7.1、Turbo C3.0、Windows2000。 5.9 实验成绩评定 实验成绩评定方式包含实验报告成绩、实验过程成绩两个部分,其中实验过程成绩占60%、实验报告成绩占40%,如果其中任何一个部分成绩不及格,则总成绩按不及格处理。 5.10 实验报告 按照实验目的、实验内容、实验要求、实验设备、测试等部分进行组织。 5.11 实验思考 1) 针对死锁有哪些可行方案? 2) 死锁解除的难点是什么?
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值