Re: [boost] regarding spurious wakeup in boost 1.76