CAS 操作原理

1. 前言

本节内容主要是对 CAS 操作原理进行讲解，由于 CAS 涉及到了并发编程包的使用，本节课程只对 CAS 的原理问题进行讲解，有助于同学后续对并发编程工具使用的学习。本节具体内容点如下：

概念：CAS 是 CompareAndSwap 的简称，是一种用于在多线程环境下实现同步功能的机制。

从字面上理解就是比较并更新。简单来说，从某一内存上取值 V，和预期值 A 进行比较，如果内存值 V 和预期值 A 的结果相等，那么我们就把新值 B 更新到内存，如果不相等，那么就重复上述操作直到成功为止。

synchronized 时代：在多线程中为了保持数据的准确性，避免多个线程同时操作某个变量，很多情况下利用关键字 synchronized 实现同步锁。

使用 synchronized 关键字可以使操作的线程排队等待运行，可以说是一种悲观策略，认为线程会修改数据，所以开始就把持有锁的线程锁住，其他线程只能是挂起状态，等待锁的释放，所以同步锁带来了效率问题。

synchronized 时代效率问题：在线程执行的时候，获得锁的线程在运行，其他被挂起的线程只能等待着持有锁的线程释放锁才有机会运行，在效率上都浪费在等待上。

在很多的线程切换的时候，由于有同步锁，就要涉及到锁的释放，加锁，这又是一个很大的时间开销。

volatile 时代：与锁（阻塞机制）的方式相比有一种更有效地方法，非阻塞机制，同步锁带来了线程执行时候之间的阻塞，而这种非阻塞机制在多个线程竞争同一个数据的时候不会发生阻塞的情况，这样在时间上就可以节省出很多的时间。

我们会想到用 volatile，使用 volatile 不会造成阻塞，volatile 保证了线程之间的内存可见性和程序执行的有序性可以说已经很好的解决了上面的问题。

volatile 时代原子操作问题：一个很重要的问题就是，volatile 不能保证原子性，对于复合操作，例如 i++ 这样的程序包含三个原子操作：取值，增加，赋值。

意义：从上边 CAS 操作诞生的背景所说的，CAS（Compare And Swap 比较和交换）解决了 volatile 不能保证原子性的问题。从而 CAS 操作即能够解决锁的效率问题，也能够保证操作的原子性。

Tips：在 JDK1.5 新增的 java.util.concurrent (JUC java 并发工具包) 就是建立在 CAS 之上的。相比于 synchronized 这种堵塞算法， CAS 是非堵塞算法的一种常见实现。所以 JUC 在性能上有了很大的提升。

CAS 主要包含三个操作数，内存位置 V，进行比较的原值 A，和新值 B。

当位置 V 的值与 A 相等时，CAS 才会通过原子方式用新值 B 来更新 V，否则不会进行任何操作。无论位置 V 的值是否等于 A，都将返回 V 原有的值。

图片描述

上面说到了同步锁是一种悲观策略，CAS 是一种乐观策略，每次都开放自己，不用担心其他线程会修改变量等数据，如果其他线程修改了数据，那么 CAS 会检测到并利用算法重新计算。

CAS 也是同时允许一个线程修改变量，其他的线程试图修改都将失败，但是相比于同步锁，CAS 对于失败的线程不会将他们挂起，他们下次仍可以参加竞争，这也就是非阻塞机制的特点。

ABA 问题描述：

假设有两个线程，线程 1 和线程 2，线程 1 工作时间需要 10 秒，线程 2 工作需要 2 秒；
主内存值为 A，第一轮线程 1 和线程 2 都把 A 拿到自己的工作内存；
第 2 秒，线程 2 开始执行，线程 2 工作完成把 A 改成了 B ；
第 4 秒，线程 2 把 B 又改成了 A，然后就线程 2 进入休眠状态；
第 10 秒，线程 1 工作完成，看到期望为 A 真实值也是 A 认为没有人动过，其实 A 已经经过了修改，只不过又改了回去，然后线程 1 进行 CAS 操作。

ABA 问题解决：为了解决这个问题，在每次进行操作的时候加上一个版本号或者是时间戳即可。

本节内容的核心知识点即了解 CAS 的操作原理，其他知识点都是围绕这一知识点展开的，对于 CAS 中所引发的 ABA 问题以及该问题的解决方式为本节内容重点。需要对这两点进行着重掌握。