为什么 Boost 原子使用中的多生产者队列是免等待的

Boost Atomic示例中的免等待多生产者队列：

template<typename T>
class waitfree_queue {
public:
struct node {
T data;
node * next;
};
void push(const T &data)
{
node * n = new node;
n->data = data;
node * stale_head = head_.load(boost::memory_order_relaxed);
do {
n->next = stale_head;
} while (!head_.compare_exchange_weak(stale_head, n, boost::memory_order_release));
}
node * pop_all(void)
{
T * last = pop_all_reverse(), * first = 0;
while(last) {
T * tmp = last;
last = last->next;
tmp->next = first;
first = tmp;
}
return first;
}
waitfree_queue() : head_(0) {}
// alternative interface if ordering is of no importance
node * pop_all_reverse(void)
{
return head_.exchange(0, boost::memory_order_consume);
}
private:
boost::atomic<node *> head_;
};

http://www.boost.org/doc/libs/1_63_0_b1/doc/html/atomic/usage_examples.html#boost_atomic.usage_examples.mp_queue

但我发现推送中的代码是无锁的，而不是无等待的。假设多个生产者正在调用推送，至少一个生产者可以取得进展;其他生产者只是再次运行 while 循环，直到取得进展。存在一种调度方式，可以使特定线程在不可预测的时间内匮乏。

无等待的定义告诉我们，任何提供时间片的给定线程都能够取得一些进展并最终完成，而无锁告诉我们至少有一个线程可以取得进展。所以上面的代码似乎满足无锁的定义。

我的理解有误吗？