比较并交换，CPU 并发原语。功能是判断内存某个位置的值是否为预期值，如果是则改为新的值，这个过程是原子的。

在 JMM 模型中可以知道每个线程都会将主内存中的数据拷贝到自己内存中进行运算，而 CAS 则是比较当前工作内存中的值与主内存中的值，如果相同则执行规定操作，否则继续比较直到主内存和工作内存中的值一致为止。

我们先来看一个 Demo：

public class CASDemo1 {    public static void main(String[] args) {        AtomicInteger atomicInteger = new AtomicInteger(6);        System.out.println(atomicInteger.compareAndSet(6, 2020)+"	 value:"+atomicInteger.get());        System.out.println(atomicInteger.compareAndSet(6, 1111)+"	 value:"+atomicInteger.get());    }}//结果如下：true	 value:2020false	 value:2020

CAS 底层原理

核心是 Unsafe 类（在 jdk 中 rt.jar 中的 sun.misc 下的 Unsafe 类），由于 Java 方法无法直接访问底层系统，需要通过本地（native）方法来访问，Unsafe 相当于一个后门，基于该类可以直接操作特定内存的数据。换句话说就是 CAS 其实是直接操作的地址中的内容。

CAS 并发原语体现在 JAVA 语言中就是 sun.misc.Unsafe 类中的各个方法。调用 UnSafe 类中的 CAS 方法，JVM 会帮我们实现出 CAS 汇编指令。这是一种完全依赖于硬件的功能，通过它实现了原子操作。再次强调，由于 CAS 是一种系统原语，原语属于操作系统用语范畴，是由若干条指令组成的，用于完成某个功能的一个过程，并且原语的执行必须是连续的，在执行过程中不允许被打断，也就是说 CAS 是一条 CPU 的原子指令，不会造成所谓的数据不一致问题。

总结：

· java 的 cas 利用的的是 unsafe 这个类提供的 cas 操作。

· unsafe 的 cas 依赖了的是 jvm 针对不同的操作系统实现的 Atomic::cmpxchg

· Atomic::cmpxchg 的实现使用了汇编的 cas 操作，并使用 cpu 硬件提供的 lock 信号保证其原子性

CAS 缺点

1、循环时间长，开销很大（do…while）;

2、只能保证一个共享变量的原子操作;

3、会导致 ABA 问题。

讲一讲 AtomicInteger，为什么要用 CAS 而不是 synchronized？

同一时间段只有一个线程可以进行访问，保证了线程安全，但是并发量下降。

可以反复通过 CAS 进行比较，没有加锁，既保证了一致性，又提高了并发量。

ABA 问题

CAS 算法实现一个重要前提需要取出内存中某时刻的数据并在当下时刻比较并替换，那么这个时间差类会导致数据的变化。

线程 1 从内存中位置 V 中取出 A，这时候线程 2 也从内存中取出 A，改为 B，再改为 A，这时候线程 1 进行 CAS 操作发现仍为 A，并进行 CAS 操作。

尽管线程 1 的 CAS 操作成功，但不是代表这个过程是没有问题的。

解决：

atomicStampedReference，在原来基础上加一个版本号