Hi - at least on Linux, how does boost asio implement multithreaded support for io::run? Is there a single thread blocking on select() (which I believe isn't thread-safe given the same sets), which others interrupt (EINTR) via pipes? Thanks for any explanation!