CAS
compare and set,自旋
ABA问题
假设堆栈中有 两个元素,A和B,栈顶head指向A,A.next = B
线程T1要做:弹出A,让B成为新的head
Node A = head; ①
Node B = A.next; ②
CAS(head) : except A, set B ③
线程T2要做:弹出A,B,将C入栈,再将A入栈
Node A = head; ①
CAS(head) : except A, set C ②
A.next = C ; CAS(head): except C, set A ③
假设代码的执行顺序是:
T1 ① -> T1 ② -> T2 ①②③ -> T1 ③
则T1 ③的CAS操作是可以成功的,B成新的head,然后栈内的节点就只有B了。C被丢失了。
AtomicStampReference解决ABA问题
带时间戳的原子引用。假设head是带时间戳的原子引用,则T2的CAS操作会修改head的时间戳
T1保存的head时间戳在T1 ③中CAS会失败。