一个例子解释 java种CAS 的ABA问题

 

线程I使用CAS修改初始值为A的变量X，那么线程I会首先去获取当前变量X的值（为A〕，然后使用CAS操作尝试修改X的值为B，如果使用CAS操作成功了，那么程序运行一定是正确的吗？其实未必，这是因为有可能在线程I获取变量X的值后，在执行CAS前，线程I I使用CAS修改了变量X的值为B，然后又使用CAS修改了变量X的值为A。所以虽然线程I执行CAS时X的值是A，但是这A己经不是线程I获取时的A了。这就是ABA问题。ABA题的产生是因为变量的状态值产生了环形转换，就是变量的值可以从A到B ,然后再从B到A。如果变量的值只能朝着一个方向转换，比如A到,B到C不构成环形，就不会存在问题。JDK中的A t o m i c S t a m p e d R e f e r e n c e类给每个变量的状态值都配备了一个时间戳，从而避免了ABA问题的产生