深く考えてないけど、以下のようにしてしまえば、速度が速いまま、
spurious wakeup が絶対に起きない wait 関数を作れるんじゃないかと
思うんだけど、どうなんだろう。

Xxxx LapperWait(Yyyy y, Zzzz z) {
　　for (;;) {
　　　raw_wait(y, z);　　// spurious wakeup 有り
　　　if ( IsCond(y, z) ) {　　// 厳密な条件チェック
　　　　　return x;
　　　}
　　}
}