Java多线程必须了解的CAS

CAS（Compare-And-Swap）是一种硬件对并发的支持，针对多处理器操作而设计的，处理器中的一种特殊指令，用于管理对共享数据的并发访问。

CAS是一种无锁的非阻塞算法实现。是硬件对于并发操作的支持，保证了数据变量的原子性。

Cas包含了3个操作数：

内存值 V
预估值 A
更新值 B

当且仅当 V == A 时， V = B; 否则，不会执行任何操作。

简单的来说，CAS有3个操作数，要读写的内存值V，旧的预期值A，要修改的新值B。当且仅当预期值A和内存值V相同时，将内存值V修改为B，否则返回V。这是一种乐观锁的思路，它相信在它修改之前，没有其它线程去修改它。

所以，CAS最大的特点就是他能保证数据变量的原子性，
而java多线程同步机制必须满足的三个要求就是
1.可见性 2.防止重排列 3,原子性
volatile保证了前两条而CAS算法满足了原子性，他们的组合就能构建轻量级的多线程非阻塞式同步机制，因为是轻量级，所以只能完成一些简单的操作，JDK中JUC并发包下对CAS和volatile组合的轻量级同步机制进行了实现，即JUC原子类 。
CAS的具体实现还是在于Unsafe类下的关于CompareAndSwap方法的一系列实现，各位可以自行查看Unsafe类

CAS的缺点：

CAS虽然很高效的解决了原子操作问题，但是CAS仍然存在三大问题。

循环时间长开销很大。
只能保证一个变量的原子操作。
ABA问题。

循环时间长开销很大：

CAS 通常是配合无限循环一起使用的，我们可以看到 getAndAddInt 方法执行时，如果 CAS 失败，会一直进行尝试。如果 CAS 长时间一直不成功，可能会给 CPU 带来很大的开销。

只能保证一个变量的原子操作：

当对一个变量执行操作时，我们可以使用循环 CAS 的方式来保证原子操作，但是对多个变量操作时，CAS 目前无法直接保证操作的原子性。但是我们可以通过以下两种办法来解决：1）使用互斥锁来保证原子性；2）将多个变量封装成对象，通过 AtomicReference 来保证原子性。

什么是ABA问题？ABA问题怎么解决？

如果内存地址V初次读取的值是A，并且在准备赋值的时候检查到它的值仍然为A，那我们就能说它的值没有被其他线程改变过了吗？

如果在这段期间它的值曾经被改成了B，后来又被改回为A，那CAS操作就会误认为它从来没有被改变过。这个漏洞称为CAS操作的“ABA”问题。Java并发包为了解决这个问题，提供了一个带有标记的原子引用类“AtomicStampedReference”，它可以通过控制变量值的版本来保证CAS的正确性。因此，在使用CAS前要考虑清楚“ABA”问题是否会影响程序并发的正确性，如果需要解决ABA问题，改用传统的互斥同步可能会比原子类更高效

值得一提的是JUC原子类按情景使用，但是最常用应该是AtomicReference，解决ABA就使用AtomicStampedReference