Work queues: Logic that sets the queued indication and the logic that does the actual queuing must be atomic