如果使用 memory_order_relaxed 檢查它，為什麼要使用 memory_order_seq_cst 設定停止標誌？

上下文

在他的“原子武器”演講中， Herb Sutter 演示了一個示例，其中主線程使用memory_order_seq_cst 設定停止標誌，並且多個工作線程使用以下命令檢查此標誌記憶體順序放寬。 Sutter 解釋說，由於延遲影響可以忽略不計，因此使用 memory_order_relaxed 進行檢查是可以接受的。不過，他建議使用 memory_order_seq_cst 來進行設定標誌的操作，但沒有提供具體原因。

記憶體排序

理解記憶體排序的概念在這裡至關重要。記憶體順序定義了原子操作提供的可見性和同步保證。在此範例中，使用 memory_order_seq_cst 設定標誌可確保以下內容：

• 對停止標誌的寫入在有限時間內對所有其他執行緒可見。
• 在寫入之前不能對其他記憶體操作進行重新排序。

效能影響

使用時考慮到載入操作使用了 memory_order_relaxed，寫入操作的 memory_order_seq_cst 可能看起來過多，但它實際上沒有顯著的效能影響。無論使用的記憶體順序如何，實作都需要使原子儲存在合理的時間內可見。

memory_order_seq_cst 的好處

雖然使用memory_order_seq_cst 進行寫入操作的延遲影響很小，它提供了幾個好處：

• 安全： memory_order_seq_cst確保對停止標誌的寫入及時對所有執行緒可見，從而最大限度地降低競爭條件的風險。
• 避免重新排序： 它可以防止其他記憶體操作被重新排序在寫入之前，確保保留預期的事件順序。
• 最佳並行化： 保持停止flag up to date允許工作線程有效地檢查其值，而無需等待不必要的記憶體同步。

結論

總而言之，在本例中使用memory_order_seq_cst設定停止標誌是不可行的用於效能最佳化，但要確保正確性和線程安全。雖然 memory_order_relaxed 對於載入操作是可以接受的，但使用 memory_order_seq_cst 進行寫入操作可以在不影響效能的情況下提供額外的保證。