CAS以及其ABA问题及解决方法

1、简述

常见的Java并发手段是加锁，但加锁、解锁操作是消耗性能的。相比起来，CAS无锁方案则没有加锁、解锁的性能消耗，还保证了互斥性，但同时也存在ABA的问题

2、CAS

CAS的语义是：将内存位置的值与预期原值比较，如果相匹配，那么处理器会自动将该位置值更新为新值，否则，处理器不做任何操作。CAS是一条CPU的原子指令（cmpxchg指令），是通过Unsafe类的方法实现的，Unsafe提供的CAS方法（如compareAndSwapXXX）底层实现即为CPU指令cmpxchg。

3、ABA

假设cas（A，B），假设原值为A，将要更新的值为B，如果其他线程先把A修改为B然后再修改成A，那么执行cas（A，B）还是会认为期待值相同，继续执行下去。

--但是这样真的会没有问题吗？

对于仅仅是修改数值的情况是没有问题的，但有些情况下，虽然修改前后的A相等，但是可能A里面的属性已经被修改了，所以在使用CAS方案时需要检查一下。

--那怎么样解决ABA问题呢？

只要加个版本号就可以了，如AtomicStampedReference就增加了版本号参数