それだと、 int y = 2; void th1() { y = 99; } void th2() { y = 42; } の代入が atomic なら↑も OK となりそうだけど・・・。