I'd like to use io_buffer from a reader thread and a writer thread How can I do it safely and efficiently?