java并发（五）CAS

原子变量JDK5后 java.util.concurrent.atomic包下提供了常用的原子变量。
（1）volatile 保证内存可见性
（2）CAS算法 保证数据的原子性
CAS 是一种系统原语，原语的执行必须是连续的，并且在执行过程中不允许被断

CAS

CAS的全称是Compare-And-Swap，翻译成对比交换。
功能：判断内存某个位置的值是否等于预期值，如果等于则更改，不等于不做任何操作
内存值V 估计值A 更新值B
当且仅当V == A时，V==B
代码解释：

public class CASDemo {
    public static void main(String[] args) {
        // 创建一个原子类
        AtomicInteger atomicInteger = new AtomicInteger(5);

        /**
         * 一个是期望值，一个是更新值，但期望值和原来的值相同时，才能够更改
         * 假设三秒前，我拿的是5，也就是expect为5，然后我需要更新成 2019
         */
        System.out.println(atomicInteger.compareAndSet(5, 2019) + "\t current data: " + atomicInteger.get());

        System.out.println(atomicInteger.compareAndSet(5, 1024) + "\t current data: " + atomicInteger.get());
    }
}

执行结果

CAS底层原理

Unsafe是CAS的核心类，由于Java方法无法直接访问底层系统，需要通过本地方法来访问，Unsafe相当于一个后门，基于该类可以直接操作特定的内存数据。
CAS操作执行依赖于Unsafe类的方法

为什么Atomic修饰的包装类，能保证原子性?
依靠的是底层的unsafe类,unsafe类的所有方法都是native修饰的，可以直接调用操作系统底层资源执行相应的任务。

Unsafe类的getAndInt方法底层源码

var5：就是我们从主内存中拷贝到工作内存中的值(每次都要从主内存拿到最新的值到自己的本地内存，然后执行compareAndSwapInt()在再和主内存的值进行比较。因为线程不可以直接越过高速缓存，直接操作主内存，所以执行上述方法需要比较一次，在执行加1操作)
那么操作的时候，需要比较工作内存中的值，和主内存中的值进行比较
假设执行 compareAndSwapInt返回false，那么就一直执行 while方法，直到期望的值和真实值一样
val1：AtomicInteger对象本身
var2：该对象值得引用地址
var4：需要变动的数量
var5：用var1和var2找到的内存中的真实值
用该对象当前的值与var5比较
如果相同，更新var5 + var4 并返回true
如果不同，继续取值然后再比较，直到更新完成

Unsafe类 + CAS思想： 自旋，自我旋转

CAS缺点

• 循环时间长，开销大（因为执行的是do while，如果比较不成功一直在循环，如果某个线程内存中的值和期望的值不相等，就会一直循环）
• 只能保证一个共享变量的原子操作
  当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候就可以用锁。
  解决办法，把多个共享变量合并成一个共享变量来操作。

CAS出现的ABA问题

问题描述： 如果一个值原来是A，变成了B，又变成了A，那么使用CAS进行检查时则会发现它的值没有发生变化，但是实际上却变化了
ABA问题的解决思路就是使用版本号，在变量前面追加上版本号，每次变量更新的时候把版本号加1，那么A->B->A就会变成1A->2B->3A。
参考博客：
https://blog.csdn.net/weixin_44630656/article/details/115361928