type
status
date
slug
summary
tags
category
icon
password
CAS大纲
首先，下图是本文的大纲，也就是说在看本文之前，你需要先了解本文到底是讲什么内容，有个整体大观，然后逐个细分到内容层次去讲解。
什么是CAS ?
CAS的全称是Compare-And-Swap，它是一条CPU并发原语。
正如它的名字一样，比较并交换，它是一种很重要的同步思想。如果主内存的值跟期望值一样，那么就进行修改，否则一直重试，直到一致为止。
而原语的执行必须是连续的，在执行过程中不允许被中断，也就是说CAS是一条CPU的原子指令，不会造成所谓的数据不一致性问题。
它的功能是判断内存某个位置的值是否为预期值，如果是则更改为新的值，这个过程是原子的。
我们来看一段代码：
你能猜到答案么？
是否自选并替换 true 更改之后的值为：10是否自选并替换 false 更改之后的值为：10
第一次修改，期望值为5，主内存也为5，修改成功，为10。
第二次修改，期望值为5，主内存为10，修改失败。
CAS原理
在翻了源码之后，大致可以总结出两个关键点：
- 自旋；
- unsafe类。
当点开compareAndSet方法后:
通过这个方法，我们可以找出AtomicInteger内部维护了volatile int value和private static final Unsafe unsafe两个比较重要的参数。（注意value是用volatile修饰）
还有变量private static final long valueOffset，表示该变量在内存中的偏移地址，因为Unsafe就是根据内存偏移地址获取数据的。
变量value用volatile修饰，保证了多线程之间的内存可见性。
然后我们通过compareAndSwapInt找到了unsafe类核心方法：
AtomicInteger.compareAndSwapInt()调用了Unsafe.compareAndSwapInt()方法。Unsafe类的大部分方法都是native的，用来像C语言一样从底层操作内存。
这个方法的var1和var2，就是根据对象和偏移量得到在主内存的快照值var5。然后compareAndSwapInt方法通过var1和var2得到当前主内存的实际值。如果这个实际值跟快照值相等，那么就更新主内存的值为var5+var4。如果不等，那么就一直循环，一直获取快照，一直对比，直到实际值和快照值相等为止。
比如有A、B两个线程
- 一开始都从主内存中拷贝了原值为3；
- A线程执行到var5=this.getIntVolatile，即var5=3。此时A线程挂起；
- B修改原值为4，B线程执行完毕，由于加了volatile，所以这个修改是立即可见的；
- A线程被唤醒，执行this.compareAndSwapInt()方法，发现这个时候主内存的值不等于快照值3，所以继续循环，重新从主内存获取。
- 线程A重新获取value值，因为变量value被volatile修饰，所以其他线程对它的修改，线程A总是能够看到，线程A继续执行compareAndSwapInt进行比较替换，直至成功。
ABA问题
所谓ABA问题，其实用最通俗易懂的话语来总结就是狸猫换太子
就是比较并交换的循环，存在一个时间差，而这个时间差可能带来意想不到的问题。
比如有两个线程A、B：
- 一开始都从主内存中拷贝了原值为3；
- A线程执行到var5=this.getIntVolatile，即var5=3。此时A线程挂起；
- B修改原值为4，B线程执行完毕;
- 然后B觉得修改错了，然后再重新把值修改为3；
- A线程被唤醒，执行this.compareAndSwapInt()方法，发现这个时候主内存的值等于快照值3，（但是却不知道B曾经修改过），修改成功。
尽管线程A CAS操作成功，但不代表就没有问题。有的需求，比如CAS，只注重头和尾，只要首尾一致就接受。但是有的需求，还看重过程，中间不能发生任何修改。这就引出了AtomicReference原子引用。
AtomicReference原子引用
AtomicInteger对整数进行原子操作，如果是一个POJO呢？可以用AtomicReference来包装这个POJO，使其操作原子化。
本质是比较的是两个对象的地址是否相等。
AtomicStampedReference和ABA问题的解决
使用AtomicStampedReference类可以解决ABA问题。这个类维护了一个“版本号”Stamp，其实有点类似乐观锁的意思。
在进行CAS操作的时候，不仅要比较当前值，还要比较版本号。只有两者都相等，才执行更新操作。
CAS总结
任何技术都不是完美的，当然，CAS也有他的缺点：
CAS实际上是一种自旋锁，
- 一直循环，开销比较大。
- 只能保证一个变量的原子操作，多个变量依然要加锁。
- 引出了ABA问题（AtomicStampedReference可解决）。
而他的使用场景适合在一些并发量不高、线程竞争较少的情况，加锁太重。但是一旦线程冲突严重的情况下，循环时间太长，为给CPU带来很大的开销。
- Author:NotionNext
- URL:https://tangly1024.com/article/8eef8c22-1922-417b-bc6a-33a725fef4ee
- Copyright:All articles in this blog, except for special statements, adopt BY-NC-SA agreement. Please indicate the source!