上课用死锁.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
3。5 死锁 死锁的基本概念 死锁的解决方案 (预防,避免,检测及解除) 资源分配图 例1进程推进顺序不当产生死锁 设系统有打印机、读卡机各一台,被进程P和Q共享。两个进程并发执行,按下列次序请求和释放资源: 进程P 进程Q 请求读卡机 请求打印机 请求打印机 请求读卡机 释放读卡机 释放读卡机 释放打印机 释放打印机 进程Q1 进程Q2 ……… ……… P(S1); P(s2); P(s2); P(s1); 使用r1和r2; 使用r1和r2 V(S1); V(s2); V(S2); V(S1); 例4对临时性资源使用不加限制引起死锁 进程通信使用的信件是一种临时性资源,如果对信件的发送和接收不加限制,可能引起死锁。 3.5.1 死锁的基本概念 3.5.1.1 死锁的定义: 一组进程中,每个进程都无限等待被该组进程中另一进程所占有的资源,因而永远无法得到的资源,这种现象称为进程死锁,这一组进程就称为死锁进程。 关于死锁的一些结论: 参与死锁的进程最少是两个 参与死锁的进程至少有两个已经占有资源 参与死锁的所有进程都在等待资源 参与死锁的进程是当前系统中所有进程的子集 注:如果死锁发生,会浪费大量系统资源,甚至导致系统崩溃。 3.5.1.2 资源分类 * 可抢占(剥夺)资源:CPU和RAM 不可抢占(剥夺)资源:打印机等、磁带机等 临时性资源:只可使用一次的资源;如信号量,中断信号,同步信号等(可消耗性资源) “申请--分配--使用--释放”模式 3.5.2 产生死锁的四个必要条件 互斥使用(资源独占) 不可强占(不可剥夺) 请求和保持(部分分配,占有申请) 循环环路等待 1) 互斥使用(资源独占) 一个资源每次只能给一个进程使用 2) 不可强占(不可剥夺) 资源申请者不能强行的从资源占有者手中夺取资源,资源只能由占有者自愿释放 3) 请求和保持 (部分分配,占有申请) 一个进程在申请新的资源的同时保持对原有资源的占有 (只有这样才是动态申请,动态分配) 4) 循环等待 存在一个进程等待队列 {P1 , P2 , … , Pn}, 其中P1等待P2占有的资源,P2等待P3占有的资源,…,Pn等待P1占有的资源,形成一个进程等待环路 3.5.3 死锁的解决方案 预防死锁 事先采取措施,破坏产生死锁的四个必要条件。 (2) 避免死锁: 采取合适的资源分配策略防止其进入不安全状态 (3) 检测死锁:允许死锁产生,但不断去检查,一旦死锁立刻清除。 (4) 解除死锁:与检测机构配套使用,采用各种措施进行死锁的解除。 3.6 死锁的预防 定义: 在系统设计时确定资源分配算法,保证不发生死锁。具体的做法是破坏产生死锁的四个必要条件之一 死锁预防 破坏“不可剥夺”条件 在允许进程动态申请资源前提下规定,一个进程在申请新的资源不能立即得到满足而变为等待状态之前,必须释放已占有的全部资源,若需要再重新申请。 死锁预防 破坏“请求和保持”条件 要求每个进程在运行前必须一次性申请它所要求的所有资源,且仅当该进程所要资源均可满足时才给予一次性分配。 死锁预防 破坏“循环等待”条件 采用资源有序分配法: 把系统中所有资源编号,进程在申请资源时必须严格按资源编号的递增次序进行,否则操作系统不予分配 死锁避免定义 定义: 在系统运行过程中,对进程发出的每一个系统能够满足的资源申请进行动态检查,并根据检查结果决定是否分配资源,若分配后系统可能发生死锁,则不予分配,否则予以分配 安全状态与不安全状态 安全状态: 如果存在一个由系统中所有进程构成的安全序列P1,…Pn,则系统处于安全状态 死锁避免 安全序列: 一个进程序列{P1,…,Pn}是安全的,如果对于每一个进程Pi(1≤i≤n),它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj (j i )当前占有资源量之和,系统处于安全状态 (安全状态一定是没有死锁发生的) 安全状态与不安全状态 银行家算法数据结构 n:系统中进程的总数 m:资源类总数 Available: ARRAY[1..m] of integer; //表示系统中现有Rj类资源数目。 Max: ARRAY[1..n,1..m] of integer; //表示进程i需要Rj类资源的最大数目 Allocation: ARRAY[1..n,1..m] of integer; //

文档评论(0)

yyh892289 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档