ABA问题

多图警告!

简介

CAS会出现ABA问题

CAS如果比较发现预期的数和被比较地址所存的值相等，他就认为被比较地址所存的值没有发生变化，但是其实很有可能在比较时，被比较地址所存的值是变成了其他的值又变回来的

这就叫ABA问题，ABA这个名字就是说A先变成B，又变回A

具体问题出现的情况

1. 线程1进行CAS操作，首先线程1读取到地址Ad存的值是D
   
2. 线程1的CAS操作还没有进行到比较操作，线程2将数值C写入地址Ad
   
3. 线程2又将数值D写入地址Ad
   
4. 这时线程2才执行到CAS的比较操作，它将最初读取到的值D与当前地址Ad所存的值进行对比，发现两值相等，所以CAS认为这个值没有被其他线程修改过，就会继续执行下面的操作
   
   其实这时的值是被修改成其他值后又变回来的

ABA问题的后果

大家可能会觉得，反正都是同一个值，无所谓，其实这是很危险的问题，举个ABA出现问题的经典例子

存在一个栈，内有A，B，C三个值

1. 线程1进行CAS操作：首先读取栈顶的值，得到了C
   
2. 线程1的CAS还没有执行到比较过程时，线程2接连将C和B弹出
   
3. 此时栈中只剩下A，线程2又将C压入栈
   
4. 这时线程1才执行到CAS的比较操作，他比较之前读取的C和栈顶元素，发现相等，它就会认为这个栈没有发生变化，线程1就会继续执行其他操作，最后输出栈的时候发现，莫名奇妙少了一个值！
   

解决方法

可以给每个值定义一个版本，比较时也比较版本号，如果版本号和之前读取的版本号相同就继续进行操作，如果使用了这个方法，别忘了在更新值的时候也要对版本号进行更新

其实还有很多其他的例子，比如定义时间戳，JUC中提供了各种方法，感兴趣可以去研究一下