CAS(比较并交换)

• 案例

/**
 * 1.什么是CAS ? ===> compareAndSet
 *  比较并交换
 **/
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()
        );
        System.out.println(
            atomicInteger.compareAndSet(5, 2014)+"\t current"+atomicInteger.get()
        );
    }
}

• CAS底层原理
  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类是什么?

• UnSafe

1.UnSafe
是CAS的核心类 由于Java 方法无法直接访问底层 ,需要通过本地(native)方法来访问,UnSafe相当于一个后面,基于该类可以直接操作特额定的内存数据.UnSafe类在于sun.misc包中,其内部方法操作可以向C的指针一样直接操作内存,因为Java中CAS操作的助兴依赖于UNSafe类的方法.
注意UnSafe类中所有的方法都是native修饰的,也就是说UnSafe类中的方法都是直接调用操作底层资源执行响应的任务
2.变量ValueOffset,便是该变量在内存中的偏移地址,因为UnSafe就是根据内存偏移地址获取数据的
3.变量value和volatile修饰,保证了多线程之间的可见性.

• 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 方法进行比较替换,直到成功.

• 底层汇编
  

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