Linux 死锁

什么是死锁？

    死锁是指两个或两个以上的进程在执行过程中，由于竞争资源或者由于彼此通信而造成的一种阻塞的现象，若无外力作用，它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁，这些永远在互相等待的进程称为死锁进程。

死锁产生的原因及四个必要条件

产生死锁的原因主要是：
（1） 因为系统资源不足。
（2） 进程运行推进的顺序不合适。
（3） 资源分配不当等。
如果系统资源充足，进程的资源请求都能够得到满足，死锁出现的可能性就很低，否则就会因争夺有限的资源而陷入死锁。其次，进程运行推进顺序与速度不同，也可能产生死锁。

产生死锁的四个必要条件：
（1） 互斥条件：一个资源每次只能被一个进程使用。
（2） 请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放。
（3） 不剥夺条件:进程已获得的资源，在未使用完之前，不能强行剥夺。
（4） 循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。
这四个条件是死锁的必要条件，只要系统发生死锁，这些条件必然成立，而只要上述条件之一不满足，就不会发生死锁。

如何避免死锁？

操作系统中的三种解决方法：死锁检测、预防和避免。
①、预防：
资源分配策略：保守的，预提交资源。
采用某种策略来消除上面4个条件中的其中一个条件的出现来预防死锁。（预防）
②、避免：
处于检测和预防中间（不需要抢占）
基于资源分配的当前状态做动态选择来避免死锁。
③、检测：
非常自由，只要可能，请求的资源都允许。

试图检测死锁的存在并且试图从死锁中恢复出来。

试图破坏四个条件中某一个条件：
破坏互斥条件：
如果某个资源对于多个进程来说，是共享的，并且可以同时访问的，那么就不会发生死锁。但是一般来说，对于某一个资源必须进行互斥访问，所以说这个条件一般不可能破坏。
如果需要对资源进行互斥访问，那么操作系统必须支持互斥。

预防占有且等待条件：
为预防这个条件，可以要求进程一次性的请求所有需要的资源，并且阻塞这个进程直到所有请求都同时满足。
这种方法在两个方面是低效的。

• 一个进程可能被阻塞很长时间，以等待满足其所有的资源请求。而实际上，只要有一部分资源，它就可以继续执行。
• 分配给进程的资源可能有相当长的一段时间不会被使用，且在此期间，它们不能被其他进程使用。
• 一个进程可能事先并不会知道它所需要的所有资源。

预防不可抢占条件：
①如果占有某些资源的一个进程进行进一步资源请求被拒绝，则该进程必须释放它最初占有的资源，如果有必要，可再次请求这些资源和另外的资源。
②、如果一个进程请求当前被另一个进程占有的一个资源，则操作系统可以抢占另一个进程，要求它释放资源。（要求进程的优先级都不相同）。
只有在资源状态可以很容易地保存和恢复的情况下，这种方法才是实用的。

预防循环等待条件：
可以通过定义资源类型的线性顺序来预防。
如果一个进程已经分配到了R类型的资源，那么它接下来请求的资源只能是那些排在R类型
之后的资源类型。

解决死锁问题的另一种方法是死锁避免。（区分死锁预防）

在死锁预防中，通过约束资源请求，防止4个死锁条件中至少一个的发生。
这可以通过防止发生三个必要策略条件中的一个间接完成，也可以通过防止循环等待直接完成，但这都会导致低效的资源使用和低效的进程执行。

死锁避免则相反，它允许三个必要条件，但通过明智的选择，确保永远不会到达死锁点，因此死锁避免比死锁预防允许更多的并发。

在死锁避免中，是否允许当前的资源分配请求是通过判断该请求是否可能导致死锁来决定的。
因此，死锁避免需要知道将来的进程资源请求的情况。

死锁避免的两种方法：

• 如果一个进程的请求会导致死锁，则不启动此进程。
• 如果一个进程的增加的资源请求会导致死锁，则不允许此分配。

死锁避免的优点是它不需要死锁预防中的抢占和回滚进程，并且比死锁预防的限制少。但是，它在使用中也有很多限制：

• 必须事先声明每个进程请求的最大资源。
• 考虑的进程必须是无关的，也就是说，它们执行的顺序必须没有任何同步要求的限制。
• 分配的资源数目必须是固定的。
• 在占有资源时，进程不能退出。

死锁检测：
死锁预防策略是非常保守的，它们通过限制访问资源和在进程上强加约束来解决死锁问题。

死锁检测策略则完全相反，它不限制资源访问或约束进程行为。
对于死锁检测来说，只要有可能，被请求的资源就被授权给进程。操作系统周期性的执行一个算法来检测前面的循环等待条件。

恢复：
一旦检测到死锁，就需要某种策略以恢复死锁。
下面列出可能的方法：
1、取消所有的死锁进程。(操作系统中最长采用的)
2、把每个死锁进程回滚到前面定义的某些检查点，并且重新启动所有进程。这要求在系统中构造回滚和重启机制。该方法的风险是原来的死锁可能再次发生。但是，并发进程的不确定性通常能保证不会发生这种情况。
3、连续取消死锁进程直到不再存在死锁。
选择取消进程的顺序基于某种最小代价原则。在每次取消后，必须重新调用检测算法，以测试是否仍存在死锁。
4、连续抢占资源直到不再存在死锁。需要使用一种基于代价的选择方法，并且需要在每次抢占后需要重新调用检测算法。一个资源被抢占的进程必须回滚到获得这个资源之前的某一状态。

对于上面的3和4中的选择算法可以采用下面中的一种：

• 目前为止消耗的处理器时间最少
• 目前为止产生的输出最少
• 目前为止分配的资源总量最少
• 优先级最低。