死锁

1. 死锁/活锁/饥饿

死锁：死锁是指多个进程相互等待，互不相让，导致所有进程无限期等待。

• 资源死锁：资源死锁是因为每个进程都在等待其他进程释放资源，资源死锁是最常见的死锁类型。
• 通信死锁：通信死锁是指由于消息丢失，导致通信双方都在相互等待对方发送消息，通常可通过设置适当对超时时间来解决

活锁：每一个进程需要两个资源并使用try_lock（）试图获取锁，进程A获得了资源1，进程2获得了资源2，接下来，它们分别试图获取另一个锁但都失败了，于是它们分别释放当前持有的锁，然后再试一次，这个过程会一直重复，就像两个人在一条路上相遇并同时给对方让路一样，相同对步调将导致双方无法前进。

饥饿：一些进程永远无法获得运行机会，导致饿死。比如在打印机总是先打印最小文件的进程，那么大文件就可能因为不断需要打印对小文件而无法运行导致饿死。

可采取先来先服务资源分配策略来避免饥饿，随着时间的推移所有进程都将获取资源而执行

2. 资源死锁条件

（1）互斥条件：一个资源不能被两个以上的进程同时占有
（2）占有和等待条件：已经得到某个资源对进程可以在申请新的资源
（3）不可抢占条件：已经分配给一个进程对资源不能被强制性地抢占，它只能被占有它对进程显式释放
（4）环路等待条件：死锁发生时，系统中一定有两个及以上的进程形成一条环路，每个进程都等待着下一个进程所占有的资源

死锁发生时，以上四个条件必定同时满足，其中一个条件不成立死锁都不会发生。因此可以破坏上述任一条件来预防死锁。

3. 死锁处理策略

四种死锁处理策略：
（1）忽略该问题。若要彻底防止死锁，代价很大，并且死锁发生频率比较，影响比较小，可以直接忽略
（2）检测死锁并恢复。系统并不阻止死锁的发生，而是允许死锁对发生，当检测到死锁后采取相应措施进行恢复
（3）避免死锁。对资源进行分配时进行检查，若可能产生死锁，则不分配资源，避免死锁的发生
（4）防止死锁发生。通过破坏引起死锁对四个必要条件，防止死锁发生

3.1 鸵鸟算法

最简单的解决方法是鸵鸟算法，将头埋进沙子里，假装什么都没有发生。因为防止死锁需要以性能和可用性损失为代价，若死锁频率很低，发生死锁引发的后果也可接受，那么可以考虑忽略它

3.2 死锁检测和恢复

第二种方法是死锁检测与恢复，系统并不阻止死锁的发生，而是允许死锁对发生，当检测到死锁后采取相应措施进行恢复

1. 每种类型一个资源的死锁检测

建模检测是否有环

2. 每种类型多个资源的死锁检测

通过维护一个A可用资源向量，C当前分配矩阵，R请求矩阵

死锁检测算法如下：
（1）寻找一个没有被标记对进程Pi，对于它对请求资源小于等于A，如果没有这样对进程，那么算法终止
（2) 将C矩阵对资源释放加到A上，标记该进程，重复上述步骤
（3）若算法结束后，仍有未标记的进程则说明存在死锁

何时去检测：一种方法是每当有资源请求时，就去检测，这种方式虽然可以很早发现死锁，但是会占用大量CPU，另一种方法是每隔K分钟检查一次，或者当CPU使用率降到某一阈值时就去检测，因为死锁进程达到一定数量，CPU会经常空闲

3. 从死锁中恢复

上述的死锁检测算法已经成功地检测到了死锁，因此需要一些方法尝试去从死锁中恢复，尽管这些方法看起来都不是那么好

（1）利用抢占恢复

主动选择挂起某个进程，强行将某一资源从一个进程取走给另一个进程使用，接着使用完毕后又送回。这种方式恢复比较困难，不太可能实现。

（2）利用回滚恢复

周期性记录进程的状态并写入文件，当检测到死锁发生时，很容易发现需要哪些资源，这样拥有所需要资源的进程复位到一个更早的状态，其中另一些进程就可获取资源打破死锁。

（3）通过杀死进程

杀掉死锁环中的一个进程，如果行不通继续杀死别的进程直至打破死锁。

3.3 死锁避免

第三种死锁处理策略是系统只有在保证安全的前提下才分配资源，资源分配前先进行检查，若分配该资源可能产生死锁，则不分配资源，因而避免了死锁

单个资源的银行家算法

对每一个资源请求先进行检查，检查如果满足这一请求是否会达到安全状态，若是，则立刻满足该请求，否则，就推迟这一请求的满足。能否进入安全状态是根据当前的空闲资源是否存在一种分配策略能过最后回收所有资源。比如b，先将空闲2分配给C,回收C后空闲资源为4，能过继续分配给D,回收D后空闲资源为8，可继续分配给B,回收后空闲资源为9，可继续分配给A，回收后资源为原来的10. 多个资源的银行家算法

与单个银行家算法类似，只是资源类别增加了而已，也是分配资源时检查能否进入安全状态，能否进入安全状态和单个银行家大同小异。

银行家算法虽然很有意义但缺乏实用价值，很少有进程能在运行前提前直到自己所需资源的最大值，而且进程数也不是固定的，往往在不断变化，并且可用资源也可能突然不可用（比如磁带机突然坏掉）。只有极少的系统采用银行家算法来避免死锁，一些系统可以用银行家算法之类的启发式算法来避免死锁