Изменения
→Описание проблемы
# Поток <tex>B</tex> не сможет добавить в очередь новую вершину (а следовательно, завершить операцию <tex>push</tex>), до тех пор, пока планировщик операционной системы не разбудит поток <tex>A</tex>, и поток <tex>A</tex> не завершит добавление (то есть не передвинет <tex>T</tex> на вершину, добавленную на шаге <tex>1</tex>.)
Следовательно, у такой очереди нет гарантии прогресса, мы и этот алгоритм не получили lock-free алгоритм.
==Примечания==
