111
面试:CAS — UnSafe — CAS底层原理 — ABA —原子引用更新 — 如何规避ABA问题
CAS
比较并交换
CAS 是什么? 比较并交换
AtomicInteger atomicInteger = new AtomicInteger(5);
System.out.println(atomicInteger.compareAndSet(5, 2019) + " value: " + atomicInteger.get());
System.out.println(atomicInteger.compareAndSet(5, 2022) + " value: " + atomicInteger.get());
代码分析:
compareAndSet()方法,如果线程期望值 与 物理内存值 相等 ,则进行修改
这样,在理解 使用incrementAndGet()方法,就深刻多了
CAS底层原理?如果知道,谈谈对UnSafe的理解
atomicInteger.getAndIncrement()
UnSafe
-
Unsafe
是CAS的核心类,由于Java方法无法直接访问底层系统,需要通过本地(native)方法来访问,Unsafe相当于一个后门,基于该类可以直接访问特定内存数据。Unsafe类存在于sun.misc包中,其内部方法操作可以像C的指针一样直接操作内存,因为Java中CAS操作的执行依赖与Unsafe类的方法
注意: Unsafe类中的所有方法都是native修饰的,也就是说Unsafe类中的方法都是直接调用操作系统底层资源执行相应任务 -
变量valueOffset,表示该变量值在内存中的偏移地址,因为Unsafe就是根据内存偏移地址获取数据的
public final int getAndIncrement(){
return unsafe.getAndAddInt(this,valueSet,1)
} -
变量value用volatile修饰,保证了多线程之间的内存可见性
CAS 是什么
CAS 全称Compare-And-Swap,它是一条CPU并发原语
他的功能是判断内存某个位置的值是否为预期值,如果是则更改为新的值,这个过程是原子的
CAS并发原语体现在JAVA语言中的就是sun.misc.Unsafe类中的各个方法。再次强调,由于CAS是一种系统原语,原语属于操作系统用于范畴,是由若干条指令组成的,用于完成某个功能的一个过程,并且原语的执行必须是连续的,在执行过程中不允许被中断,也就是说CAS是一条CPU原子指令,不会造成所谓的数据不一致问题
CAS 缺点
- 循环时间长开销大
- 只能保证一个共享变量的原子操作
- 引出ABA问题?
ABA问题
什么是ABA?
CAS会导致ABA问题?
CAS算法实现了一个重要前提需要取出内存中某时刻的数据并在当下时刻比较并替换,那么这个时间差类会导致数据的变化
比如说一个线程one从内存为V中取出A,这个时候另一个线程two也从内存中取出A,并且线程two进行了一些操作将值变成了B,然后线程two又将V位置的数据变成A,这个时候线程one进行CAS操作发现内存中仍然是A,然后线程one操作成功
尽管线程one的CAS操作成功,但是不代表这个过程是没有问题的
原子引用 AtomicReference
ABA问题规避
使用 AtomicStampedReference 类,定义版本号