CAS存在的问题及解决办法

CAS存在的问题及解决办法

CAS原理见CAS介绍及底层原理

ABA问题

• 问题介绍：执行一次比较时，地址V对应的值是A，与预期值相同，但是在这期间A已经被其他线程改为B，又被一个线程改回A，那么CAS仍然会更新值。也就是说当你获得对象当前数据后，在准备修改为新值前，对象的值被其他线程连续修改了两次，而经过两次修改后，对象的值又恢复为旧值，这样当前线程无法正确判断这个对象是否修改过。

• 解决办法：JDK1.5可以利用AtomicStampedReference类来解决这个问题，AtomicStampedReference内部不仅维护了对象值，还维护了一个时间戳，相当于添加了一个版本号。当AtomicStampedReference对应的数值被修改时，除了更新数据本身外，还必须要更新时间戳，对象值和时间戳都必须满足期望值，写入才会成功

自旋时间太长的问题

问题介绍：CAS()长时间处于自旋状态，给CPU带来巨大开销

解决办法：JVM支持处理器提供的pause指令，使得效率会有一定的提升

pause指令有两个作用：

• 第一它可以延迟流水线执行指令,使CPU不会消耗过多的执行资源，
• 第二它可以避免在退出循环的时候因内存顺序冲突（memory order violation）而引起CPU流水线被清空（CPU pipeline flush），从而提高CPU的执行效率。

CAS只能实现一个变量的原子操作，不能同时实现多个变量的原子操作

问题介绍：CAS()执行时，执行实现一个变量的原子操作，当同时需要对多个变量进行原子操作时，无法实现

解决办法：从Java1.5开始JDK提供了AtomicReference类来保证引用对象之间的原子性，你可以把多个变量放在一个对象里来进行CAS操作。