[boost] [asio] inefficiency in the polling