如何求解银行家算法(29页PPT).pptx
《如何求解银行家算法(29页PPT).pptx》由会员分享,可在线阅读,更多相关《如何求解银行家算法(29页PPT).pptx(29页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、死锁、银行家算法死锁、银行家算法 1.死锁概念指指多多个个进进程程因因竞竞争争共共享享资资源源而而造造成成的的一一种种僵僵局局,若若无无外外力力作作用用,这这些些进进程程都都将将永永远远不能再向前推进。不能再向前推进。即即:一一组组进进程程中中,每每个个进进程程都都无无限限等等待待被被该该组组进进程程中中另另一一进进程程所所占占有有的的资资源源,因因而而永永远远无无法法得得到到的的资资源源,这这种种现现象象称称为为进进程程死死锁锁,这一组进程就称为死锁进程。这一组进程就称为死锁进程。思考:如果系统中有n个进程,则在等待队列中进程的个数最多为()个有n个进程的系统出现死锁时,死锁进程的个数k应满
2、足的条件是()产生死锁的原因1.1.竞争资源(资源不足)竞争资源(资源不足)2.2.进程的推进顺序不当进程的推进顺序不当 1.1.竞争系统资源 若若系系统统中中只只有有一一台台打打印印机机R1R1和和一一台台读读卡卡机机R2R2,可可供供进进程程P1P1和和P2P2共共享享。若若形形成成环环路路,这这样样会会产产生死锁生死锁。由于进程的调度是独立的,请求和释放操作可按如下序列进行:Ar1,Ar2,Ar3,Ar4,Br1,Br2,Br3,Br4Br1,Br2,Br3,Br4,Ar1,Ar2,Ar3,Ar4Ar1,Ar2.Br1,Ar3,Ar4,Br2,Br3,Br4Ar1,Br1,Ar2,Br2
3、,Ar3,Ar4,Br3,Br4对序列三个进程都能顺利进行,则会产生死锁。进程A、B对资源的请求和释放 2.2.进程推进顺序不当引起死锁进程推进顺序不当引起死锁思考:某系统中有3个并发进程都需要4个同类资源,该系统不会发生死锁的最少资源是()个P341 例82.死锁避免死死锁锁避避免免定定义义:在系统运行过程中,对进程发出的每一个系统能够满足的资源申请进行动态检查,并根据检查结果决定是否分配资源,若分配后系统可能发生死锁,则不予分配,否则予以分配。由于在避免死锁的策略中,允许进程动态地申请资源。因而,系统在进行资源分配之前预先计算资源分配的安全性。若此次分配不会导致系统进入不安全状态,则将资源
4、分配给进程;否则,进程等待。其中最具有代表性的避免死锁算法是银行家算法。3.安全状态与不安全状态 安安全全状状态态指指系系统统能能按按某某种种进进程程顺顺序序PP1 1,P Pn n 来来为为每每个个进进程程P Pi i(1(1i in n)分分配配其其所所需需资资源源,直直至至最最大大需需求求,使使每每个个进进程程都都可可顺顺序序完完成成。若若系系统统不不存存在在这这样样一一个个序序列列,则则称称系系统统处处于于不不安安全全状状态态。如如果果存存在在,则则称称序序列列P 为安全序列。为安全序列。说 明并非所有的不安全状态都必然会转为死锁并非所有的不安全状态都必然会转为死锁状态,但当系统进入不
5、安全状态后,便有状态,但当系统进入不安全状态后,便有可能进入死锁。可能进入死锁。安全状态一定是没有死锁发生的。安全状态一定是没有死锁发生的。避免死锁的实质:系统进行资源分配时,避免死锁的实质:系统进行资源分配时,如何使系统不进入不安全状态。如何使系统不进入不安全状态。2)安全状态之例安全状态之例 假定系统中有三个进程P1、P2和P3,共有12台磁带机。进程P1总共要求10台磁带机,P2和P3分别要求4台和9台。假设在T0时刻,进程P1、P2和P3已分别获得5台、2台和2台磁带机,尚有3台空闲未分配,如下表所示:进 程 最 大 需 求 已 分 配 可 用 P1P2P310495223问:T0时刻
6、是否安全?3)由安全状态向不安全状态的转换由安全状态向不安全状态的转换 如果不按照安全序列分配资源,则系统可能会由安全状态进入不安全状态。例如,在T0时刻以后,P3又请求1台磁带机,若此时系统把剩余3台中的1台分配给P3,则系统便进入不安全状态。因为,此时也无法再找到一个安全序列,例如,把其余的2台分配给P2,这样,在P2完成后只能释放出4台,既不能满足P1尚需5台的要求,也不能满足P3尚需6台的要求,致使它们都无法推进到完成,彼此都在等待对方释放资源,即陷入僵局,结果导致死锁。P3的请求应拒绝。安全状态与不安全状态 不安全状态:不存在一个安全序列,不安全状态不一定导致死锁4.利用银行家算法避
7、免死锁 1)银行家算法中的数据结构银行家算法中的数据结构 (1)可可利利用用资资源源向向量量Available。这是一个含有m个元素的数组,其中的每一个元素代表一类可利用的资源数目,其初始值是系统中所配置的该类全部可用资源的数目,其数值随该类资源的分配和回收而动态地改变。如果Availablej=K,则表示系统中现有Rj类资源K个。(2)最最大大需需求求矩矩阵阵Max。这是一个nm的矩阵,它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Maxi,j=K,则表示进程i需要Rj类资源的最大数目为K。(3)分分配配矩矩阵阵Allocation。这也是一个nm的矩阵,它定义了系统中每一类
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 如何 求解 银行家 算法 29 PPT
限制150内