深入理解CAS机制

深入理解CAS机制

定义与原理

​ CAS：比较并交换（CompareAndSet）,它将指定内存位置的值与给定值进行比较，如果两个值相等，就将内存位置的值改为给定值，如果不是就一直循环。CAS涉及3个元素：内存地址，期盼值和目标值。只有内存地址对应的值和期望的值相同时，才把内存地址对应的值修改为目标值。

CAS在JAVA中的底层实现(Atomic原子类实现)

1. Unsafe类。Unsafe类是CAS的核心类，由JDK自动加载，它的方法都是native方法。
   因为Java无法像C/C++一样直接使用底层指针操作对象内存，Unsafe类的作用就是专门解决这个问题，它可以直接操作对象在内存中的地址。

   AtomicReference类的部分源代码如下：

   

   具体步骤是

   1. 首先获取当前Atomic对象的value在内存中真实的偏移地址，再根据这个偏移地址
      获取value的真实值。
   2. 然后再重复这个步骤，把两次获取到的值进行比较。
   3. 如果比较成功，则继续操作，否则继续循环比较。
   4. 而获取value在内存中真实的偏移地址和比较设置值方法都是native的。

2. volatile。Atomic原子类内部的value值是volatile修饰的，这就保证了value的可见性。

缺点

1. 循环时间开销大。如果预期的值和当前值比较不成功,那么CAS会一直进行循环。如果长时间比较不成功就会一直循环，导致CPU开销过大。

2. 只能保证一个共享变量的原子操作。在获取内存地址和设置值的时候都是当前Atomic对象的volatile值，如果要保证多个共享变量，那么可以通过加锁来保证线程安全和原子性。

3. ABA问题。尽管一个线程CAS操作成功,但并不代表这个过程就是没有问题的。假设2个线程读取了主内存中的共享变量，如果一个线程对主内存中的值进行了修改后，又把新值改回了原来的值，而此时另一个线程进行CAS操作发现原值和期盼的值是一样的，就顺利的进行了CAS操作。这就是CAS引发的ABA问题。

CAS出现ABA问题示例代码

定义一个共享变量，开启两条线程同时对其进行修改

public class CASDemo {
   
    public static void main(String[] args) {
   

        //创建一个线程池
        ExecutorService threadExecutor = new ThreadPoolExecutor(
                2, //线程池核心线程数为2
                Runtime.getRuntime().availableProcessors(), //最大核心数
                3, //阻塞等待时间，当前为3秒
                TimeUnit.SECONDS, //阻塞等待时间单位
                new LinkedBlockingQueue<>(3), //阻塞队列，当核心线程使用完时，后面的线程进入阻塞队列等待
                Executors.defaultThreadFactory(), //创建工作线程的工厂
                new ThreadPoolExecutor.DiscardPolicy() //工作队列和最大工作线程满时的拒绝策略，当前策略拒绝新任务，但是不会抛出异常
        );
        /**
         * 在内存中定义一个共享变量，初始值为20
         */
        AtomicReference<Integer> atomicReference = new AtomicReference<>(20);
        //开启两条线程操作这个变量
        threadExecutor.execute(()->{
   
            System.out.println("线程"+Thread.currentThread().getName()+"：执行20=>22");
            if (atomicReference.compareAndSet(20, 22)) {
   
                System.out.println("修改成功");
            } else {
   
                System.out.