なぜデータ競争がないのですか？

Question

私はここに、Memory ModelにBjarneのよくある質問を読んでいますが、C++ 11社の保証はそのような問題は、別々のメモリ位置」のために発生しないようにするために、引用

である 『』より正確には：メモリ位置が安全にアクセスすることはできません1つのワード内の異なるビットフィールドは別々のメモリ位置ではないので、何らかのロックなしでスレッド間でビットフィールドを持つ構造体を共有しないでください。 C++メモリモデルは単純に「誰もが期待している通り」である。

しかし、低レベルの並行性の問題については、まっすぐ考えるのは必ずしも容易ではない。検討：X == 0かつy == 0

と

開始する場合（X）、Y = 1。 //スレッド1

if（y）x = 1; //スレッド2

ここに問題がありますか？より正確には、データ競争はありますか？ （いいえありません）。

私の質問は、なぜデータ競争ですか？スレッド1はyのライターであり、スレッド2はyのリーダーであり、同様にxのリーダーであるため、明らかにデータ競合があることは明らかです。

Answer 1

xとyは0であるため、ifの背後にあるコードは実行されませんし、何の書き込みは行われませんので、何のデータ競合はあり得ません。

Answer 2

重要なポイントは次のとおりです。

開始x==0とし、それが起動時に両方の変数が0に設定されているのでy==0

、ifテストが失敗し、割り当てが発生することはありません。したがって、両方のスレッドは変数を読み込み、書き込むことはありません。