最終更新日時: 2024年06月11日 22時45分38秒 (JST)
Akira Takahashi が更新

履歴 編集

function
<mutex>

# std::recursive_mutex::lock(C++11)

    void lock();

## 概要

ロックを取得する

## 効果

この関数を呼び出したスレッドがミューテックスの所有権を取得できるまでブロックする。新しく所有権を取得した直後の所有権カウントは1となる。

この関数を呼び出したスレッドがすでにミューテックスの所有権を保持していた場合は、ブロッキングは行わず所有権を維持する。このとき所有権カウントを1増加する。

## 戻り値

なし

## 例外

この関数は、以下のerror conditionを持つ`system_error` 例外オブジェクトを送出する可能性がある：

- `operation_not_permitted` : スレッドにこの操作を行う権限がない
- `resource_deadlock_would_occur` : デッドロックが発生することを検出した(実装依存)
- C++14まで : `device_or_resource_busy` : ミューテックスがすでにロックされていて、ブロッキングできない

## 備考

あるスレッドが再帰的に所有権を取得可能な最大回数（所有権カウントの上限値）は、規定されていない。所有権カウントの上限値に達している場合、既に所有権を保持しているスレッドによるlockは`system_error` 例外オブジェクトを送出する。

## 例

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

    class counter {
      int count_ = 0;
      std::recursive_mutex mtx_;
    public:
      int add(int value)
      {
        mtx_.lock();
        int result = count_ += value;
        mtx_.unlock();
        return result;
      }

      int increment()
      {
        mtx_.lock(); // ロックを取得する
        int result = add(1); // add()関数内でも同じミューテックスからロックを取得する
        mtx_.unlock();
        return result;
      }
    };

    std::mutex print_mtx_;
    void print_value(int value)
    {
      std::lock_guard<std::mutex> lock(print_mtx_);
      std::cout << "count == " << value << std::endl;
    }

    counter c;
    void change_count()
    {
      int value = c.increment();
      print_value(value);
    }

    int main()
    {
      std::thread t1(change_count);
      std::thread t2(change_count);

      t1.join();
      t2.join();
    }

### 出力

    count == 1
    count == 2

## バージョン

### 言語

- C++11

### 処理系

- Clang: ??
- GCC: 4.7.0 ✅
- ICC: ??
- Visual C++: 2012 ✅, 2013 ✅, 2015 ✅

## 参照

- LWG Issue 2309. `mutex::lock()` should not throw `device_or_resource_busy`
  - C++17以降、この関数から`device_or_resource_busy`が送出される可能性がなくなった。デッドロックが検出できればbusyではなく`resource_deadlock_would_occur`が送出されるべき。busyの検出は`mutex`クラスではなく`condition_variable::wait()`で行うこと