银行家算法
银行家算法参考书目

银行家算法参考书目(原创实用版)目录1.银行家算法的概念和背景2.银行家算法的参考书目3.银行家算法的应用领域4.银行家算法的优缺点分析正文银行家算法(Banker"s Algorithm)是一种避免死锁(Deadlock)的资源分配策略,由荷兰计算机科学家艾兹赫尔·戴克斯特拉(Edsger W.Dijkstra)于 1960 年代提出。
该算法主要应用于操作系统、计算机网络和分布式系统等领域,旨在保证系统在多进程并发执行时不发生死锁现象,确保资源得到合理分配。
一、银行家算法的概念和背景在计算机科学中,死锁是指多个进程因竞争资源而陷入的无法进行的状态。
为了避免死锁,银行家算法应运而生。
它通过设置一种资源分配策略,动态地监控和调整进程对资源的请求,从而确保系统始终处于安全状态。
二、银行家算法的参考书目1.《操作系统概念》(Operating System Concepts):该书是由 Abraham Silberschatz、Peter B.Galvin 和 Greg Gagne 共同撰写的经典教材,详细介绍了银行家算法的原理和应用。
2.《计算机网络》(Computer Networking: A Top-Down Approach):James F.Kurose 和 Keith W.Ross 编写的这本教材中也有关于银行家算法的讨论,有助于从网络的角度理解该算法。
3.《分布式系统原理与范型》(Distributed Systems: Principles and Paradigms):George Coulouris、Jean Dollimore、Tim Kindberg 和Gordon Blair 所著的这本书从分布式系统的角度深入讲解了银行家算法的原理和应用。
三、银行家算法的应用领域银行家算法主要应用于以下领域:1.操作系统:在操作系统中,银行家算法可以有效地避免多进程并发执行时出现的死锁现象,确保系统资源的合理分配。
银行家算法总结

银行家算法总结银行家算法是一种经典的避免死锁的算法,在操作系统中得到了广泛的应用。
本文将对银行家算法进行总结,介绍其原理和应用。
## 1. 银行家算法简介银行家算法是一种资源分配和安全性检查的算法,用于避免在多个进程竞争有限资源时产生死锁。
它通过预先分配资源,检查每个进程请求资源后是否会导致系统进入不安全状态,从而避免死锁的发生。
## 2. 银行家算法原理银行家算法基于以下前提条件和原理:- 每个进程对资源的最大需求量是固定的,并在程序开始时规定。
- 系统中的资源被分为多类,每类资源的数目也是固定的。
- 每个进程在请求资源时需要指定所需资源的数量。
- 当进程请求资源时,系统会先检查此次请求是否安全,如果安全则分配资源,否则将此次请求置于等待状态。
银行家算法的原理可以归纳为以下几个步骤:1. 初始化阶段:系统初始化可分配资源和进程的最大需求量,并记录当前已分配资源和已请求资源的情况。
2. 请求资源阶段:当进程请求资源时,系统首先判断此次请求是否会导致系统进入不安全状态。
3. 安全检查阶段:系统通过安全性检查算法,判断当前系统状态下是否有足够的资源分配给进程,避免产生死锁。
4. 分配资源阶段:如果系统通过安全检查,则分配资源给进程,并将进程从等待状态转换为运行状态。
5. 进程释放资源:当进程完成任务后,释放已分配的资源。
6. 终止进程阶段:在释放资源后,检查是否有其他进程的请求可以被满足,如果满足则继续分配资源。
## 3. 银行家算法应用场景银行家算法主要应用于多进程共享有限资源的场景,如操作系统、数据库管理系统等。
以下是一些常见的应用场景:1. 操作系统资源管理:在多任务操作系统中,为了确保资源的高效利用,避免死锁的发生,可以使用银行家算法进行资源分配和调度。
2. 分布式系统:在分布式系统中,各个节点之间可能存在资源争用的情况。
使用银行家算法可以保证资源的分配和调度是安全的,避免死锁和资源竞争。
3. 并发编程:在并发编程中,多个线程可能会竞争同一资源。
银行家算法课件

我们可以把操作系统看作是银行家,操作系统管 理的资源相当于银行家管理的资金,进程向操作系统 请求分配资源相当于用户向银行家贷款。操作系统按 照银行家制定的规则为进程分配资源,当进程首次申 请资源时,要测试该进程对资源的最大需求量,如果 系统现存的资源可以满足它的最大需求量则按当前的 申请量分配资源,否则就推迟分配。当进程在执行中 继续申请资源时,先测试该进程已占用的资源数与本 次申请的资源数之和是否超过了该进程对资源的最大 需求量。若超过则拒绝分配资源,若没有超过则再测 试系统现存的资源能否满足该进程尚需的最大资源量, 若能满足则按当前的申请量分配资源,否则也要推迟 分配。
2,0,1,2
P4
4,3,6,6
P5
4,6,9,8
• P5执行后,不能继续执行下去,则该状态不安全,系统将拒绝资源请求。
1.4银行家算法的实现
1.3银行家算法
3) Work:=Work+Allocation[i]; Finish[i]:=true; 转(1)
(4) 若对所有i,Finish[i]=true,则系统处 于安全状态,否则处于不安全状态
1.3银行家算法
例题:假设某系统中有4个 资源(R1、R2、R3、R4), 在某个时刻系பைடு நூலகம்中共有5个
进程等待
1.3银行家算法
为进行安全性检查,定义数据结构: Work:ARRAY[1..m] of integer; Finish:ARRAY[1..n] of Boolean; 安全性检查的步骤: (1) Work:=Available;
Finish:=false; (2) 寻找满足条件的i:
a.Finish[i]=false; b.Need[i]≤Work; 如果不存在,则转(4)
简述银行家算法

简述银行家算法银行家算法,也称为银行家安全算法,是一种用于避免系统资源的死锁现象的算法。
在操作系统中,当多个进程需要同时访问同一组资源并且它们的访问不可分割时,就会产生死锁现象。
在这种情况下,所有的进程都会被阻塞,无法进行任何工作。
银行家算法通过对系统资源的分配和管理,可以避免死锁现象的发生。
它主要包括以下几个步骤:1. 初始化系统:在系统启动时,需要确定每种类型的资源的数量和可用数量,并记录每个进程需要的最大资源数和已经分配的资源数。
2. 进行资源请求:当一个进程需要资源时,会向系统发送一个资源请求。
该请求指定了进程需要的资源类型和数量。
如果系统中有足够的资源可以分配给该进程,那么分配成功并将资源分配给该进程。
3. 检查资源分配是否安全:在分配资源之前,需要检查分配后系统是否处于安全状态。
安全状态是指在分配后,所有进程都能够完成它们的工作并释放所有资源。
如果系统处于安全状态,则分配资源并通知进程可以执行它们的任务。
4. 回收资源:当进程完成任务后,会释放它所占用的所有资源并通知系统。
系统会将这些资源重新分配给其他进程。
在银行家算法中,对于每个进程,都会维护一个资源请求向量和一个安全向量。
资源请求向量包含了进程当前所需要的资源数量,安全向量包含了系统中未分配的资源数量。
当系统收到一个资源请求时,会将该请求向量加入到系统资源向量中,并检查是否存在一个安全序列,该安全序列满足所有进程都可以完成它们的任务并释放它们所占用的所有资源。
如果存在这样的安全序列,则分配资源并通知进程可以执行它们的任务;如果不存在,则拒绝资源请求并等待其他进程的资源释放。
通过使用银行家算法,可以避免系统中的死锁现象,保证所有进程都可以完成它们的任务。
这种算法被广泛应用于操作系统和其他复杂的软件系统中,是保障系统安全性的重要工具。
银行家算法总结

银行家算法总结一、银行家算法银行家算法(Banker’s Algorithm),又称银行家管理算法,是一种专门用于系统资源管理的算法,用于解决操作系统中多个用户对多类资源的竞争请求,从而保证合理地分配公共资源,解决资源分配问题,其目的是为了保证单个进程的安全运行,同时保证系统的安全运行。
二、银行家算法的定义银行家算法是一种用于解决多个用户对多类资源的竞争请求的算法,也称作资源分配算法或资源管理算法,它可以确定是否有足够的资源可供一个或多个进程安全运行,如果有足够的资源可供运行,则可以分配该资源,否则系统将进入不满足安全状态。
三、银行家算法的特点(1)安全性:银行家算法可以确定是否有足够的资源可以满足所有进程的最大要求,使系统处于安全态;(2)在安全态下,银行家算法能够有效地检查一个进程是否可以获得资源,并且可以确定该状态下的最优解;(3)银行家算法可以有效检查一个系统是否处于安全态,它可以检查任意多个资源种类的一组资源分配是否安全;(4)银行家算法可以防止死锁的发生,可以有效地确保非抢占式多处理机系统的安全运行;(5)银行家算法设计简单,容易实现,并十分快速;(6)银行家算法不是最优的,它只是一种有效的搜索算法,其实现效率较低;四、银行家算法的使用1、资源分配问题银行家算法可以用于操作系统中的多个用户对多类资源的竞争请求,以此保证资源的合理分配,从而解决资源分配问题。
它可以有效地检查一个进程是否可以获得资源,同时可以确定该状态下的最优解。
2、进程安全性银行家算法可以用于检查一个系统是否处于安全态,并检查任意多个资源种类的一组资源分配是否安全,可以保证系统的安全运行,从而保证单个进程的安全性。
3、防止死锁银行家算法可以防止死锁的发生,这是由于它可以确定是否有足够的资源可以满足所有进程的最大要求,使系统处于安全态,从而阻止死锁发生。
总结银行家算法的算法思想

总结银行家算法的算法思想银行家算法(Banker's algorithm)是一种用于避免死锁的资源分配算法。
它是由荷兰计算机科学家埃德赫尔特·迪科斯彻在1965年提出的,其核心思想是通过判断系统状态是否安全来避免资源分配导致的死锁。
银行家算法的基本思想是在进行资源分配之前,通过模拟执行来判断系统是否会进入不安全状态。
具体来说,该算法需要维护一些数据结构,包括进程的最大需求矩阵、已分配资源矩阵、可用资源矩阵和需求资源矩阵。
通过这些矩阵的计算和比较,可以判断出系统是否能够分配资源,并避免死锁情况的出现。
银行家算法的算法过程如下:1. 初始化:将进程的最大需求矩阵、已分配资源矩阵、可用资源矩阵和需求资源矩阵进行初始化。
2. 安全性检查:通过循环遍历每个进程,判断当前系统状态是否安全。
具体的判断标准是,判断每个进程的需求资源矩阵是否小于等于可用资源矩阵,若满足条件,则代表该进程可以执行,否则代表该进程无法执行。
3. 执行分配:如果当前系统状态安全,则将资源分配给进程执行,并更新已分配资源矩阵和可用资源矩阵。
4. 释放资源:当进程执行完毕后,释放已占有资源,并更新已分配资源矩阵和可用资源矩阵。
银行家算法的核心思想是通过安全性检查来避免死锁的发生。
在进行资源分配之前,系统会先进行模拟执行,判断系统状态是否安全。
如果系统是安全的,则资源会分配给进程执行;否则,资源不会分配,并保持当前状态。
这样可以防止资源的过度分配和不合理分配,进而减少死锁的发生。
银行家算法的优点是避免了资源的浪费和不合理分配,保证了系统的高效运行。
同时,该算法也能够避免死锁的产生,提高了系统的稳定性和可靠性。
然而,银行家算法也存在一些局限性。
首先,该算法要求进程提前声明对资源的最大需求,而实际情况下,有些进程可能无法准确地预先声明自己的资源需求。
其次,该算法需要维护多个矩阵,增加了算法的复杂性和计算量。
最后,银行家算法只是一种静态的资源分配算法,无法适应动态变化的系统需求。
银行家算法——精选推荐

银⾏家算法处理死锁的⽅法:预防死锁,避免死锁,检测死锁,解除死锁其中,避免死锁的著名算法:Dijkstra的银⾏家算法。
(这是由于该算法能⽤于银⾏系统现⾦贷款的发放⽽得名的)要实现该算法,系统中需要设置如下⼏个数据结构:1)可利⽤资源向量Available。
Available[j]=K表⽰系统中j类可⽤资源有K个。
2)最⼤需求矩阵Max。
Max[i,j]=K表⽰进程i对j类资源的最⼤需求个数为K个。
3)已分配资源矩阵Allocation。
Allocation[i,j]=K表⽰已为进程i分配J类资源K个。
4)需求矩阵Need。
Need[i,j]=K表⽰进程i还需要请求j类资源K个。
银⾏家算法:Request[i,j]=K表⽰进程i请求j类资源K个。
1)⽐较Request[i,j]与Need[i,j],如果Request[i,j]<=Need[i,j],则执⾏步骤2,否则认为出错,请求的数量超出需求的最⼤数量。
2)⽐较Request[i,j]与Available[j],如果Request[i,j]<=Available[j],则执⾏步骤3,否则进程i需要等待,系统⽆⾜够的可⽤资源。
3)系统尝试为进程i分配请求的j类资源K, available[j]:=available[j]-request[i,j] allocation[i,j]:=allocation[i,j]+request[i,j] need[i,j]:=need[i,j]-request[i,j]4)调⽤安全算法,如果检测出此次分配后系统处于安全状态,则正式分配资源,否则将本次试探分配作废,所有数据量还原,放弃本次资源分配。
安全算法:安全算法⽤于检测资源分配后,系统是否处于安全状态。
1)设置两个向量:(1)work,它表⽰系统可提供给进程各类资源的数⽬,在执⾏安全算法开始时,work:=available(2)finish,它表⽰系统是否有⾜够的资源分配给进程,使之运⾏完成。
银行家算法

银行家算法一、基本思想:银行家算法是最具有代表性的避免死锁的算法,在本实验中是用C语言实现的。
具体做法是:银行家算法中的数据结构:1、定义一个含有m 个元素的Available数组,每一个元素表示一类可利用的资源数,其值随该类资源的分配和回收而动态的改变。
2、定义一个最大需求矩阵Max,它是一个二维数组,表示每个进程对某类资源的最大需求。
3、定义一个分配矩阵Allocation,它也是一个二维数组,表示系统中每一个进程已经得到的每一类资源的数目。
4、定义一个需求矩阵Need,它也是一个二维数组,表示每个进程尚需的各类资源数。
当某个进程发出资源请求,系统按下述步骤进行检查:1、如果请求向量小于需求矩阵,便执行下一步;否则认为出错,因为它所需要的资源已超过它所宣布的最大值。
2、如果请求向量小于可利用的资源数,便执行下一步;否则,资源不足,该进程需要等待。
3、系统试探着把资源分配给该进程,并修改下列数据结构中的数值:剩余资源数等于可用资源数减去需求向量;已分配的资源数等于为请求资源前分配给该进程的资源加上需求向量;需求矩阵等于未分配资源前的需求矩阵减去请求向量;4、系统执行安全性算法,检查此次分配后系统是否处于安全状态。
若安全,才将资源分配给该进程;否则,本次试探分配作废。
安全性算法:(1)设置两个工作向量Work=Available;Finish[M]=FALSE(2)从进程集合中找到一个满足下述条件的进程,Finish[i]=FALSENeed<=Work如找到,执行(3);否则,执行(4)(3)设进程获得资源,可顺利执行,直至完成,从而释放资源。
Work= Work + AllocationFinish =True; 转向执行步骤(@)(4)如所有的进程Finish[M]=true,则表示安全;否则系统不安全。
二、源程序代码:#define M 10#include<stdio.h>int resource[M];max[M][M],allocation[M][M],need[M][M],available[M];int i,j,n,m,r;void testout() //算法安全性的检测{ int k,flag,v=0;int work[M],a[M];char finish[M];r=1;for(i=0;i<n; i++)finish[i]='F'; //初始化各进程均没得到足够资源for(j=0;j<m; j++)work[j]=available[j]; //用work[j]表示可提供进程继续运行的各类资源数k=n;while(k>0){for (i=0;i<n; i++){if (finish[i]=='F'){ flag=1;for (j=0;j<m; j++)if (need[i][j]>work[j])flag=0;if (flag==1) //找到还没完成的且需求数小于可提供进程继续运行的{ finish[i]='T'; //资源数的进程a[v++]=i; //记录安全序列for (j=0;j<m; j++)work[j]=work[j]+allocation[i][j]; //释放该进程已分配的资源}}}k--;}flag=1;for (i=0;i<n; i++) //判断是否所有的进程都完成if (finish[i]=='F')flag=0;if (flag==0) //若有进程没完成,则为不安全状态{printf("系统不安全. \n");r=0;}else //否则为安全状态{printf("系统是安全的.\n");printf(" 输出安全序列:\n");for (i=0;i<n;i++)printf ("%d ",a[i]); //输出安全序列printf("\n");printf("为各进程分配分配各类资源的方法:\n");for (i=0;i<n; i++){printf("%2d",i);printf(" ");for(j=0;j<m; j++)printf("%2d",allocation[i][j]);printf(" ");for(j=0;j<m; j++)printf("%2d",need[i][j]);printf("\n");}}}void print() //输出可用资源数目{printf("可用资源是: \n");for(j=0;j<m; j++)printf("%2d ",available[j]);printf("\n");}void main(){int p,q;int resource[M],request[M],allocation1[M][M],need1[M][M],available1[M];printf("输入进程总数:\n");scanf("%d", &n);printf("输入资源种类总数:\n");scanf("%d", &m);printf("输入各类资源总数:\n");for(j=0;j<m;j++)scanf("%2d",&resource[j]);printf("各类资源的总数:\n");for(j=0;j<m;j++)printf("资源%d: %d\n",j,resource[j]);printf("输入最大矩阵:\n");for(i=0;i<n; i++)for(j=0;j<m; j++)scanf("%2d",&max[i][j]);printf("输入已分配资源数:\n");for(i=0;i<n; i++)for(j=0;j<m; j++)scanf("%d", &allocation[i][j]);printf("输出还需要的资源数:\n");for (i=0;i<n; i++){for(j=0;j<m; j++){need[i][j]=max[i][j]-allocation[i][j];printf("%2d",need[i][j]);}printf("\n");}printf("\n输入可用资源数:\n");for (i=0;i<m; i++)scanf("%d", &available[i]);testout(); //检测已知的状态是否安全if (r==1) //如果状态安全则执行以下代码{while (1){ p=0;q=0;printf("\n输入请求资源的进程号: \n");scanf("%d", &i);printf("输入该进程所需的资源数:\n");for(j=0;j<m; j++)scanf("%d",&request[j]);for(j=0;j<m; j++)if(request[j]>need[i][j])p=1; //判断是否超过最大资源数if(p)printf("请求超过最大资源数!\n");else{for(j=0;j<m; j++)if(request[j]>available[j])q=1; //判断是否超过可用资源数if(q)printf("没有足够的可用资源!\n");else{for(j=0;j<m; j++){ available1[j]=available[j]; //保存原已分配的资源数,需要的资源数,和可用的资源数allocation1[i][j]=allocation[i][j];need1[i][j]=need[i][j];available[j]=available[j]-request[j]; //系统尝试把资源分配给请求的进程allocation[i][j]=allocation[i][j]+request[j];need[i][j]=need[i][j]-request[j];}print(); //输出可用资源数testout(); //进行安全检测if(r==0) //分配后状态不安全{for (j=0;j<m; j++){ available[j]=available1[j]; //还原分配前的已分配的资源数,仍需要的资源数和可用的资源数allocation[i][j]=allocation1[i][j];need[i][j]=need1[i][j];}printf(" 不安全,请返回!\n");print();}}}}}}三、实验结果截图:。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
操作系统课程设计报告题目:银行家算法院(系):计算机科学与工程学院专业:班级:学生:学号:指导教师:2011年12月目录摘要 (1)绪论 (1)1、需求分析 (1)1.1银行家算法的提出 (1)1.2 银行家算法设计思想 (1)1.3银行家算法设计分析 (2)2、概要设计 (3)2.1主要的常量变量 (4)2.2算法中用到的数据结构的说明 (8)2. 3算法中用到的函数.......................................................................( 8) 2.4 银行家算法 (8)2.5流程图.................................... . (9)3、详细设计 (13)4. 调试与测试 (8)4.1测试数据 (8)4.2.测试的结果: (9)5、结论 (10)参考文献 (10)附录 (11)摘要在多道操作系统中,可以利用多个进程并发执行来改善系统资源利用率,提高系统的吞吐量,但也可能发生人们不想看到的危险——死锁。
为了解决这个问题,人们引入了多种机制处理死锁问题。
本文主要介绍了操作系统如何运用银行家算法和安全性算法避免死锁的产生。
同时运用Java编程语言模拟计算机内部资源分配的过程。
让读者对银行家算法有更深刻的认识。
关键字:死锁银行家算法安全性算法资源分配1.需求分析.1.1银行家算法的提出本次课程设计主要解决的问题是死锁的避免。
死锁:是指多个进程因竞争资源而造成的一种僵局,若无外力作用,这些进程将永远不能再向前推进。
避免死锁是在不破坏死锁产生的四个必要条件,在资源的动态分配中,防止进程进入可能发生死锁的不安全状态。
根据此原理,Dijkstra 于1965年提出了一个经典的避免死锁的算法----银行家算法(banker’s algorithm)。
银行家算法是一种最有代表性的避免死锁的算法。
在避免死锁方法中允许进程动态地申请资源,但系统在进行资源分配之前,应先计算此次分配资源的安全性,若分配不会导致系统进入不安全状态,则分配,否则等待。
为实现银行家算法,系统必须设置若干数据结构。
所以通过编写一个模拟动态资源分配的银行家算法程序,进一步深入理解死锁、产生死锁的必要条件、安全状态等重要概念,并掌握避免死锁的具体实施方法.1.2 银行家算法设计思.想我们可以把操作系统看作是银行家,操作系统管理的资源相当于银行家管理的资金,进程向操作系统请求分配资源相当于用户向银行家贷款。
为保证资金的安全,银行家规定:(1) 当一个顾客对资金的最大需求量不超过银行家现有的资金时就可接纳该顾客;(2)顾客可以分歧贷款,但贷款的总数不能超过最大需求量;(3) 当银行家现有的资金不能满足顾客尚需的贷款数额时,对顾客的贷款可推迟支付,但总能使顾客在有限的时间里得到贷款;(4) 当顾客得到所需的全部资金后,一定能在有限的时间里归还所有的资金. 操作系统按照银行家制定的规则为进程分配资源,当进程首次申请资源时,要测试该进程对资源的最大需求量,如果系统现存的资源可以满足它的最大需求量则按当前的申请量分配资源,否则就推迟分配。
当进程在执行中继续申请资源时,先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进程对资源的最大需求量。
若超过则拒绝分配资源,若没有超过则再测试系统现存的资源能否满足该进程尚需的最大资源量,若能满足则按当前的申请量分配资源,否则也要推迟分配。
安全状态:所谓安全状态,是指系统能按某种进程顺序(P1, P2, …,Pn)(称〈P1, P2, …, Pn〉序列为安全序列),来为每个进程Pi分配其所需资源,直至满足每个进程对资源的最大需求,使每个进程都可顺利地完成。
如果系统无法找到这样一个安全序列,则称系统处于不安全状态。
不安全状态:不存在一个安全序列,不安全状态一定导致死锁。
银行家算法是一种最有代表性的避免死锁的算法。
1.3银行家算法设计分析1,银行家算法中的数据结构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]2,银行家算法设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];4)系统执行安全性算法,检查此次资源分配后,系统是否处于安全状态。
若安全,才正式将资源分配给进程Pi,以完成本次分配;否则,将本次的试探分配作废,恢复原来的资源分配状态,让进程Pi等待。
3,安全性算法1.设置两个向量:①向量Work: 它表示当前状态下,系统可提供给进程继续运行所需的各类资源数目,在执行安全算法开始时,其初值Work=Available;②Finish: 它表示系统是否有足够的资源分配给该进程,使之运行完成。
初始令Finish[i]=false; 当有足够资源分配给进程时再令Finish[i]=true。
2.从进程集合中找到一个能满足下述条件的进程:①Finish[i]=false;②Need[i,j]≤Work[j]若找到,执行步骤3,否则,执行步骤43.当进程Pi获得资源后,可顺利执行,直至完成,并释放出分配给它的资源,故应执行上述步骤:Work[j]=Work[j]+Allocation[i,j];Finish[i]=true;Go to step2;4.若所有进程的Finish[i]=true都满足,则表示系统处于安全状态。
否则,系统处于不安全状态。
2、概要设计2.1主要的常量变量.struct yinhang{char name[10];//定义进程名int Allocation[20];//定义分配int Max[20];//定义最大需求int Need[20];//定义需求int Request[20];//定义请求向量int Work[20];//定义工作向量int flags;//标志位};int A vailable[20];2. 2主要模块(函数)void main();2.3算法中用到的数据结构的说明1. 可利用资源向量available[],它是一个含有number个元素的数组,其中的每一个元素代表一类可利用的资源的数目,其初始值是系统中所配置的该类全部可用资源数目。
其数值随该类资源的分配和回收而动态地改变。
如果p[i].available[j]=k,标是系统中现有Rj类资源k个。
2. 最大需求数组,这是一个具有n个进程的数组,它定义了系统中n个进程中的每一个进程对number类资源的最大需求。
如果a[i].max[j]=k,表示进程i 需要Rj类资源的最大数目为k。
3. 分配数组allocation[],这是一个具有n个进程的数组,它定义了系统中的每类资源当前一分配到每一个进程的资源数。
如果p[i].allocation[j]=k,表示进程i当前已经分到Rj类资源的数目为k。
allocation i表示进程i的分配向量,有数组allocation的第i行构成。
4. 需求数组need,这是一个具有n个进程的结构体数组,用以表示每个进程还需要的各类资源的数目。
如果a[i].need[j]=k,表示进程i还需要Rj类资源k 个,才能完成其任务,p[i].need表示进程i的需求向量,由矩阵need的第i行构成。
上述三个矩阵间存在关系:p[i].need[j]=p[i].max[j]-p[i].allocation[j];2.4 银行家算法1、Request 是进程Pi 的请求向量。
Request=k表示进程Pi请求分配Rj类资源k个。
当P[i]发出资源请求后,系统按下述步骤进行检查:1).如果Request≤need,则转向步骤2;否则,认为出错,因为它所请求的资源数已超过它当前的最大需求量。
2).如果Request ≤available,则转向步骤3;否则,表示系统中尚无足够的资源满足Pi的申请,Pi必须等待。
3).系统试探性地把资源分配给进程Pi,并修改下面数据结构中的数值:p[i].available -= Requestp[i].allocation +=Requestp[i].need -=Request4).系统执行安全性算法,检查此次资源分配后,系统是否处于安全状态。
如果安全才正式将资源分配给进程P[i],以完成本次分配;否则,将试探分配作废,恢复原来的资源分配状态,让进程P[i]等待。
2、安全性算法1)设置两个向量:①工作向量work:它表示系统可提供给进程继续运行所需的各类资源数目,它含有m个元素,在执行安全算法开始时work=available;②flag: 它表示系统是否有足够的资源分配给进程,使之运行完成。
开始时先做flag=0; 当有足够资源分配给进程时,再令flag=1。
2)从进程集合中找到一个能满足下述条件的进程:p[i].need[j]≤Work[j];若找到,执行步骤3),否则,执行步骤4)。
3)当进程P[i]获得资源后,可顺利执行,直至完成,并释放出分配给它的资源,故应执行p[i].work[j]+=p[i];allocation[j];p[i].flag=1;go to step 2;4)如果所有进程的p[i].flag=1都满足,则表示系统处于安全状态;否则,系统处于不安全状态。