readerwriterqueue. A fast single-producer, single-consumer lock-free queue for C++