メモリの順序付け、他の実行とマルチスレッドの安全性なし

Question

最近、メモリの再注文が行われています。私の質問は、マルチスレッドシナリオに関するものです。以下の例を考えてみましょう：

A = 0; 
B = 0; 

Thread 1 on Processor 1      Thread 2 on Processor 2 

    A = 100;          while(B== 0); 
    B = 1;          //access A here 

私はX86-64 Windowsプラットフォーム上でコーディングし、AとBに格納する（コンパイラレベルまたはハードウェアレベルでのいずれか）並べ替えることができ、私が終わる可能性があると考えたことがないされていますスレッド2ではB = 0であり、Aはまだ0であることがわかります。このようなコードでは、問題や厄介なバグは発生しませんでした。それはx86-x64が強く注文されており、WindowsのCコンパイラも同様です。

弱い順序のメモリを持つ他のプラットフォームでこのようなコードを実行するには、ロック内でAとBを更新してアクセスする必要があります（基本的なロックの実装でメモリバリアが使用され、以前のすべてのロードおよびストアがすべてのプロセッサコアで表示された後にのみリリースされます）。

おかげ

Answer 1

強く注文したので、WindowsのCコンパイラがされているx86ベースのx64ので、それです。

実際、X86は、ストアの並べ替えを許可しない強く順序付けされたCPUです。したがって、すべてのCPUコアは、コンパイラによって発行された順序を観察します。

Bは、プロセッサ1でプロセッサ2上で読み込まれている間に変更されます。同期を行わないCメモリモデルでは許可されません（コンパイラの最大限の最適化を試してください）。

ロックはコア間の同期に使用できますが、Bで回転しているため問題がある可能性があります。ロックが獲得された状態でそれが発生した場合、プロセッサー1は値を更新できません。

正しい解決策は、Batomicです。それはすべてのレベルで正しい順序を保証します。