java中CAS的实现原理

什么是CAS

CAS全称compare and swap 或 compare and set 或 compare and exchange，也就是比较并交换。

比较并交换是什么意思呢?java中有一些类是以Atomic开头的，例：AtomicInteger；这些类就是通过CAS的方式来保证线程安全的。
new AtomicInteger().incrementAndGet()

public final int incrementAndGet() {
    return U.getAndAddInt(this, VALUE, 1) + 1;
}

incrementAndGet()又调用了getAndAddInt方法

@HotSpotIntrinsicCandidate
public final int getAndAddInt(Object o, long offset, int delta) {
    int v;
    do {
        v = getIntVolatile(o, offset);
    } while (!weakCompareAndSetInt(o, offset, v, v + delta));
    return v;
}

可见getAndAddInt方法进行了CAS操作，利用死循环不断尝试修改基于对象o、偏移offset的变量。用一段伪代码来表示：

cas(需要修改的值, 期望修改前的值, 修改后的值) {
    if (需要修改的值 == 期望修改前的值){
        需要修改的值 = 修改后的值;
    }
}

CAS会出现问题

CAS会出现两个问题，第一个就是ABA问题，第二个就是if里的比较操作和之后的赋值操作怎么保证是原子操作

ABA问题

什么是ABA问题?

假如需要修改的值原来是1，想要把它改成2，一个线程拿到1想要修改，需要先进行判段，有可能这个1已经被第二个线程改成了3，第三个线程又给它改回了1，也就是此1非彼1。

ABA问题的解决方案

如果需要修改的值是基本数据类型，不需要处理，因为第一个线程的1和第三个线程的1没有区别
如果需要修改的值是引用数据类型，可以增加一个版本号，每次修改都去增加版本号

原子操作问题

@HotSpotIntrinsicCandidate
public final boolean weakCompareAndSetInt(Object o, long offset,
                                          int expected,
                                          int x) {
    return compareAndSetInt(o, offset, expected, x);
}

@HotSpotIntrinsicCandidate
public final native boolean compareAndSetInt(Object o, long offset,
                                             int expected,
                                             int x);

CAS是有JVM来实现的，JVM是怎么实现的呢?
JVM底层是使用了lock cmpzchg 指令，cmpzchg虽然本身并非原子操作，通过lock去锁指令，就是原子操作了