代入とreadがatomicだとして、元のブログの↓のコードはどんな問題が起こる？

// 同一変数に対して片方が変更操作 int y = 2; void th1() { int r2 = y; // NG: データ競合 } void th2() { y = 42; // NG: データ競合 }