mutexでupが実行されたときにスレッドには何が起こりますか？

Question

ミューテックスはクリティカルセクションを保護するために使用されます。ダウンがすでにミューテックス上で行われているとしましょう。そして、それを行ったスレッドがCS内にある間に、他の10個のスレッドがそのすぐ後ろにあり、ミューテックスをダウンさせてスリープ状態にします。最初のスレッドがクリティカルセクションを終了し、ミューテックスをアップさせると、10スレッドがすべて起動し、やりたいこと、つまりクリティカルセクションに入るだけですか？それで、10人全員が同時にクリティカルセクションに入るかもしれないということを意味しないのでしょうか？

Answer 1

いいえ、1つだけスレッドは目を覚まし、ミューテックスの所有権を取得します。残りの部分は眠り続けます。どのスレッドが目を覚ますかは、通常、非決定論的です。

^{上記は一般化されており、実装の詳細はシステムごとに異なります。たとえば、JavaではObject#notify()とObject#notifyAll()を比較します。}