C++ std::Recursive_mutex 支持 “对同一互斥量进行嵌套加锁”

使用场景：一个类的不同成员函数之间，存在相互调用的情况， 如果这样的成员函数作为线程的入口函数时，就会出现在成员函数 func1()中对某个互斥量上锁，并且， func1()中调用了成员函数 func2() ，实际上 func2()为了保护成员数据，func2()内部也对同一个互斥量上锁。 在我们对 std::mutex 的使用经验中， 这样的情况，必定会导致未定义的行为，从而导致死锁的产生。

 

C++标准库为此提供了 std::recursive_mutex 互斥量， 它在具备 std::mutex 的功能之上， 还可以可以支持上面描述的  “对同一个互斥量进行嵌套上锁” 的能力。

注意：这个 “嵌套锁”的能力只是在同一线程中， 多个线程间还是保持与 std::mutex 一致的互斥同步能力。

下面分别贴出成员函数存在嵌套调用时 std::recursive_mutex 比 std::mutex 超强的表现能力。

#include <thread>
#include <iostream>
#include <mutex>
#include <chrono>

class Try_Recursive_Mutex
{
    std::mutex   mtx;
    std::recursive_mutex recur_mtx;
    std::chrono::milliseconds sleep_time = std::chrono::milliseconds(1000);
public:
    Try_Recursive_Mutex();

    void fun1(){
        std::lock_guard<std::recursive_mutex> lkgd( recur_mtx );
        std::cout<<__FUNCTION__<<"---thread id: "<<std::this_thread::get_id()<<"---"<<std::endl;
        std::this_thread::sleep_for(sleep_time);
        fun2();
    }

    void fun2(){
        std::lock_guard<std::recursive_mutex> lkgd( recur_mtx );
        std::cout<<__FUNCTION__<<"---thread id: "<<std::this_thread::get_id()<<"---"<<std::endl;
        std::this_thread::sleep_for(sleep_time);
        fun3();
    }

    void fun3(){
        std::lock_guard<std::recursive_mutex> lkgd( recur_mtx );
        std::cout<<__FUNCTION__<<"---thread id: "<<std::this_thread::get_id()<<"---"<<std::endl;
        std::this_thread::sleep_for(sleep_time);
    }
};

 

#include "Try_Recursive_Mutex.h"
#include <QApplication>

int main()
{
    Try_Recursive_Mutex trm;
    std::thread th_1(&Try_Recursive_Mutex::fun1, &trm);
    std::thread th_2(&Try_Recursive_Mutex::fun1, &trm);
    std::thread th_3(&Try_Recursive_Mutex::fun1, &trm);
    th_1.join();
    th_2.join();
    th_3.join();
    return 0;
}

 

运行结果如下：

16:24:34: Starting D:\a_zhm\StudyCode\threadStudy\14_protect_unNormalUpdate_data\build-protect_unNormalUpdate_data-Desktop_Qt_5_9_8_MSVC2015_64bit-Debug\debug\protect_unNormalUpdate_data.exe...

Try_Recursive_Mutex::fun1---thread id: 13484---

Try_Recursive_Mutex::fun2---thread id: 13484---

Try_Recursive_Mutex::fun3---thread id: 13484---

Try_Recursive_Mutex::fun1---thread id: 8224---

Try_Recursive_Mutex::fun2---thread id: 8224---

Try_Recursive_Mutex::fun3---thread id: 8224---

Try_Recursive_Mutex::fun1---thread id: 528---

Try_Recursive_Mutex::fun2---thread id: 528---

Try_Recursive_Mutex::fun3---thread id: 528---

16:24:43: D:/a_zhm/StudyCode/threadStudy/14_protect_unNormalUpdate_data/build-protect_unNormalUpdate_data-Desktop_Qt_5_9_8_MSVC2015_64bit-Debug/debug/protect_unNormalUpdate_data.exe exited with code 0

 

同样的情况，我们使用传统的  std::mutex 来实现，就会出现未定义行为，产生死锁而导致程序崩溃：

#include <thread>
#include <iostream>
#include <mutex>
#include <chrono>

class Try_Recursive_Mutex
{
    std::mutex   mtx;
    std::recursive_mutex recur_mtx;
    std::chrono::milliseconds sleep_time = std::chrono::milliseconds(1000);
public:
    Try_Recursive_Mutex();

    void fun1(){
        std::lock_guard<std::mutex> lkgd( mtx );
        std::cout<<__FUNCTION__<<"---thread id: "<<std::this_thread::get_id()<<"---"<<std::endl;
        std::this_thread::sleep_for(sleep_time);
        fun2();
    }

    void fun2(){
        std::lock_guard<std::mutex> lkgd( mtx );
        std::cout<<__FUNCTION__<<"---thread id: "<<std::this_thread::get_id()<<"---"<<std::endl;
        std::this_thread::sleep_for(sleep_time);
        fun3();
    }

    void fun3(){
        std::lock_guard<std::mutex> lkgd( mtx );
        std::cout<<__FUNCTION__<<"---thread id: "<<std::this_thread::get_id()<<"---"<<std::endl;
        std::this_thread::sleep_for(sleep_time);
    }
};

 

程序的运行情况如下：

 

 

 

总结： 新科技 std::recursive_mutex 就是好用！！！ 特定场合，我们就选用特殊的技术。