当前位置:首页 > > strongerHuang
[导读]产生死锁的根本原因是系统能够提供的资源个数比要求该资源的进程数要少。产生死锁的基本原因可以分为两类:资源竞争和进程推进顺序不合理。


作者:Cyapirear

素材来源:华为开发者论坛


产生死锁的原因


当进程需要以独占的方式访问资源时,可能会发生死锁(Deadlock)。死锁是指两个或以上进程因竞争临界资源而造成的一种僵局,即一个进程等待一个已经被占用且永不释放的资源。若无外力作用,这些进程都无法向前推进。

产生死锁的根本原因是系统能够提供的资源个数比要求该资源的进程数要少。

产生死锁的基本原因可以分为两类:资源竞争和进程推进顺序不合理。

资源竞争场景下,系统所拥有的资源是有限的,不能满足每个进程的需要。

例子:

A有纸,B有笔

A:你不给我笔,我就写不了作业

B:你不给我纸,我就写不了作业

彼此僵持不下……

多个程序同时运行时,进程推进顺序不合理

例子:

A要前进2步,到桌子前,再后退2步。

但如果执行顺序不合理:A先后退,就永远到不了桌子前,触发不了后续动作,就会死锁。


产生死锁的必要条件


产生死锁的四个必要条件:

  • 互斥条件 涉及的资源是非共享的,即一次只能有一个进程使用。如果有另一个进程申请该资源,那么申请进程必须等待,直到该资源被释放。
  • 不剥夺条件(非抢占) 进程所获得的资源在未使用完毕之前,不能被其他进程强行夺走,即只能由获得该资源的进程自行释放。
  • 占有并等待(部分分配) 进程每次申请它所需要的一部分资源。在等待一新资源的同时,进程继续占用已分配到的资源。
  • 环路条件(循环等待) 存在一种进程收尾相接的循环链,链中每个进程都在等待下一个进程所持有的资源,造成这组进程处于永远等待状态。
注意: 这四个条件是死锁的必要条件,只要系统发生死锁,这些条件必然成立。反之,上述条件只要有一个不满足,就不会发生死锁。所以要避免发生死锁,只需要破坏其必要条件。
死锁的处理策略

对于死锁一般有三种处理策略:预防死锁、避免死锁、死锁的检测及解除


  • 预防死锁

通过设置一些限制条件,破坏死锁的四个必要条件中的一个或几个,让死锁无法发生。 例如,将资源分层,得到上一层资源后才能够申请下一层资源,这样就破坏了环路等待条件。用户申请资源时,要求一次性申请所需要的全部资源,这就破坏了占有并等待条件。当一个已经占有某些不可剥夺资源的进程,请求新的资源而得不到满足时,它必须释放已经占有的所有资源,待以后需要时再重新申请,这就破坏了不剥夺条件。 这些预防死锁的方法破坏了系统的并行性和并发性,通常会降低系统的效率。
  • 避免死锁

该方法同样属于事先预防,但它并不事先采取各种限制措施去破坏产生死锁的四个必要条件,而是在动态分配资源的过程中,用一些算法来防止系统进入不安全状态,避免死锁的发生。

具体策略如下:

1. 如果进程请求的资源会导致死锁,系统就拒绝启动该进程;

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

显然要避免死锁,系统必须事先知道所拥有的资源数量及其属性。

一个著名的避免死锁的算法是银行家算法

银行家算法是DijkstraE W1968年提出的。之所以称为银行家算法,是因为该算法可用于银行系统。

所谓银行家算法,是指分配资源之前先确定资源分配是否会造成系统死锁。如果会死锁,则不分配,只有确认不会死锁后才进行分配。

银行家算法,需要按如下原则判断是否分配资源:

  • 新进程进入系统时,它必须说明对各类资源的最大需求量,这一数量不能超过系统的资源总数。只有满足这一条件系统才接纳该进程。


  • 当进程申请一组资源时,该算法需要检查进程对各类资源的最大需求量,如果系统现存的各类资源的数量可以满足此时的资源最大需求量时,就分配资源;否则进程必须等待,直到其他进程释放足够的资源为止。
  • 进程需要在一定时间内无条件地归还它所申请的全部资源。
  • 死锁的检测及解除

    死锁预防和避免都是对资源分配进行适当限制,属于事前措施,并不利于系统资源的充分共享。而死锁检测不会试图阻止死锁,即在死锁发生前不会做任何操作,只是通过设 置的检测机制,检测当前是否发生死锁。若发生死锁,则采取一些措施来 解除死锁。

    判断死锁的法则主要基于第四条死锁的必要条件:

  • 资源分配路径中没有环路,则系统不会出现死锁

  • 资源分配路径中存在环路,则系统可能出现死锁
  • 如果环路中的每个资料类中都只有一个资源,则系统存在死锁
  • 如果环路中的每个资源类的资源个数不止一个,则环路的存在是产生死锁的必要条件但不是充分条件
解除死锁的方法 包括资源剥夺法、进程撤销法、进程回退法、系统重启法等:
  • 资源剥夺法
剥夺陷入死锁的进程所占用的资源,但并不撤销此进程,再将这些资源分配给需要的进程,直至死锁解除。
  • 进程撤销法
  • 一次性撤销陷入死锁的所有进程,回收所有占用的资源,等死锁解除后,再重新运行进程。

  • 逐个撤销陷入死锁的进程,依次回收其资源并重新分配,直至死锁解除。可以优先撤销优先级低、预计剩余执行时间最长、CPU消耗时间少的进程。

  • 进程回退法

让所有的进程回退到系统保存的检查点,这种方法要求系统建立并保存检查点、建立回退机制。

  • 系统重启法 结束所有进程并重启系统。这种方法很简单,但损失很大,先前的工作可能都浪费了。

推荐阅读:
FILE、LINE等几种C标准用法
提高国内访问 GitHub 速度的几种方法
typedef和#define的用法、区别,以及陷阱

关注 微信公众号『strongerHuang』,后台回复“1024”查看更多内容,回复“加群”按规则加入技术交流群。


长按前往图中包含的公众号关注

免责声明:本文内容由21ic获得授权后发布,版权归原作者所有,本平台仅提供信息存储服务。文章仅代表作者个人观点,不代表本平台立场,如有问题,请联系我们,谢谢!

本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
换一批
延伸阅读

LED驱动电源的输入包括高压工频交流(即市电)、低压直流、高压直流、低压高频交流(如电子变压器的输出)等。

关键字: 驱动电源

在工业自动化蓬勃发展的当下,工业电机作为核心动力设备,其驱动电源的性能直接关系到整个系统的稳定性和可靠性。其中,反电动势抑制与过流保护是驱动电源设计中至关重要的两个环节,集成化方案的设计成为提升电机驱动性能的关键。

关键字: 工业电机 驱动电源

LED 驱动电源作为 LED 照明系统的 “心脏”,其稳定性直接决定了整个照明设备的使用寿命。然而,在实际应用中,LED 驱动电源易损坏的问题却十分常见,不仅增加了维护成本,还影响了用户体验。要解决这一问题,需从设计、生...

关键字: 驱动电源 照明系统 散热

根据LED驱动电源的公式,电感内电流波动大小和电感值成反比,输出纹波和输出电容值成反比。所以加大电感值和输出电容值可以减小纹波。

关键字: LED 设计 驱动电源

电动汽车(EV)作为新能源汽车的重要代表,正逐渐成为全球汽车产业的重要发展方向。电动汽车的核心技术之一是电机驱动控制系统,而绝缘栅双极型晶体管(IGBT)作为电机驱动系统中的关键元件,其性能直接影响到电动汽车的动力性能和...

关键字: 电动汽车 新能源 驱动电源

在现代城市建设中,街道及停车场照明作为基础设施的重要组成部分,其质量和效率直接关系到城市的公共安全、居民生活质量和能源利用效率。随着科技的进步,高亮度白光发光二极管(LED)因其独特的优势逐渐取代传统光源,成为大功率区域...

关键字: 发光二极管 驱动电源 LED

LED通用照明设计工程师会遇到许多挑战,如功率密度、功率因数校正(PFC)、空间受限和可靠性等。

关键字: LED 驱动电源 功率因数校正

在LED照明技术日益普及的今天,LED驱动电源的电磁干扰(EMI)问题成为了一个不可忽视的挑战。电磁干扰不仅会影响LED灯具的正常工作,还可能对周围电子设备造成不利影响,甚至引发系统故障。因此,采取有效的硬件措施来解决L...

关键字: LED照明技术 电磁干扰 驱动电源

开关电源具有效率高的特性,而且开关电源的变压器体积比串联稳压型电源的要小得多,电源电路比较整洁,整机重量也有所下降,所以,现在的LED驱动电源

关键字: LED 驱动电源 开关电源

LED驱动电源是把电源供应转换为特定的电压电流以驱动LED发光的电压转换器,通常情况下:LED驱动电源的输入包括高压工频交流(即市电)、低压直流、高压直流、低压高频交流(如电子变压器的输出)等。

关键字: LED 隧道灯 驱动电源
关闭