同時実行性：マルチスレッド環境での共有変数のC++ 11メモリモデル

Question

グローバル変数が2つの異なるコア上で同時に実行される2つのスレッドで共有されている場合、共有リソースへのアクセスがあっても、変数はクリティカルセクションによって管理されますか？変数atomic（volatile）を宣言する必要がありますか？各コアは共有変数の値をキャッシュに持つことができ、あるスレッドがキャッシュ内のそのコピーに書き込むとき、別のコアの別のスレッドはスレッド1がロックを解除した後にそのキャッシュから古い値を読み取ることがあります。コンパイラは、デフォルトでクリティカルセクションまたはミューテックスによって管理される変数に対して、揮発性の読み込み/書き込み用のコードを生成しますか？

Answer 1

共有変数へのすべてのアクセスが同じミューテックスまたはクリティカルセクションによって保護されている場合、スレッドが異なるコア上にあっても、その変数のデータ競合および予期しない値は避けられます。ミューテックスのロックおよびロック解除機能には、キャッシュがプロセッサコア全体で正しく同期されることを保証するために必要な同期命令が含まれます。ロックされた領域内では、通常の命令を使用して共有変数にアクセスすることができます。

ミューテックスの保護なしでにアクセスしようとしない限り、共有変数をアトミックとして宣言する必要はありません。