A simple producer-consumer queue