CAS中的ABA问题

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会失败。