c++ - スプリオスのウェイクアップと状態変数

Question

A Williams の素敵なブログを読んでいました。

そして、1つのことが私を悩ませています:偽のウェイクのためにスレッドがウェイクアップするとき、ミューテックスがロックされていますか?

boost::mutex::scoped_lock lock(the_mutex);
while(the_queue.empty())
{
    the_condition_variable.wait(lock);
}

そうしないと .empty への呼び出しが安全でなくなるためだと思いますが、よくわかりません。

score 4 · Accepted Answer

はい、ミューテックスがロックされています。基本的に、ミューテックスは、スレッドがブロックされている間のみ解放されthe_condition_variable.wait()ます。誤ったウェイクアップであろうとなかろうと、ミューテックスは表示されているコードの他の場所でロックされています。

のドキュメントからboost::condition_variable::wait()：

事後条件:

lock現在のスレッドによってロックされています。

1 に答える 1