深入理解CAS

一、问题引入

package com.jack.juc.cas;

/**
 * @Description
 * @Author zhenghao
 * @Date 2021/11/11 22:11
 **/

public class CasTest {

   private volatile static int sum = 0;

    public static void main(String[] args) {

        for (int i = 0; i < 10; i++) {

            new Thread() {
                public void run() {
                    for (int i1 = 0; i1 < 10000; i1++) {
                        sum++;
                    }
                }
            }.start();
        }

        try {
            Thread.sleep(3000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }

        System.out.println(sum);

    }
}

我们先来分析上面一段非常简单的代码，上面代码的内容就是10个线程，每个线程累加10000次，从表面的逻辑来看，我们的逾期结果是100000.但是我们运行发现肯定是小于这个值的，有些并发基础的同学都知道，这里就出现了并发问题。

这里需要注意的一点，虽然我们的sum变量使用了volatile来修饰，也是解决不了问题的，因为volatile只是解决了可见性问题，并且没有解决并发问题。所以，各位思考一下有哪些解决方案呢？

二、解决方案 

1、synchronized

2、ReentrantLock

3、AtomicInteger

这里需要我们思考一下，上面我们列举的这三种解决方案中，那种方案是性能最高的呢？如果我们对原子操作类的有所了解的话，肯定是第三种方案，而原子操作的底层就是采用的CAS操作。

三、什么是 CAS
        CAS（Compare And Swap，比较并交换），通常指的是这样一种原子操作：针对一个变量，首先比较它的内存值与某个期望值是否相同，如果相同，就给它赋一个新值。
CAS 的逻辑用伪代码描述如下：

if (value == expectedValue) {
    value = newValue;
}

以上伪代码描述了一个由比较和赋值两阶段组成的复合操作，CAS 可以看作是它们合并后的整体——一个不可分割的原子操作，并且其原子性是直接在硬件层面得到保障的。
CAS可以看做是乐观锁（对比数据库的悲观、乐观锁）的一种实现方式，Java原子类中的递增操作就通过CAS自旋实现的。
CAS是一种无锁算法，在不使用锁（没有线程被阻塞）的情况下实现多线程之间的变量同步。

四、执行过程