引言：更多相关请看 JAVA并发编程系列

概述

compareAndSet或者是compareAndSwap。 boolean compareAndSet(int expect, int update) expect期望值，update更新值，有且仅有期望值和内存中的值相等时，才会把内存中的值修改为更新值。
代码案例

class Test {
    public static void main(String[] args) {
        // 初始值为5
        AtomicInteger atomicInteger = new AtomicInteger(5);
        // true	 current：2019
        System.out.println(atomicInteger.compareAndSet(5, 2019) + "\t current：" + atomicInteger.get());
        // false	 current：2019
        System.out.println(atomicInteger.compareAndSet(5, 2019) + "\t current：" + atomicInteger.get());
    }
}

CAS底层原理：UnSafe

atomicInteger.getAndIncrement();

atomicInteger.getAndIncrement()方法的源代码:

这里的UnSafe是一个类

UnSafe类

1.UnSafe
是CAS的核心类，由于Java 方法无法直接访问底层。需要通过本地(native)方法来访问，UnSafe相当于一个后面,基于该类可以直接操作特额定的内存数据。UnSafe类在于sun.misc包中，其内部方法操作可以像C的指针一样直接操作内存，因为Java中CAS操作的助兴依赖于UNSafe类的方法。注意UnSafe类中所有的方法都是native修饰的，也就是说UnSafe类中的方法都是直接调用操作底层资源执行响应的任务。

2.变量ValueOffset，便是该变量在内存中的偏移地址，因为UnSafe就是根据内存偏移地址获取数据的。

3.变量value和volatile修饰，保证了多线程之间的可见性。

CAS详解

CAS的全称为Compare-And-Swap,它是一条CPU并发原语。它的功能是判断内存某个位置的值是否为预期值，如果是则更新为新的值，这个过程是原子的。CAS并发原语提现在Java语言中就是sun.misc.UnSafe类中的各个方法.调用UnSafe类中的CAS方法,JVM会帮实现CAS汇编指令.这是一种完全依赖于硬件功能,通过它实现了原子操作,再次强调,由于CAS是一种系统原语,原语属于操作系统用于范畴,是由若干条指令组成,用于完成某个功能的一个过程,并且原语的执行必须是连续的,在执行过程中不允许中断,也即是说CAS是一条原子指令,不会造成所谓的数据不一致的问题。

unSafe.getAndIncrement

var1 AtomicInteger对象本身
var2 该对象值的引用地址
var4 需要变动的数值
var5 是用过var1、var2找出内存中真实的值
用该对象当前的值与var5比较
如果相同,更新var5的值并且返回true
如果不同,继续取值然后比较,直到更新完成

假设线程A和线程B两个线程同时执行getAndAddInt操作(分别在不同的CPU上):
1.AtomicInteger里面的value原始值为3,即主内存中AtomicInteger的value为3,根据JMM模型,线程A和线程B各自持有一份值为3的value的副本分别到各自的工作内存。
2.线程A通过getIntVolatile(var1,var2) 拿到value值3,这是线程A被挂起。
3.线程B也通过getIntVolatile(var1,var2)拿到value值3,此时刚好线程B没有被挂起并执行compareAndSwapInt方法比较内存中的值也是3，成功修改内存的值为4，线程B打完收工，一切OK。
4.这是线程A恢复,执行compareAndSwapInt方法比较,发现自己手里的数值和内存中的数字4不一致,说明该值已经被其他线程抢先一步修改了,那A线程修改失败,只能重新来一遍了。
5.线程A重新获取value值,因为变量value是volatile修饰,所以其他线程对他的修改,线程A总是能够看到,线程A继续执行compareAndSwapInt方法进行比较替换,直到成功。

底层汇编

非计算机专业的，不要求懂，可以不听，需要汇编知识) Unsafe类中的 compareAndSwapInt,是一个本地方法，该方法的实现位于 unsafe. cpp中

先想办法拿到变量vaue在内存中的地址。通过Atomic::cmpxchg实现比较替换，其中参数x是即将更新的值，参数e是原内存的值。

简单版小总结

CAS (CompareAnd Swap)
比较当前工作内存中的值和主内存中的值，如果相同则执行规定操作。
否则继续比较直到主内存和工作内存中的值一致为止。
CAS应用
CAS有3个操作数，内存值∨，旧的预期值A,要修改的更新值B。当且仅当预期值A和内存值∨相同时，将内存值V修改为B,否则什么都不做。

CAS缺点

循环时间长开销很大

Unsafe类的getAndAddInt方法

可以看到getAndAddInt方法执行时，有个do while。如果CAS失败，会一直进行尝试。如果CAS长时间一直不成功，可能会给CPU带来很大的开销。

只能保证一个共享变量的原子性

只能保证一个共享变量的原子性，当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候就可以用锁来保证原子性。

引出来ABA问题

CAS算法实现一个重要前提需要取出内存中某时刻的数据并在当下时刻比较并替换，那么在这个时间差类会导致数据的变化。比如说一个线程one从内存位置v中取出值为5,这时候另一个线程two也从内存中取出值为5,并且线程two进行了一些操作将值变成了6,然后线程two又将V位置的数据重新变成5,这时候线程one进行CAS操作发现内存中仍然是5,然后线程one操作成功。尽管线程one的CAS操作成功，但是不代表这个过程就是没有问题的。

CAS比较并交换

概述