谈一谈CAS
CAS(Compare And Swap)即比较并交换
public class CASDemo {
public static void main(String[] args) {
AtomicInteger atomicInteger = new AtomicInteger(5);
// true, 2020
System.out.println(atomicInteger.compareAndSet(5, 2020) + ", " + atomicInteger.get());
// false, 2020
System.out.println(atomicInteger.compareAndSet(5, 2021) + ", " + atomicInteger.get());
}
}
CAS底层原理
Unsafe是CAS的核心类,基于Unsafe可以操作指定内存的数据(java自身是没办法操作指定内存数据的)
Unsafe类中的所有方法都是native修饰的,即Unsafe类中的方法大多都可以直接调用操作系统的底层资源
Unsafe类 + CAS的思想 比较直到一致并交换 - “自旋锁”
比较当前工作内存的值和主内存的值,如果相同,则执行规定操作,否则继续比较,直到主内存值与工作内存的值相同(do…while)
CAS的缺点
- 1.循环时间长,开销大
- 2.只能保证一个共享变量的原子操作
- 3.引出ABA问题
CAS —> Unsafe —> CAS底层思想 —> ABA —> 原子引用更新 —> 如何规避ABA问题
什么是ABA问题?
“狸猫换太子”,A - B - A,最终还是A,表面上A - A没变化,但是之间动过手脚(变过B)
原子引用
Atomic不止仅限于Integer等,可以拓展到自定义类
AtomicReference<V> // V是自定义类
如何解决ABA问题?
提交版本号
AtomicInteger为什么使用CAS而不用synchronized?