std:: recursive_mutex

recursive_mutex クラスは、共有データが複数のスレッドから同時にアクセスされるのを防ぐために使用できる同期プリミティブです。

recursive_mutex は排他的かつ再帰的所有権セマンティクスを提供します：

• 呼び出しスレッドは、 lock または try_lock を正常に呼び出した時点から、 recursive_mutex を 所有 する期間が開始します。この期間中、スレッドは lock または try_lock への追加呼び出しを行うことができます。所有期間は、スレッドが unlock を対応する回数だけ呼び出した時点で終了します。
• スレッドが recursive_mutex を所有している場合、他のすべてのスレッドは（ lock の呼び出しに対して）ブロックされるか、または（ try_lock に対して） false の戻り値を受け取ります（ recursive_mutex の所有権を要求しようとした場合）。
• recursive_mutex がロック可能な最大回数は未規定ですが、その回数に達した後は、 lock の呼び出しは std::system_error をスローし、 try_lock の呼び出しは false を返します。

スレッドによって所有されている状態で recursive_mutex が破棄された場合、プログラムの動作は未定義です。 recursive_mutex クラスは Mutex および StandardLayoutType のすべての要件を満たします。

メンバー型

メンバー関数

例

#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 << "in fun1, shared variable is now " << shared << '\n';
    }
    void fun2()
    {
        std::lock_guard<std::recursive_mutex> lk(m);
        shared = "fun2";
        std::cout << "in fun2, shared variable is now " << shared << '\n';
        fun1(); // recursive lock becomes useful here
        std::cout << "back in fun2, shared variable is " << shared << '\n';
    }
};
int main() 
{
    X x;
    std::thread t1(&X::fun1, &x);
    std::thread t2(&X::fun2, &x);
    t1.join();
    t2.join();
}

in fun1, shared variable is now fun1
in fun2, shared variable is now fun2
in fun1, shared variable is now fun1
back in fun2, shared variable is fun1

関連項目