死锁的条件、原因以及场景分析

Bertha 。 2023-06-09 12:23 1阅读 0赞

# [死锁的条件、原因以及场景分析][Link 1] #

死锁可以称为进程死锁。那么是在多进程（并发）情况下可能会出现的。

指的是多个进程因为竞争资源而造成的僵局（互相等待），没有外力，那么所有进程都会无法向前推进。

所以是在操作系统和并发程序设计中需要特别考虑的问题。

因此，可以可以得出如下的场景和必备条件。

**场景：**

*  系统资源的竞争。只有资源不足时才会出现死锁可能，另外，可剥夺资源的竞争是不会引发死锁的；
 *  进程推进顺序不对。多进程在运行时，请求和释放资源的顺序不当。
 *  系统资源分配不当。

**四大必要条件：**

*  互斥：进程对分配到的资源排它性使用。独占资源，是由资源本身的属性决定的。
 *  请求和保持：保持已有资源，同时请求新的资源，在请求过程中以及因为没有得到新资源而阻塞，已有资源仍然保持；
 *  不可剥夺：进程已有的资源在使用完之前不能被剥夺，只能自己释放；
 *  环路等待：必然存在一个进程资源环形请求链。

**死锁预防**：打破之前四个条件

*  打破互斥在实际中应用不大；
 *  打破请求与保持，可以实行资源预先分配策略，即进程在运行前一次性申请所需要的全部资源，如果不能满足，则暂不运行。实际应用中，进程在执行时是动态的，不可预测的，并且资源利用率低，降低了进程并发性。
 *  打破不可剥夺，当请求新资源不能满足，需要释放已有资源，系统性能受到很大降低
 *  打破循环等待：实行资源有序分配策略。可以将资源事先分类编号，按号分配，使进程在申请、占用资源是不会形成环路。所有进程对资源的请求必须严格按资源序号递增的顺序提出。但是也有问题，合理编号困难，增大系统开销，另外也增加了进程对资源的占有时间。

**死锁避免：**

不限制进程有关申请资源的命令，而是对进程所发出的每一个申请资源命令加以动态地检查，并根据检查结果决定是否进行资源分配。就是说，在资源分配过程中若预测有发生死锁的可能性，则加以避免。这种方法的关键是确定资源分配的安全性。

银行家算法（1968年）：允许进程动态地申请资源，系统在每次实施资源分配之前，先计算资源分配的安全性，若此次资源分配安全（即资源分配后，系统能按某种顺序来为每个进程分配其所需的资源，直至最大需求，使每个进程都可以顺利地完成），便将资源分配给进程，否则不分配资源，让进程等待。

**死锁检测与修复：**

预防和避免的手段达到排除死锁的目的是很困难的。一种简便的方法是系统为进程分配资源时，不采取任何限制性措施，但是提供了检测和解脱死锁的手段：能发现死锁并从死锁状态中恢复出来。因此，在实际的操作系统中往往采用死锁的检测与恢复方法来排除死锁。

\----------------------------------------------------------------------------------------------------

**死锁常见的场景如下：**

忘记释放锁：

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 </td> 
 <td> <code>void</code>&nbsp;<code>data_process()</code> <code>{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>EnterCriticalSection();</code> &nbsp; <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>if</code><code>(</code><code>/* error happens, forget LeaveCriticalSection */</code><code>)</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>return</code><code>;</code> &nbsp; <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>LeaveCriticalSection();</code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

单线程重复申请锁（所以单线程的时候也有可能进入死锁）

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 </td> 
 <td> <code>void</code>&nbsp;<code>sub_func()</code> <code>{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>EnterCriticalSection();</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>do_something();</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>LeaveCriticalSection();</code> <code>}</code> &nbsp; <code>void</code>&nbsp;<code>data_process()</code> <code>{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>EnterCriticalSection();</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>sub_func();</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>LeaveCriticalSection();</code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

多线程多锁申请

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 </td> 
 <td> <code>void</code>&nbsp;<code>data_process1()</code> <code>{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>EnterCriticalSection(&amp;cs1);　　</code><code>// 申请锁的顺序有依赖</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>EnterCriticalSection(&amp;cs2);</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>do_something1();</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>LeaveCriticalSection(&amp;cs2);</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>LeaveCriticalSection(&amp;cs1);</code> <code>}</code> &nbsp; <code>void</code>&nbsp;<code>data_process2()</code> <code>{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>EnterCriticalSection(&amp;cs2);　　</code><code>// 申请锁的顺序有依赖</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>EnterCriticalSection(&amp;cs1);</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>do_something2();</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>LeaveCriticalSection(&amp;cs1);</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>LeaveCriticalSection(&amp;cs2);</code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

多线程环形锁

**编程中如何来避免：**

*  检查有没有忘记释放锁
 *  如果自己模块可能重复使用一个锁，建议使用嵌套锁
 *  建议使用库里面的锁
 *  如果某项业务需要获取多个锁，保证锁按某种顺序来获取
 *  编写简单测试用例验证是否存在死锁

[Link 1]: https://www.cnblogs.com/zhang-qc/p/8869377.html