ロック複数のミューテックス

Question

それは同時に複数のミューテックスをロックすることが可能だ場合、私は同じように、思ったんだけど：

は

Mutex1.Lock(); 
{ 
    Mutex2.Lock(); 
    { 
      // Code locked by mutex 1 and 2. 
    } 
    Mutex2.Unlock(); 

    // Code locked by mutex 1. 
} 
Mutex1.Unlock(); 

それはいくつかの状況のた​​めに非常に有用であろう。ありがとう。

Answer 1

デッドロックが発生する可能性があります（2つのスレッドが逆の順序でロックを取得した場合、各スレッドがロックの1つを解放するのを待っている可能性があります） 。

常に解放されている（例えばstd::mutexとstd::lock_guard）をスコープロックを使用することをお勧めし、例外安全のための施設のロックを解除し、ロックを確保するために：

std::mutex mtx1; 
std::mutex mtx2; 

std::lock_guard<std::mutex> mtx1_lock(mtx1); 
{ 
    std::lock_guard<std::mutex> mtx2_lock(mtx2); 
    { 
    } 
} 

コンパイラがこれらのC++ 11個の機能の向上をサポートしていない場合boost::mutexとboost::lock_guardに似ています。

Answer 2

std::lockがこのように存在するようです。

デッドロックを回避するために、デッドロック回避アルゴリズムを使用して、指定されたロック可能オブジェクトlock1、lock2、...、locknをロックします。 オブジェクトは、lock、try_lock、unlockの呼び出しの不特定の一連によってロックされます。ロックまたはロック解除の呼び出しで例外が発生した場合、ロックされたオブジェクトは再スローされる前にロック解除が呼び出されます。

http://en.cppreference.com/w/cpp/thread/lock

Answer 3

C++ 17もlock_guardと同様RAIIスタイルにデッドロックを防止する複数のミューテックスをロックする特定の目的のためscoped_lockを提供します。

#include<mutex> 

std::mutex mtx1, mtx2; 
void foo() 
{ 
    std::scoped_lock lck{mtx1, mtx2}; 
    // proceed 
}