[C++11 并发编程] 07 - Mutex 死锁

最新推荐文章于 2024-07-27 18:20:30 发布

yamingwu

最新推荐文章于 2024-07-27 18:20:30 发布

阅读量5.4k

点赞数 1

分类专栏：并发编程文章标签： C++11 并发 mutex 死锁 hierarchical mutex

本文链接：https://blog.csdn.net/yamingwu/article/details/47682261

版权

本文介绍了C++11并发编程中如何处理Mutex死锁问题，包括死锁的产生原因、避免死锁的基本方法，如固定顺序锁定、使用std::lock以及分层锁策略，强调了避免在锁之间调用用户代码的重要性。

摘要由CSDN通过智能技术生成

假设有两个线程，在执行某些操作时，都需要锁定一对mutex，线程A锁定了mutex A，而线程B锁定了额mutex B，它们都在等待对方释放另一个mutex，这就会导致这两个线程都无法继续执行。这种情况就是死锁。

避免死锁最简单的方法是总是以相同的顺序对两个mutex进行锁定，比如总是在锁定mutex B之前锁定mutex A，就永远都不会死锁。

假设有一个操作要交换同一个类的两个实例的内容，为了交换操作不被并发修改影响，我们需要锁定这两个实例内部的mutex。但是，如果选定一个固定的顺序来锁定mutex（线锁定第一个参数指定对象的mutex，再锁定第二个参数指定对象的mutex）恰恰适得其反，会导致死锁。

针对这种情况，我们需要使用C++11标准库的std::lock操作来解决这个问题。lock函数可以接受两个或者多个mutex以避免死锁。

示例如下：

#include <mutex>

class some_big_object
{};

void swap(some_big_object& lhs,some_big_object& rhs)
{}

class X
{
private:
    some_big_object some_detail;
    mutable std::mutex m;
public:
    X(some_big_object const& sd):some_detail(sd){}
    
    friend void swap(X& lhs, X& rhs)
    {
        // 判断两个实例是否相同，如果相同则直接退出
        // 因为锁定已经被本线程锁定的mutex的结果是不确定的
        if(&lhs