CAS底层原理

​CAS（Compare-And-Swap），它是CPU的并发原语。原语属于操作系统的范畴，是由若干条指令组成，用于完成某个功能的一个过程。原语的执行必须是连续的，在执行过程中不允许被中断。也就是说CAS不会造成数据不一致的问题，CAS是线程安全的。

 

CAS的作用是比较当前工作内存中的值和主物理内存中的值，如果相同则更新为我们规定的值，否则继续比较直到工作内存和主物理内存的值一致。我们通常称它为：比较并交换

 

CAS中有两个参数，第一个是预期值，第二个是更改后的值。

 

代码示例：

public class CASDemo {
    public static void main(String[] args) {
        AtomicInteger atomicInteger = new AtomicInteger(5);
        System.out.println(atomicInteger.compareAndSet(5, 2019)+"\t current data:"+atomicInteger.get());
        System.out.println(atomicInteger.compareAndSet(5, 2014)+"\t current data:"+atomicInteger.get());
    }
}

 

运行结果：

 

CAS底层原理：

这里说一下Atomic，它是一个包装类，可以保证原子性

在AtomicInteger中有一个方法：getAndIncrement(),我们先看一下这个方法的源码：

我们可以看到，底层调用了一个unsafe类的getAndAddInt方法

getAndAddInt()方法有三个参数：this是当前对象，valueOffset是内存偏移量，也就是内存地址。通过内存地址获取到值，然后进行+1的操作。

 

unsafe是CAS的核心类，由于java需要通过本地(Native)方法才能访问底层系统，unsafe就是这个后门，通过unsafe可以直接操作特定的内存数据。

 

unsafe类存在于sun.misc包中，其内部方法操作可以像C的指针一样直接操作内存。

 

unsafe类的所有方法都是native修饰的，也就是说unsafe类中的方法都直接调用操作系统底层资源执行相应的任务。

 

Atomic能够保证原子性，依靠的就是底层的unsafe类。

 

我们再来看一下getAndAddInt()的源码：

var5：从主内存中拷贝到工作内存中的值

 

我们主要说一下while()里面的compareAndSwapInt方法：

var1：AtomicInteger对象本身

var2：对象值的引用地址

var4：变动的数量

var5：用当前对象的值和var5进行比较，如果相同，更新为var5+var4并返回true，如果不同，继续取值比较，直到更新完成。

 

unsafe类+CAS的底层思想：自旋

 

CAS的缺点：

• 循环时间长，开销大(do{}while()可能无限循环)

• 只能保证一个共享变量的原子操作，如果是多个共享变量的话，就需要加锁来保证原子性。

• 会引出ABA问题