当前位置:首页 > 公众号精选 > 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获得授权后发布,版权归原作者所有,本平台仅提供信息存储服务。文章仅代表作者个人观点,不代表本平台立场,如有问题,请联系我们,谢谢!

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

2024年4月11日,中国——意法半导体的ST25R100近距离通信(NFC)读取器芯片独步业界,集先进的技术功能、稳定可靠的通信连接和低廉的成本价格于一身,在大规模制造的消费电子和工控设备内,可以提高非接触式互动功能的...

关键字: 嵌入式 数据读取器 芯片

单片机是一种嵌入式系统,它是一块集成电路芯片,内部包含了处理器、存储器和输入输出接口等功能。

关键字: 单片机 编写程序 嵌入式

深圳2024年4月23日 /美通社/ -- 全球AI解决方案与工业级存储领导品牌宜鼎国际 (Innodisk)持续深化边缘AI布局,今(23)日发表全球首创"MIPI over Type-C"独家技术,让旗下嵌入式相机模...

关键字: AI 嵌入式 相机

为增进大家对嵌入式主板的认识,本文将对嵌入式主板以及嵌入式主板常见问题及其解决方法予以介绍。

关键字: 嵌入式 指数 主板

为增进大家对嵌入式系统的认识,本文将对嵌入式系统、嵌入式系统的特点予以介绍。

关键字: 嵌入式 指数 嵌入式系统

为增进大家对嵌入式的认识,本文将对嵌入式、嵌入式工作相关的内容予以介绍。

关键字: 嵌入式 指数 嵌入式技术

机器人操作系统(ROS)驱动程序基于ADI产品而开发,因此可直接在ROS生态系统中使用这些产品。本文将概述如何在应用、产品和系统(例如,自主导航、安全气泡地图和数据收集机器人)中使用和集成这些驱动程序;以及这样将如何有助...

关键字: 电机控制器 机器人 嵌入式

支持高达48V@5A的PD受电模式,达到目前USB PD最高标准。

关键字: 嵌入式 开发板

【2024年4月8日,德国慕尼黑讯】低碳化和数字化是当今时代人们面临的两大核心挑战,人类社会需要依靠创新和先进的技术,才能破除挑战、推动转型进程。在德国纽伦堡举办的2024国际嵌入式展(Embedded World 20...

关键字: 半导体 微控制器 嵌入式

TDK 株式会社(TSE:6762)进一步扩充 Micronas 嵌入式电机控制器系列 HVC 5x,完全集成电机控制器与 HVC-5222D 和 HVC-5422D,以驱动小型有刷(BDC)、无刷(BLDC)或步进电机...

关键字: 嵌入式 电机控制器 内存
关闭
关闭