C/C++やその他の言語での条件変数の使用パターン

Question

条件変数（cv）の使用方法を説明するドキュメントを見ると、たとえば次のように表示されます。 PThreadsとC++では、このcvでnotifyを呼び出すためにcvのmutexを保持する必要はありません。一方、 JavaとPythonでは、同じことをするためにmutexをロックする必要があります。

Javaのような言語の実装で最終的にいくつかのネイティブスレッドツールが使用されることを考えれば、私は後者の場合にこのように実装される深い理由はありますか？

Answer 1

Java notifyとnotifyAll基本的な同期ツールを使用するには、オブジェクトを呼び出す前に同期をとる必要があります。これは、簡単な安全点のためのもので、wait ingの前に同期させる必要があるためです。

たとえば、2つのスレッドがある場合。 1つのスレッドはバッファからデータを読み取り、1つのスレッドはデータをバッファに書き込みます。

書き込みデータスレッドは、書き込みデータスレッドがバッファにデータブロックの書き込みを完了してブロックを読み取るまで待機する必要があります。

notify()、wait()もし、及びnotifyAll()方法は、あなたがどこ競合状態を取得することができ、同期せずに呼び出すことができます。

• 読み取りスレッドがwait()を呼び出し、スレッドが待ちキューに追加されます。

• 同時に、書き込みスレッドはnotify()を呼び出してデータが追加されたことを通知します。

• wait()が処理される前にnotify()が処理されて以来、読み取りスレッドは変更を失い、永遠に待ちます。この競合状態が除去された同期ブロック内で発生するwaitとnotifyを強制することにより

。