- 1、本文档共118页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
* 3.关于死锁的一些结论: 参与死锁的进程最少是两个 (两个以上进程才会出现死锁) 参与死锁的进程至少有两个已经占有资源 参与死锁的所有进程都在等待资源 参与死锁的进程是当前系统中所有进程的子集 注:如果死锁发生,会浪费大量系统资源,甚至导致系统崩溃。 * 4. 产生死锁的原因 1)并发进程竞争资源: 系统提供的资源个数少于并发进程发要求的该类资源数。 2)进程推进顺序非法: 进程运行过程中,请求和释放资源的顺序不当。 * 5 产生死锁的四个必要条件 a.互斥条件:一个资源每次只能给一个进程使用 b. 不可剥夺:资源申请者不能强行的从资源占有者手中夺取资源,资源只能由占有者自愿释放 c.部分分配:进程一次申请所需要的一部分资源,在等待新的资源的同时保持对已经分配到的资源占有。 d.循环等待:进程队列{P1 , P2 , … , Pn},其中P1等待P2占有的资源,P2等待P3占有的资源,…,Pn等待P1占有的资源,形成一个进程等待环路。 同时具备以上四个必要条件时,就会发生死锁。 * 3.8.2 解决死锁的方法 解决死锁问题的基本方法有:死锁的预防、死锁的避免、死锁的检测并解除三种。 1.死锁的预防:在设计操作系统时,通过确定一些资源分配策略,使系统能预先排除死锁的可能性。通常,可以通过破坏死锁的四个必要条件之一来预防死锁。 * 1.死锁的预防: a.破坏“不可剥夺”条件 在允许进程动态申请资源前提下规定,一个进程在申请新的资源不能立即得到满足而变为等待状态之前,必须释放已占有的全部资源,若需要再重新申请。 b.破坏“部分分配”条件 要求每个进程在运行前必须一次性申请它所要求的所有资源,且仅当该进程所要资源均可满足时才给予一次性分配. c.破坏“循环等待”条件 将所有资源分成若干级L1,L2,Ln,每级包含m类(至少一类)资源,对申请资源的进程规定:在获得资源后,只能申请较高级的资源,对于同一级资源或低一级的资源申请:必须先释放所有同级或高级的资源,然后再申请分配,否则不予分配。并规定:在有限时间内释放所获资源。这种资源分配的方法不会导致死锁发生。 * 2) 死锁避免 定义: 在系统运行过程中,对进程发出的每一个系统能够满足的资源申请进行动态检查,预测出死锁发生的可能性,并根据检查结果决定是否分配资源,若分配后系统可能发生死锁,则不予分配,否则予以分配。 Dijkstra的银行家算法避免死锁 * 附:系统分为安全状态与不安全状态 安全状态: 如果存在一个由系统中所有进程构成的安全序列P1,…Pn,则系统处于安全状态 * 一个进程序列{P1,…,Pn}是安全的,如果对于每一个进程Pi(1≤i≤n),它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj (j i )当前占有资源量之和,系统处于安全状态 (安全状态一定是没有死锁发生的) 安全序列: * 安全状态与不安全状态 不安全状态:不存在一个安全序列,不安全状态一定导致死锁 * 安全状态之例 假定系统有三个进程p1,p2,p3,共有12台磁带机,最大需求与在某这T时刻已分配资源如表: 进程 最大需求 已分配 可用 p1 10 5 3 p2 4 2 p3 9 2 这时存在的一个安全序列p2,p1,p3 * 进程 最大需求 已分配 可用 p1 10 5 3 p2 4 2 p3 9 2 T时刻以后,p3又请求1台,分配后,系统进入不安全态。 因其余2台给p2,p2完成释放4台,p1和p3无法推进,导致死锁。 因此,在p3请求资源时,尽管系统有资源却不能分配。如果不按安全序列分配资源,则系统可能会由安全状态进入不安全状态。 * 死锁检测: 允许死锁发生,操作系统不断监视系统进展情况,判断死锁是否发生 一旦死锁发生则采取专门的措施,解除死锁并以最小的代价恢复操作系统运行 3 死锁的检测与解除 * 检测时机: 1)当进程等待时检测死锁 (其缺点是系统的开销大) 2)定时检测 3)系统资源利用率下降时检测死锁 * 死锁的解除: 重要的是以最小的代价恢复系统的
文档评论(0)