memory_order_relaxed で確認すると、memory_order_seq_cst を使用して停止フラグを設定する理由?

コンテキスト

彼の「原子兵器」の講演では、 Herb Sutter は、メインスレッドがmemory_order_seq_cstを使用して停止フラグを設定し、複数のワーカースレッドが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 は、停止フラグへの書き込みがすべてのスレッドに適時に表示されるようにし、競合状態のリスクを最小限に抑えます。
• 並べ替えの回避: 他のメモリ操作が並べ替えられるのを防ぎます。書き込み前に、イベントの意図した順序が保持されていることを確認します。
• 最適な並列化: Keeping最新の停止フラグを使用すると、ワーカー スレッドは不必要なメモリ同期を待たずにその値を効率的に確認できます。

結論

結論として、この例では停止フラグを設定するためにmemory_order_seq_cstを使用します。パフォーマンスの最適化のためではなく、正確さとスレッドの安全性を確保するためのものです。ロード操作にはmemory_order_relaxedを使用できますが、書き込み操作にmemory_order_seq_cstを使用すると、パフォーマンスを損なうことなく追加の保証が提供されます。