CAS机制深究-Compare and Swap

1.前提条件

在了解CAS机制之前，我们先要对Unsafe类的熟悉；原因是CAS需要拿到内存地址对应的值进行比较。Unsafe类使Java拥有了像C语言的指针一样操作内存空间的能力，一旦能够直接操作内存，这也就意味着

（1）不受jvm管理，也就意味着无法被GC，需要我们手动GC，稍有不慎就会出现内存泄漏。

（2）Unsafe的不少方法中必须提供原始地址(内存地址)和被替换对象的地址，偏移量要自己计算，一旦出现问题就是JVM崩溃级别的异常，会导致整个JVM实例崩溃，表现为应用程序直接crash掉。

（3）直接操作内存，也意味着其速度更快，在高并发的条件之下能够很好地提高效率。

Unsafe详情具体内容：请点击Unsafe源码深究

2.基础部分

CAS机制中使用了3个基本操作数：内存地址V，旧的预期值A，要修改的新值B。意思是：更新一个变量的时候，只有当变量的预期值A和内存地址V当中的实际值相同时，才会将内存地址V对应的值修改为B。如果不相等，那么就重复上述操作直到成功为止。

举个例子

1. 在内存地址V当中，存储着值为10的变量。

2. 此时线程1想把变量的值增加1.对线程1来说，旧的预期值A=10，要修改的新值B=11.

3. 在线程1要提交更新之前，另一个线程2抢先一步，把内存地址V中的变量值率先更新成了11。

4. 线程1开始提交更新，首先进行A和地址V的实际值比较，发现A不等于V的实际值，提交失败。

5. 线程1 重新获取内存地址V的当前值，并重新计算想要修改的值。此时对线程1来说，A=11，B=12。这个重新尝试的过程被称为自旋。

6. 这一次比较幸运，没有其他线程改变地址V的值。线程1进行比较，发现A和地址V的实际值是相等的。

7. 线程1进行交换，把地址V的值替换为B，也就是12

 

3.CAS的缺点

1.CPU开销过大: 在并发量比较高的情况下，如果许多线程反复尝试更新某一个变量，却又一直更新不成功，循环往复，会给CPU带来很到的压力。

2.不能保证代码块的原子性: CAS机制所保证的知识一个变量的原子性操作，而不能保证整个代码块的原子性。比如需要保证3个变量共同进行原子性的更新，就不得不使用synchronized了。

3.ABA问题: 这是CAS机制最大的问题所在。

4.CAS的问题

1.ABA问题

问题描述：如果一个变量初次读取的时候是 A 值，它的值被改成了 B，后来又被改回为 A，那 CAS 操作就会误认为它从来没有被改变过。例如：一个小偷，把别人家的钱偷了之后又还了回来，还是原来的钱吗？ABA问题也一样，如果不好好解决就会带来大量的问题。最常见的就是资金问题，也就是别人如果挪用了你的钱，在你发现之前又还了回来。但是别人却已经触犯了法律。

问题解决：

1.互斥同步锁synchronized

2.如果项目只在乎数值是否正确， 那么ABA 问题不会影响程序并发的正确性。

3.J.U.C 包提供了一个带有时间戳的原子引用类 AtomicStampedReference 来解决该问题，它通过控制变量的版本来保证 CAS 的正确性。

代码实战

package lzy.thread.solveCAS;

import lzy.thread.base.ThreadPoolManager;

import java.util.concurrent.TimeUnit;
import java.util.concurrent.atomic.AtomicStampedReference;

import static sun.misc.PostVMInitHook.run;

/**
 * @program: demo
 * @description:
 * @author: lzy
 * @create: 2021-01-19 14:12
 */
public class SolveCAS {
    /**
     *  版本号
     */
    private static Integer version = 1;
    /**
     *  初始共享资源
     */
    private static Integer initNum = 1;

    private static AtomicStampedReference atomicStampedReference = new AtomicStampedReference(initNum, version);

    public static void own(String name){
        // 查余额
        int stamp = atomicStampedReference.getStamp();
        System.out.println(name +"：查询银卡余额为："+atomicStampedReference.getReference() + ", 余额的修改时间是：" + stamp);
        // 休眠5s,确保t2执行完ABA操作
        try {
            System.out.println(name + "：突然有人在ATM机门口喊我，我去去就回来。。。。");
            TimeUnit.SECONDS.sleep(5);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        // t2将时间戳改为了3,cas失败
        boolean b = atomicStampedReference.compareAndSet(1, 10, stamp, stamp + 1);
        System.out.println(name +"：回来AMT机，按下取钱按钮");
        if (b){
            System.out.println(Thread.currentThread().getName()+" 当前最新时间戳："+atomicStampedReference.getStamp()+" 最新值为："+atomicStampedReference.getReference());
        }else{
            System.out.println("ATM机：当前页面异常时，请重新刷新。");
            System.out.println(name +"：查询银卡余额为："+atomicStampedReference.getReference() + ", 余额的修改时间是：" + atomicStampedReference.getStamp());
            System.out.println(name + "：啊，有人修改过金额了，还好钱还在");
        }

    }

    public static void thief(String name){
        // 第一次拿到的时间戳
        int stamp = atomicStampedReference.getStamp();
        System.out.println(name +" :居然有人把卡插在ATM机上，得看看才行；查询银卡余额为："+atomicStampedReference.getReference() + ", 余额的修改时间是：" + stamp);
        // 休眠，修改前确保t1也拿到同样的副本，初始值为1
        try {
            System.out.println(name +" :连忙按下全部取款, 银行ATM机正在处理中。。。");
            TimeUnit.SECONDS.sleep(1);
            atomicStampedReference.compareAndSet(1, 0, stamp, stamp + 1);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(name + " :开心，银行ATM机已吐钱，剩余金额为："+atomicStampedReference.getReference()+" 余额的修改时间是："+ atomicStampedReference.getStamp());
        System.out.println(name + ":钱也太少了吧，算了，还是存回去吧！");
        atomicStampedReference.compareAndSet(0, 1, atomicStampedReference.getStamp(), atomicStampedReference.getStamp() + 1);
        System.out.println("ATM机正在处理。。。。");
        System.out.println(name +" :查询银卡余额为："+atomicStampedReference.getReference() + ", 余额的修改时间是：" + atomicStampedReference.getStamp());
        System.out.println(name + ":钱给回去了，穷鬼要回来了，赶紧跑路。");
    }

    public static void main(String[] args) {
        new Thread(() -> {
            own("老婆");
        }).start();
        new Thread(() -> {
            thief("小偷");
        }).start();
    }
}

5.面试常见考题