std::recursive_mutex

来自cppreference.com
< cpp‎ | thread
 
 
并发支持库
线程
(C++11)
(C++20)
(C++20)
this_thread 命名空间
(C++11)
(C++11)
(C++11)
互斥
(C++11)
recursive_mutex
(C++11)  
通用锁管理
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
条件变量
(C++11)
信号量
闩与屏障
(C++20)
(C++20)
未来体
(C++11)
(C++11)
(C++11)
(C++11)
安全回收
(C++26)
(C++26)
风险指针





原子类型
(C++11)
(C++20)
原子类型的初始化
(C++11)(C++20 中弃用)
(C++11)(C++20 中弃用)
内存定序
原子操作的自由函数
原子标志的自由函数
 
 
在标头 <mutex> 定义
class recursive_mutex;
(C++11 起)

recursive_mutex 类是一种同步原语,能用于保护共享数据免受从个多线程同时访问。

recursive_mutex 提供排他性递归所有权语义:

  • 调用方线程在从它成功调用 locktry_lock 开始的时期里占有 recursive_mutex。此时期之内,线程可以进行对 locktry_lock 的附加调用。所有权的时期在线程进行匹配次数的 unlock 调用时结束。
  • 线程占有 recursive_mutex 时,若其他所有线程试图要求 recursive_mutex 的所有权,则它们将阻塞(对于调用 lock)或收到 false 返回值(对于调用 try_lock)。
  • 可锁定 recursive_mutex 次数的最大值是未指定的,但抵达该数后,对 lock 的调用将抛出 std::system_error 而对 try_lock 的调用将返回 false

recursive_mutex 在仍为某线程占有时被销毁,则程序行为未定义。recursive_mutex 类满足互斥体 (Mutex) 标准布局类型 (StandardLayoutType) 的所有要求。

成员类型

成员类型 定义
native_handle_type (可选*) 由实现定义

成员函数

构造互斥体
(公开成员函数)
销毁互斥体
(公开成员函数)
operator=
[弃置]
不可复制赋值
(公开成员函数)
锁定
锁定互斥体,若互斥体不可用则阻塞
(公开成员函数)
尝试锁定互斥体,若互斥体不可用则返回
(公开成员函数)
解锁互斥体
(公开成员函数)
本机句柄
返回底层的实现定义的本机句柄对象
(公开成员函数)

示例

recursive_mutex 的使用场景之一是保护类中的共享状态,而类的成员函数可能相互调用。

#include <iostream>
#include <mutex>
#include <thread>
 
class X
{
    std::recursive_mutex m;
    std::string shared;
public:
    void fun1()
    {
        std::lock_guard<std::recursive_mutex> lk(m);
        shared = "fun1";
        std::cout << "fun1 中,共享变量现在为 " << shared << '\n';
    }
    void fun2()
    {
        std::lock_guard<std::recursive_mutex> lk(m);
        shared = "fun2";
        std::cout << "fun2 中,共享变量现在为 " << shared << '\n';
        fun1(); // 递归锁在此处变得有用
        std::cout << "回到 fun2,共享变量为 " << shared << '\n';
    };
};
 
int main() 
{
    X x;
    std::thread t1(&X::fun1, &x);
    std::thread t2(&X::fun2, &x);
    t1.join();
    t2.join();
}

可能的输出:

fun1, 中,共享变量现在为 fun1
fun2 中,共享变量现在为 fun2
fun1 中,共享变量现在为 fun1
回到 fun2,共享变量为 fun1

参阅

(C++11)
提供基本互斥设施
(类)