このコンパイラ変換は許可されていますか？</p> <pre><code>if (x) y = 42; </code></pre> <p>次のコンパイラ変換許可されている：

Question

はxとyある整数は、このコードを、考えてみましょうか？

int tmp = y; 
y = 42; 

if (!x) 
    y = tmp; 

コンテキスト：

これはビャーネ・ストロヴストルップのよくある質問からです：

// start with x==0 and y==0 

if (x) y = 1; // Thread 1 

if (y) x = 1; // Thread 2 

よくある質問の状態これが無料のデータ競合です。 xとyが両方とも0の場合、いずれの値も書き込まれません。
しかし、変換が許可されていればどうなりますか？

Answer 1

誤ったコメントに書いたのとは異なり、yが潜在的にスレッド間で共有され、コンパイラが元のコードで既存のUBを証明できない場合、この変換は実際には許可されません。

標準は、明示的に述べている：例えば 割り当て上書きかもしれないので 抽象機械によって修飾されないであろうことを潜在的に共有メモリロケーションへの割り当てを導入

コンパイラの変換は、一般的に、この標準によって排除されます抽象機械 の実行がデータ競合に遭遇しなかった場合の別のスレッドによる別の割り当て。

[intro.multithread]（1.10/22）in N3337、N4141では（1.10/25）です。

したがって、xが常に0の場合、元のコードはレースフリーであり、変換されたコードはレースフリーではありません。したがって、変換は合法ではありません。