そのアトミックな命令に依存する箇所は順序性の保護が伝搬するはず

1:13 AM

あーちょっとそこはわかんないな

1:14 AM

でも、少なくともCAS命令の単位ではアトミックで

1:14 AM

スレッド同士が同じところを見るのがCASだけになってれば

1:14 AM

その前後は入れ替わってても、シングルスレッドの範疇で同じ結果に観測される