CAS实现原理

概念

CAS , Compare And Swap ,顾名思义，比较并交换，整个AQS的同步组件、Atomic原子类操作等都是以CAS实现的。可以说CAS是整个JUC包的基石。

CAS

在CAS中有三个参数：内存值V，旧的预期值A、要更新的值B，当且仅当内存值V的值等于旧的预期值A时才会将内存值V的值修改为B，否则什么都不干。伪代码如下:

if(this.value == A){
    this.value = B;
    return true;
}else{
    return false;
}

JUC下的atomic类都是通过CAS来实现的，下面就以AtomicInteger为例来阐述CAS的实现。如下：

private static final Unsafe unsafe = Unsafe.getUnsafe();
private static final long valueOffset;

static {
    try {
        valueOffset = unsafe.objectFieldOffset
            (AtomicInteger.class.getDeclaredField("value"));
    } catch (Exception ex) { throw new Error(ex); }
}

private volatile int value;

Unsafe是CAS的核心类，Java无法直接访问底层操作系统，而是通过本地（native）方法来访问。不过尽管如此，JVM还是开了一个后门：Unsafe，它提供了硬件级别的原子操作。

内部调用unsafe的getAndAddInt方法，在getAndAddInt方法中主要是看compareAndSwapInt方法：

public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5);

该方法为本地方法，有四个参数，分别代表：对象、对象的地址、预期值、修改值

CAS缺陷

• 循环时间太长

如果CAS一直不成功，自旋持久过长，则会给CPU带来非常大的开销。在JUC中有些地方限制了CAS自旋的次数，例如：BlockingQueue的SynchronousQueue

• 只能保证一个共性变量原子操作

只能针对一个共性变量，如果是多个共性变量就只能使用锁了，当然把多个变量整成一个变量，也是可以用CAS

• ABA问题

如果一个值原来是A，变成了B，然后又变成了A，那么在CAS检查的时候会发现没有改变，但是实质上它已经发生了改变，这就是所谓的ABA问题

解决方案：加上版本号，即在每个变量都加上一个版本号，每次改变时加1，即A->B->A，变成1A->2B-3A

Java提供了AtomicStampedReference来解决。AtomicStampedReference通过包装[E,Integer]的元组来对对象标记版本戳stamp，从而避免ABA问题