爲什麼在這個無鎖棧類中'刪除'節點會導致競爭狀態？

Question

在題爲「C++併發在行動」，由安東尼·威廉姆斯，在7.2.1節的書，無鎖堆棧實現上市：

template <typename T> 
class lock_free_stack { 
    struct node { 
     shared_ptr<T> data_; 
     node* next_; 
     node(const T& data) : data_(make_shared(data)) {} 
    }; 
    atomic<node*> head_; 
public: 
    void push(const T& data) 
    { 
     node* new_node = new node(data); 
     new_node->next_ = head_.load(); 
     while(!head.compare_exchange_weak(new_node->next_, new_node)); 
    } 
    shared_ptr<T> pop() 
    { 
     node* old_head = head_.load(); 
     while (old_head && 
       !head_.compare_exchange_weak(old_head, head_->next_)); 
     return old_head ? old_head->data_ : shared_ptr<T>(); 
    } 
}; 

然後在第7.2.2節中，作者說」。 ..在pop（）中，我們選擇泄漏節點，以避免一個線程刪除一個節點時的競爭狀態，而另一個線程仍然持有一個指向它的指針，它正要解除引用。

1）我不明白爲什麼這樣的情況會發生，爲什麼彈出以下（）函數將導致競爭條件：

shared_ptr<T> pop() 
{ 
    node* old_head = head_.load(); // (1) 
    while (old_head && 
      !head_.compare_exchange_weak(old_head, head_->next_)); // (2) 
    shared_ptr<T> res; // (3) 
    if (old_head) { 
     res.swap(old_head->data); 
     delete old_head; 
     return res; 
    } else { 
     return {}; 
    } 
} 

2）如何來，對於調用彈出多個線程（）同時，'old_head'變量可以在第（3）行之後指向同一個節點對象？

Answer 1

線程1進入（2）。它開始評估head_->next。它將head_加載到一個寄存器中，然後放棄優先級。

線程2從函數的開始到結束進行。從存在刪除head_刪除它並返回head_的內容。

線程1醒來。它遵循head_在獲得->next字段的註冊表中。但是線程2已經刪除了head_指向的數據，我們只是跟着一個懸掛指針。