[Boost-users] [condition] How to wait on multiple mutexes with OR semantics?