CAS个人理解

以下主要以AtomicInteger类中的方法描述CAS。

1、CAS是什么

1）CAS即比较并交换，功能就是判断内存某个位置是否为预期值，如果是则更改为新值，这个过程是原子的。简单说CAS有3个操作数，内存值V，旧的预期值A，需要修改的更新值B，当且仅当预期值A和内存值V相同时，将内存值V修改为B，否则什么都不做。
2）AtomicInteger里面的compareAndSet，getAndIncrement等底层也是CAS。

2、CAS底层

简单说就是两个：UnSafe、自旋锁。
1）UnSafe
是CAS的核心类，UnSafe提供几乎都是native方法，Java无法直接访问底层系统，需要通过本地（native）方法来访问，CAS操作涉及到硬件操作，所以就需要UnSafe类中的方法。
以getAndIncrement方法为例

public final int getAndIncrement() {
    return unsafe.getAndAddInt(this, valueOffset, 1);
}

• this表示当前对象
• 变量valueOffset，表示该变量在内存中的偏移地址，UnSafe根据内存偏移地址获取数据。

---

public final int getAndAddInt(Object var1, long var2, int var4) {
    int var5;
    do {
        var5 = this.getIntVolatile(var1, var2);
    } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));

    return var5;
}

• var1：AtomicInteger对象本身
• var2：该对象值的引用地址
• var4：需要变动的数量
• var5：使用过var1、var2找出的主内存中真实的值

用当前对象的值与var5比较，如果相同，更新var5 + var4并且返回ture，如果不同，继续while循环，继续取值然后在再比较，直到更新完成。

3、CAS缺点

1）循环时间长开销很大，底层是do while循环，自旋。
2）只能保证一个共享变量的原子操作，当多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候可以用锁来保证原子性。
3）ABA问题
比如说一个线程one从内存位置V取出A，这个时候另一个线程two也从内存中取出A，并且进行了一些操作将值变成了B，然后线程two又将位置的数据变成A，这时候线程one进行CAS操作发现内存中仍然是A，然后线程操作成功。尽管线程A操作成功，但是不代表这个过程是没有问题的。
可用时间戳或者版本解决，例如JUC里面的AtomicStampedReference