一、什么是死锁
死锁是指两个或两个以上的进程(线程)在运行过程中因争夺资源而造成的一种僵局。

例如,某计算机系统中只有一台打印机和一台输入设备,进程P1正占用输入设备,同时又提出使用打印机的请求,但此时打印机正被进程P2 所占用,而P2在未释放打印机之前,又提出请求使用正被P1占用着的输入设备。这样两个进程相互无休止地等待下去,均无法继续执行,此时两个进程陷入死锁状态。

关于死锁的一些结论:

参与死锁的进程数至少为两个;
参与死锁的所有进程均等待资源;
参与死锁的进程至少有两个已经占有资源;
死锁会浪费大量系统资源,甚至导致系统崩溃;

二、产生死锁的四个必要条件
1、 互斥条件
进程要求对所分配的资源(如打印机)进行排他性控制,即在一段时间内某资源仅为一个进程所占有。此时若有其他进程请求该资源,则请求进程只能等待。

2、不可剥夺条件:
进程所获得的资源在未使用完毕之前,不能被其他进程强行夺走,即只能由获得该资源的进程自己来释放(只能是主动释放)。

3、 请求与保持条件
进程已经保持了至少一个资源,但又提出了新的资源请求,而该资源已被其他进程占有,此时请求进程被阻塞,但对自己已获得的资源保持不放。

4、循环等待条件:
存在一种进程资源的循环等待链,链中每一个进程已获得的资源同时被 链中下一个进程所请求。即存在一个处于等待状态的进程集合{Pl, P2, …, pn},其中Pi等 待的资源被P(i+1)占有(i=0, 1, …, n-1),Pn等待的资源被P0占有,如图2-15所示。

以上这四个条件是死锁的必要条件,只要系统发生死锁,这些条件必然成立,而只要上述条件之一不满足,就不会发生死锁。

六、处理死锁的方法
预防死锁:通过设置某些限制条件,去破坏产生死锁的四个必要条件中的一个或几个条件,来防止死锁的发生。
避免死锁:在资源的动态分配过程中,用某种方法去防止系统进入不安全状态,从而避免死锁的发生。
检测死锁:允许系统在运行过程中发生死锁,但可设置检测机构及时检测死锁的发生,并采取适当措施加以清除。
解除死锁:当检测出死锁后,便采取适当措施将进程从死锁状态中解脱出来。

6.1 预防死锁
破坏“互斥”条件:
就是在系统里取消互斥。若资源不被一个进程独占使用,那么死锁是肯定不会发生的。但一般来说在所列的四个条件中,“互斥”条件是无法破坏的。

破坏“占有并等待”条件:
破坏“占有并等待”条件,就是在系统中不允许进程在已获得某种资源的情况下,申请其他资源。即要想出一个办法,阻止进程在持有资源的同时申请其他资源。
方法一:一次申请所需的全部资源,即 “ 一次性分配”。
方法二:要求每个进程提出新的资源申请前,释放它所占有的资源。即“先释放后申请”。

破坏“不可抢占”条件:
破坏“不可抢占”条件就是允许对资源实行抢夺。
方法一:占有某些资源的同时再请求被拒绝,则该进程必须释放已占有的资源,如果有必要,可再次请求这些资源和另外的资源。
方法二:设置进程优先级,优先级高的可以抢占资源。

破坏“循环等待”条件:
将系统中的所有资源统一编号,所有进程必须按照资源编号顺序提出申请。

6.2 避免死锁
加锁顺序:线程按照一定的顺序加锁。
加锁时限:线程尝试获取锁的时候加上一定的时限,超过时限则放弃对该锁的请求,并释放自己占有的锁。
死锁检测:每当一个线程获得了锁,会在线程和锁相关的数据结构中(map、graph等等)将其记下。除此之外,每当有线程请求锁,也需要记录在这个数据结构中。

6.3 检测死锁
一般来说,由于操作系统有并发,共享以及随机性等特点,通过预防和避免的手段达到排除死锁的目的是很困难的。这需要较大的系统开销,而且不能充分利用资源。为此,一种简便的方法是系统为进程分配资源时,不采取任何限制性措施,但是提供了检测和解脱死锁的手段:能发现死锁并从死锁状态中恢复出来。因此,在实际的操作系统中往往采用死锁的检测与恢复方法来排除死锁。

例如:
进程P1占有资源R1而申请资源R2,进程P2占有资源R2而申请资源R1,按循环等待条件,进程和资源形成了环路,所以系统是死锁状态。进程P1,P2是参与死锁的进程。
下面我们再来看一看死锁检测算法。算法使用的数据结构是如下这些:
占有矩阵A:n*m阶,其中n表示并发进程的个数,m表示系统的各类资源的个数,这个矩阵记录了每一个进程当前占有各个资源类中资源的个数。
申请矩阵R:n*m阶,其中n表示并发进程的个数,m表示系统的各类资源的个数,这个矩阵记录了每一个进程当前要完成工作需要申请的各个资源类中资源的个数。
空闲向量T:记录当前m个资源类中空闲资源的个数。
完成向量F:布尔型向量值为真(true)或假(false),记录当前n个并发进程能否进行完。为真即能进行完,为假则不能进行完。
临时向量W:开始时W:=T。
算法步骤:
(1)W:=T,
对于所有的i=1,2,…,n,
如果A[i]=0,则F[i]:=true;否则,F[i]:=false
(2)找满足下面条件的下标i:
F[i]:=false并且R[i]〈=W
如果不存在满足上面的条件i,则转到步骤(4)。
(3)W:=W+A[i]
F[i]:=true
转到步骤(2)
(4)如果存在i,F[i]:=false,则系统处于死锁状态,且Pi进程参与了死锁。什么时候进行死锁的检测取决于死锁发生的频率。如果死锁发生的频率高,那么死锁检测的频率也要相应提高,这样一方面可以提高系统资源的利用率,一方面可以避免更多的进程卷入死锁。如果进程申请资源不能满足就立刻进行检测,那么每当死锁形成时即能被发现,这和死锁避免的算法相近,只是系统的开销较大。为了减小死锁检测带来的系统开销,一般采取每隔一段时间进行一次死锁检测,或者在CPU的利用率降低到某一数值时,进行死锁的检测。

6.4 解除死锁
资源剥夺法:挂起某些死锁进程,并抢占它的资源,将这些资源分配给其他的死锁进程。但应防止被挂起的进程长时间得不到资源,而处于资源匮乏的状态。
撤销进程法:强制撤销部分、甚至全部死锁进程并剥夺这些进程的资源。撤销的原则可以按进程优先级和撤销进程代价的高低进行。
进程回退法:让一(多)个进程回退到足以回避死锁的地步,进程回退时自愿释放资源而不是被剥夺。要求系统保持进程的历史信息,设置还原点。

死锁的四个必要条件以及处理策略相关推荐

  1. 高并发之——死锁,死锁的四个必要条件以及处理策略

    一.什么是死锁 多线程以及多进程改善了系统资源的利用率并提高了系统 的处理能力.然而,并发执行也带来了新的问题--死锁. 死锁是指两个或两个以上的进程(线程)在运行过程中因争夺资源而造成的一种僵局(D ...

  2. 死锁的4个必要条件和处理策略

    1.死锁的例子:       资源A.B,进程C.D描述如下: 资源A和资源B,都是不可剥夺资源, 现在进程C已经申请了资源A,进程D也申请了资源B, 进程C接下来的操作需要用到资源B,而进程D恰好也 ...

  3. 死锁的四个必要条件,及处理方法

    死锁的四个必要条件互斥条件(Mutual exclusion):资源不能被共享,只能由一个进程使用.请求与保持条件(Hold and wait):已经得到资源的进程可以再次申请新的资源.非剥夺条件(N ...

  4. 死锁——什么是死锁 死锁的四个必要条件 避免死锁

    1 什么是死锁 死锁的定义是:在一个进程组内,每个进程都在等待只有其他进程才能引发的事件,那么该进程组处于死锁状态. 有两个线程(或者更多的线程),每个线程都在等待被其他线程占用的资源. 比如:线程A ...

  5. 操作系统(1) - 死锁的四个必要条件及避免

    一.什么是死锁 死锁是指多个进程因竞争资源而造成的一种僵局(互相等待),若无外力作用,这些进程都将无法向前推进. 二.死锁产生的原因 1. 系统资源的竞争 系统资源的竞争导致系统资源不足,以及资源分配 ...

  6. 关于死锁,死锁的四个必要条件的总结

    什么是死锁? 死锁,指的是多个进程再运行期间因争夺资源而产生的一种僵局,若无外力作用(破坏死锁),程序将无法运行. 死锁产生的四个必要条件 互斥条件: 进程要求对所分配的资源(如打印机)进行排他性控制 ...

  7. 死锁的四个必要条件及处理死锁

    什么是死锁? 如果一个进程集合里面的每个进程都在等待只能由这个集合中的其他一个进程(包括他自身)才能引发的事件,这种情况就是死锁. 这个定义可能有点拗口,下面用一个简单例子说明. 资源A.B,进程C. ...

  8. 面试问题之操作系统:死锁的四个必要条件和解决办法

    面试问题之操作系统:死锁的四个必要条件和解决办法 参考文章: (1)面试问题之操作系统:死锁的四个必要条件和解决办法 (2)https://www.cnblogs.com/yichengming/p/ ...

  9. 【计算机系统】死锁的四个必要条件

    转载地址: 死锁的四个必要条件 操作系统中有若干进程并发执行,它们不断申请.使用.释放系统资源,虽然系统的进 程协调.通信机构会对它们进行控制,但也可能出现若干进程都相互等待对方释放资源才能 继续运行 ...

最新文章

  1. python 流程控制语句
  2. python和R对dataframe的单列数据进行统计:value_counts、table、unique、nunique、min、max、mean、sort、length、var、quantile、
  3. Java进阶篇(五)——Java的I/O技术
  4. SAP云平台 CloudFoundry环境下的space guid
  5. VueCli3 项目结构和具体作用
  6. 14 [虚拟化] 虚存抽象;Linux进程的地址空间
  7. 堆、栈、堆栈详谈--复习
  8. 机器学习 --- 1. 线性回归与分类, 解决与区别
  9. Linux的安装及忘记Linux密码的措施
  10. Mysql 日志管理详解
  11. Selenium 脚本稳定性问题
  12. RS-485 接口电路--转载
  13. 《电路》邱关源 思维导图 第一章-电路模型和电路定律
  14. 服务器磁盘,内存测试,坏道检查【实战】
  15. z77主板升级nvme,迁移系统,蓝屏解决方法
  16. elasticsearch的查询器query与过滤器filter的区别
  17. Linux I2C驱动
  18. DNF服务器该如何选择?
  19. 校园生活旅游娱乐vlog篇
  20. kubeadmin部署k8s

热门文章

  1. 【UE4 第一人称射击游戏】51-制作手榴弹
  2. 2021百度Apollo智能汽车 PHP面试题
  3. 奇葩商业运营案例精选(1)
  4. 深度分析中国高端投教市场第一股“九方财富”的投资价值
  5. 前端学习笔记-07post请求和get请求,样式以及CSS
  6. 计算机辅助制造在计算机应用,计算机辅助制造
  7. 基于MATLAB控制系统辨识系列3-梯度矫正参数估计法
  8. 查询本机/代理/指定IP信息(归属地) Api
  9. Java面试题,Java,面试题,线程池
  10. PPPOE拨号错误速查表大全