ミューテックスと組み合わせて、条件が満たされるまでスレッドを待たせるC++の同期プリミティブ。