Re: [Boost-users] [Thread] thousands of spurious wakeups from timed_wait() per second