>>62
Aは通知を受けるまで実行可能状態にならないからBが通知を行わない場合はCがロックを獲得する。
通知をした場合はAとCの両方がロック獲得待ちになって、どっちが獲得するかはスレッド優先度とか
そういうの次第。
というのが普通の実装だと思うけど、これと違う動作をするものがあるかどうかは知らん。