银行家算法

银行家算法
强烈推介IDEA2020.2破解激活,IntelliJ IDEA 注册码,2020.2 IDEA 激活码

银行家算法

银行家算法,避免产生死锁寻找进程安全队列的一种算法。

银行家算法的四要素:

  • 需求、已分配、还需要、可利用
  • 还需要=需求-已分配

比较还需要和可利用的关系
在这里插入图片描述
总结:

  • 可以根据此表推算出安全队列(即不会产生死锁)
  • 进程运行后会自动释放Allocation中的资源到Available中。

两个常见的问题
(1)该状态是否安全?
(2)若进程P2提出请求Request(1,2,2,2)后,系统能否将资源分配给它?

(1)答:根据下图可以获得安全队列 P0、P3、P4、P1、P2
Work+Allocation 是完成本进程后可以使用的资源数 Work 当前可以使用的进程数
在这里插入图片描述
(2)
答:P2发出请求向量Request(1,2,2,2),系统按银行家算法进行检查:
①Request2(1,2,2,2)<=Need2(2,3,5,6) //这里导致资源分配之后 不满足需求 导致资源不会被释放
②Request2(1,2,2,2)<=Available(1,6,2,2) //请求的资源小于可用资源 请求可通过但是安全检查无法通过
③系统先假定可为P2分配资源,并修改Available,Allocation2和Need2向量:
Available=(0,4,0,0)
Allocation2=(2,5,7,6)
Need2=(1,1,3,4)
此时再进行安全性检查,发现 Available=(0,4,0,0) 不能满足任何一个进程,所以判定系统进入不安全状态,即不能分配给P2相应的Request(1,2,2,2)。

在这里插入图片描述

本文来源蹊源的奇思妙想,由架构君转载发布,观点不代表Java架构师必看的立场,转载请标明来源出处:https://javajgs.com/archives/14711

发表评论