2.3 并发程序中的死锁

---

死锁的概念

死锁是指多个进程因竞争资源而造成的一种僵局（互相等待），若无外力作用，这些进程都将无法向前推进。

通常，死锁是由下面的原因产生的：

• 争夺系统资源
• 请求和释放资源的顺序不当

---

死锁的四个必要条件

1）互斥条件

• 一个资源每次只能被一个进程使用，即在一段时间内某资源仅为一个进程所占有。此时若有其他进程请求该资源，则请求进程只能等待。

2）请求与保持条件

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

3）不可剥夺条件

• 进程所获得的资源在未使用完毕之前，不能被其他进程强行夺走，即只能 由获得该资源的进程自己来释放（只能是主动释放)。

4）循环等待条件

• 若干进程间形成首尾相接循环等待资源的关系

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

---

死锁实例

考虑下面的例子：

可以看到，两个线程都没有打印完100条信息。这是因为发生了死锁。

这里，由于我们创建了两个互斥量对象，当 t1 线程对 mtx1 完成加锁准备再加锁 mtx2 时，假如主线程执行到了 Func2 内，主线程对 mtx2 加锁。这个时候，t1 线程就会等待主线程释放 mtx2，而此时主线程却在等待 t1 线程释放 mtx1。所以两个线程在相互等待对方占有的资源，并且没有有效外力作用时，它们将一直等待下去。

一种解决办法是：让两个互斥量总是以相同的顺序上锁。

---

std::lock

幸运的是，C++标准库提供了 std::lock，它可以一次性锁住多个互斥量，并且不会造成死锁。

std::adopt_lock 参数告诉 locker 当前线程已经获得了锁，locker 将获得 mtx 的所有权，由 locker 来管理 mtx，在 locker 的生命周期结束后，会对 mtx 解锁。

std::lock 的过程中，可能会抛出异常。但抛出异常时已加锁的互斥量都能随着异常产生而自动释放。另外，std::lock 中的锁，要么全都锁上，要么一个都不锁

---

避免死锁的建议

1）确保你的程序是否需要那么多的互斥量

• 在满足程序功能的前提下，尽可能减少你程序中的 mutex

2）避免在锁住 mutex 的时候调用不熟悉的函数

• 函数里面可能包含着对另一个 mutex 的上锁动作

3）用固定的额顺序上锁

4）使用层次锁 hierarchical_mutex

• 如果一个互斥量被低层次锁住，那么这个时候是不能再对其上锁的，也就是说，不能被高层次的持有。
• 代码见书上的 3.2.5 节