JAVA面试题——CAS原理

比较并交换，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:2020

false 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缺点