63. 什么是CAS？CAS会产生什么问题？怎么解决？

什么是 CAS?

1. CAS 是 compare and awap 的缩写，即我们所说的比较和交换。
2. CAS 是一种基于锁的操作，而且是乐观锁。
3. java 中锁分为乐观锁和悲观锁（此专题下62篇有详细分析）。悲观锁是将资源锁住，等一个之前获得锁的线程释放锁之后，下一个线程才可以访问。而乐观锁采取了一种宽泛的态度，通过某种方式不加锁来处理资源，比如通过记录加 version 来获取资源，性能较悲观锁有很大的提高。
4. CAS 操作包含三个操作数 —— 内存位置（V）、预期原值（A）、新值（B）。如果内存地址里的值和 A 的值是相同的，那么就将内存里面的值更新成 B。CAS 是通过无线循环来获取数据的，如果在第一轮循环中，a 线程获取地址里面的值被 b 线程修改了，那么，线程 a 需要自旋，到下次循环才有机会执行。
5. java.util.concurrent.atomic 包下的类大多是使用 CAS 操作来实现的（AtomicInteger，AtomicBoolean，AtomicLong）

那么，CAS 会引起什么问题呢？

ABA 问题

比如说一个线程 one 从内存位置 V 中取出 A ，这时另外一个线程 two 也从内存中取出 A ，并且 two 进行了一些操作变成了 B ，然后 two 又将 V 位置的数据变成 A，这时线程 one 进行 CAS 操作发现内存中仍然是 A，然后 one 操作成功，但是，A 已经不再是原来的 A ，可能存在一些潜在的问题。

从Java1.5 开始 JDK 的 atomic 包里提供一个类：AtomicStampedReference 来解决 ABA 问题。

循环时间长开销大

对于资源竞争严重（线程冲突严重）的情况，CAS 自旋的概率比较大，从而浪费更多的 CPU 资源，效率低于 synchronized。

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

当对一个共享变量执行操作时，我们可以使用循环 CAS 的发方式来保证原子操作，但是对于多个共享变量操作时，循环 CAS j就无法保证操作的原子性，这个时候就可以用锁。