zoukankan      html  css  js  c++  java
  • 【转】死锁的产生条件和解决策略

    死锁的产生条件和解决策略

    1.死锁的产生条件

    (1)互斥条件(mutual exclusion):资源不能被共享,只能由一个进程使用;

    (2)请求与保持条件(hold and wait):进程已获得了一部分资源,但因请求其它资源被阻塞时,对已获得的资源保持不放;

    (3)不可抢占条件(no pre-emption):有些系统资源是不可抢占的,当某个进程已获得这种资源后,系统不能强行收回,只能进程使用完时自己释放;

    (4)循环等待条件(circular wait):若干个进程形成环形链,每个都占用对方申请的下一个资源。

    自己总结:有个人很霸道,拿了东西就不肯还(请求保持),别人还不能抢(不可抢),又不肯和别人共享(互斥),造成了死循环(循环等待)。

    2.解决死锁的策略

    (1)死锁预防

      破坏导致死锁必要条件中的任意一个就可以预防死锁,但这种方法破坏了系统的并行性和并发性。例如,要求用户申请资源时一次性申请所需要的全部资源,这就破坏了保持和等待条件;将资源分层,得到上一层资源后,才能够申请下一层资源,它破坏了环路等待条件。预防通常会降低系统的效率。

      注:死锁产生的前三个条件是死锁产生的必要条件,也就是说要产生死锁必须具备的条件,而不是存在这3个条件就一定产生死锁,那么只要在逻辑上回避了第四个条件就可以避免死锁。

    (2)死锁避免

      允许前三个条件存在,但通过合理的资源分配算法来确保永远不会形成环形等待的封闭进程链,从而避免死锁。该方法支持多个进程的并行执行,为了避免死锁,系统动态的确定是否分配一个资源给请求的进程。方法如下:

      a.如果一个进程的当前请求的资源会导致死锁,系统拒绝启动该进程;

      b.如果一个资源的分配会导致下一步的死锁,系统就拒绝本次的分配;

      显然要避免死锁,必须事先知道系统拥有的资源数量及其属性,并且死锁避免算法的执行会增加系统的开销,常见算法如:银行家算法。

    (3)死锁检测

      死锁预防和避免都是事前措施,而死锁的检测则是判断系统是否处于死锁状态,如果是,则执行死锁解除策略。

    (4)死锁解除

      这是与死锁检测结合使用的,它使用的方式就是剥夺。即将某进程所拥有的资源强行收回,分配给其他的进程。

    3.附录

    (1)其中,银行家算法如下:

      所谓银行家算法,是指在分配资源之前先看清楚,资源分配后是否会导致系统死锁。如果会死锁,则不分配,否则就分配。

      按照银行家算法的思想,当进程请求资源时,系统将按如下原则分配系统资源:

      a.当一个进程对资源的最大需求量不超过系统中的资源数时可以接纳该进程。

      b.进程可以分期请求资源,当请求的总数不能超过最大需求量。

      c.当系统现有的资源不能满足进程尚需资源数时,对进程的请求可以推迟分配,但总能使进程在有限的时间里得到资源。

      d.当系统现有的资源能满足进程尚需资源数时,必须测试系统现存的资源能否满足该进程尚需的最大资源数,若能满足则按当前的申请量分配资源,否则也要推迟分配。

    (2)其中,鸵鸟算法如下:

      忽略死锁。该算法可以应用在极少发生死锁的的情况下。为什么叫鸵鸟算法呢,因为传说中鸵鸟看到危险就把头埋在地底下,可能鸵鸟觉得看不到危险也就没危险了吧。跟掩耳盗铃有点像。

    如有不对的地方,非常欢迎给予指导!

    ——【感谢】资料来源于http://blog.csdn.net/liujianfei526/article/details/51933162

  • 相关阅读:
    设计模式系列
    Python3 系列之 可变参数和关键字参数
    设计模式系列
    【HANA系列】SAP HANA ODBC error due to mismatch of version
    【FICO系列】SAP FICO FS00修改科目为未清项目管理
    【FIORI系列】SAP OpenUI5 (SAPUI5) js框架简单介绍
    【HANA系列】SAP HANA SQL获取当前日期加若干天后的日期
    【HANA系列】SAP HANA SQL获取本周的周一
    【HANA系列】SAP HANA SQL获取当前日期
    【HANA系列】SAP HANA SQL获取当前日期最后一天
  • 原文地址:https://www.cnblogs.com/engraver-lxw/p/7742124.html
Copyright © 2011-2022 走看看