あらゆるCPU命令を考えたら前者が成り立たないからスレッドセーフと言えないということでいいのかな？