C++20のStrongly Happens Before：メモリモデルの解明

この記事では、C++20で新しく導入された「Strongly Happens Before」の関係について深く掘り下げ、C++メモリモデルにおける難しい問題を解決する方法を説明します。簡単なマルチスレッドプログラムの例を用いて、変更順序、コヒーレンス順序、「Strongly Happens Before」の関係が、同時実行の順序をどのように制約するのかを段階的に解説します。また、C++メモリモデルに反するように見える実行がPowerアーキテクチャで許容される理由を分析し、「Strongly Happens Before」がこれらの矛盾をどのように修正し、最終的にすべての`memory_order::seq_cst`操作に対して単一の全順序を保証するのかを説明します。