C++11標準ライブラリの条件変数std::condition_variableおよびstd::condition_variable_anyは仕様上 spurious wakeup を許容する（→id:yohhoy:20120326）。このため条件変数のタイムアウト付き待機関数wait_until, wait_forの動作において、「通知を受けてい…