William Mou says to YSITD 我剛剛看了一下，ABA 問題只會在 CAB 上發生，與 CAB 等價（但較嚴格）的 LL/SC 不會發生 ABA 這個問題，不太符合恐龍本上說的因為 load and store 產生問題