A simple non-blocking, finite-state automaton for beanstalk queues.