If this code is run by two threads, one pushing another popping, there is no need for locks protecting the queue.