↓が問題なのは、readやwriteのatomicityが保証されてないからなのか、それとも「順序」の問題なのか。

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