CAS

1. CAS是什么？

CAS的两句话概括：

• 1.如果线程的期望值跟物理内存的真实值一样，就更新值到物理内存当中，并返回true。
• 2.如果线程的期望值跟物理内存的真实值不一样，返回是false，那么本次修改失败，那么此时需要重新获得主物理内存的新值。

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

2. CAS底层源码

2.1 atomicInteger.getAndIncrement();

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

/**
 * Atomically increments by one the current value.
 *
 * @return the previous value
 */
public final int getAndIncrement() {
    return unsafe.getAndAddInt(this, valueOffset, 1);
}

引出来一个问题：Unsafe类是什么？

2.2 Unsafe类是什么？

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

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

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

2.3 CAS是什么？

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

两个图中：1、2、3是一一对应的。

2.4 CAS的缺点

• 多次比较循环时间长开销很大
  
• 只能保证一个共享变量的原子性
  
• 引出来了ABA问题

总结