ミューテックスロックは、要求されたのと同じ順序で行われますか？

Question

私は現在、std::threadを使用して非常に単純なスレッドプールを作成しようとしています。 与えられたタスクが完了した後にスレッドを「生きている」状態に維持するために、私はstd::mutexをそれぞれに関連付けます。 trueへm_bAvailable設定したスレッドオブジェクトのために、ThreadPool検索をiを見つけるには

// Thread loop 
while (1) 
{ 
    m_oMutex->lock(); 
    m_oMutex->unlock(); 
    m_bAvailable = false; 
    m_oTask(); 
    m_bAvailable = true; 
} 

// ThreadPool function which gives a task to a thread 
void runTask(boost::function<void()> oTask) 
{ 
    [...] 
    m_oThreads[i]->setTask(oTask); 
    m_oMutexes[i]->unlock(); // same mutex as thread's m_oMutex 
    m_oMutexes[i]->lock(); 
} 

：

原理は多少このようなものです。対応するミューテックスのロックを解除し、threadがそれをロックしてタスクを実行できるようにします。 threadは即座にロックを解除し、ThreadPoolは再びロックできるので、threadはタスクが完了すると停止します。

しかし、問題は、スレッドがスレッドに要求する順序でロックされることですか？つまり、threadがmutexにロックを行った場合、ThreadPoolはロックを解除して再びロックします。最初にthreadにロックが渡されますか？そうでない場合は、それを保証する方法はありますか？

Answer 1

いいえ、あなたのスレッドループがあなたの例のようにロックを取得することは保証できません。条件付き変数を使用して、スリープ状態にしてロックを取るスレッドループに信号を送ります。 std::condition_variable::wait(...)を参照してください。 condition-variable

このトピックに関する一般的な情報は、http://en.wikipedia.org/wiki/Condition_variableです。 pthreadライブラリを使用していた場合、同等の呼び出しは "スレッドループ"でpthread_cond_wait、runTask関数ではpthread_cond_signalとなります。