Java CAS底层原理

Java CAS底层原理，这一篇就够了！！！

CAS全称（Conmpare And Swap）比较并交换，是一种用于在多线程环境下实现同步功能的机制。CAS 操作包含三个操作数 – 内存地址、预期值和新值。CAS 的实现逻辑是将内存地址的数值与预期数值想比较，若相等，则将内存位置处的值替换为新值。若不相等，则不做任何操作。

JAVA中CAS是通过自旋操作完成赋值，若值不相等再更新预期值、重新计算新值，接着进行CAS操作，直到成功为止。底层是JVM调用操作系统原语指令unsafe，并由CPU完成原子操作，你要知道并发/多线程环境下如果CPU没有原子操作我们是无法完成。

JAVA1.5开始引入了CAS，主要代码都放在JUC的atomic包下，如下图：
JUC包下源码如下：
每一个操作都是调用unsafe方法实现结果。这是java自旋完成CAS源码：

CAS优点

没有引用锁的概念，并发量不高情况下提高效率
减少线程上下文切换

CAS缺点

cpu开销大，在高并发下，许多线程，更新一变量，多次更新不成功，循环反复，给cpu带来大量压力。
只是一个变量的原子性操作，不能保证代码块的原子性。
ABA问题

ABA问题

CAS带来最大问题就是ABA问题。有A、B两个线程，A线程运行10s，B线程运行2s，两个线程同一时间开始运行都修改同一变量m，假设m初始值为5，B线程修改m值5改为10，再修改m值10改为5。此时A线程修改m值5改为6，修改成功，满足CAS操作原理，而A线程认为m一直都是5，它并不知道m的值已经被修改过。

解决该问题通过添加版本号来解决，每次修改都带着本次修改的版本号，发现版本不是当前版本此修改失败，否则修改成功。如果自旋同理重新获得版本号计算旧值、新值等。

public class ABA {//ABA问题产生与解决static AtomicReference<Integer> atomicReference = new AtomicReference<>(100);static AtomicStampedReference<Integer> atomicStampedReference = new AtomicStampedReference<>(100, 1);public static void main(String[] args) {//==========ABA问题的产生==========System.out.println("==========ABA问题的产生==========");new Thread(() -> {atomicReference.compareAndSet(100, 101);atomicReference.compareAndSet(101, 100);}, "t1").start();new Thread(() -> {//保证t1线程完成try {Thread.sleep(1000);} catch (InterruptedException e) {e.printStackTrace();}System.out.println(atomicReference.compareAndSet(100, 2019) + "\t" + atomicReference.get());}, "t2").start();//暂停一会try {Thread.sleep(2000);} catch (InterruptedException e) {e.printStackTrace();}//==========ABA问题的解决==========System.out.println("==========ABA问题的解决==========");new Thread(() -> {int stamp = atomicStampedReference.getStamp();System.out.println(Thread.currentThread().getName() + "\t第一次版本号：" + stamp);try {Thread.sleep(1000);} catch (InterruptedException e) {e.printStackTrace();}atomicStampedReference.compareAndSet(100, 101, stamp, stamp + 1);System.out.println(Thread.currentThread().getName() + "\t第二次版本号：" + atomicStampedReference.getStamp());atomicStampedReference.compareAndSet(101, 100, atomicStampedReference.getStamp(), atomicStampedReference.getStamp() + 1);System.out.println(Thread.currentThread().getName() + "\t第三次版本号：" + atomicStampedReference.getStamp());}, "t3").start();new Thread(() -> {int stamp = atomicStampedReference.getStamp();System.out.println(Thread.currentThread().getName() + "\t第一次版本号：" + stamp);try {Thread.sleep(2000);} catch (InterruptedException e) {e.printStackTrace();}boolean result = atomicStampedReference.compareAndSet(100, 101, stamp, stamp + 1);System.out.println(Thread.currentThread().getName() + "\t修改成功否" + result + "\t当前最前版本号：" + atomicStampedReference.getStamp());System.out.println(Thread.currentThread().getName() + "\t当前实际值：" + atomicStampedReference.getReference());}, "t4").start();}
}

运行结果：