【Java 多线程】【CAS问题】

1、CAS 是什么

Compare and Swap 比较并交换，这是一种并发算法，用于多线程环境下的原子操作

操作：内存中有原数据 A ，旧的预期值 B 和 新的预期值 C

1. 比较 A 和 B 是否相等 (比较)
2. 如果比较相等，将B写入A； （交换）
3. 放回操作是否成功

2、CAS 实现 

1. CAS 操作时原子性的，因此在多个线程并发执行 CAS 操作时，只有一个线程能成功执行CAS 操作，
2. CAS 操作 是一条 CPU 指令（靠CPU支持），保证了原子性

针对不同的操作系统，JVM 用到了不同的 CAS 实现原理；

• ava 的 CAS 利用的的是 unsafe 这个类提供的 CAS 操作；
• unsafe 的 CAS 依赖了的是 jvm 针对不同的操作系统实现的 Atomic::cmpxchg；
• Atomic::cmpxchg 的实现使用了汇编的 CAS 操作，并使用 cpu 硬件提供的 lock 机制保证其原子性。

硬件的支持，软件才能做到 CAS

 2.1 实现原子性

标准库中提供了 java.util.concurrent.atomic 包, 里面的类都是基于这种方式来实现的.

例如：AtomicInteger 类. 其中的 getAndIncrement 相当于 i++ 操作.

2.2 实现自旋锁 

 反复检查锁的状态，检查是否解开

3、CAS 的优缺点

CAS 是一种非阻塞同步算法

优点：

1. 原子性：CAS 是原子性的，多线程并发执行时，只有一个线程能成功执行CAS ；
2. 高性能：相比传统锁机制，CAS操作的开销小，不需要线程上下文切换和调度
3. 无死锁：CAS可以避免死锁问题

缺点：

1. CAS 操作 仅支持 基本数据类型，不支持引用类型，因此使用CAS时需要进行类型转换，可能影响程序性能；
2. 自旋次数过多：CAS操作失败，需要不断进行自旋操作，直到成功为止，如果自旋次数过多，会浪费CPU资源，降低性能；
3. 不能保证代码块的原子性
4. ABA问题

 4、CAS 的 ABA 问题

4.1 问题的产生

ABA问题是多线程并发执行CAS操作时会出现的一种情况；例如：

两个线程 A 和 B 同时对 一个内存位置（内存值 X） 进行CAS：

1. 线程A 将内存值 X 修改为 Y，线程A暂时进入了阻塞；
2. 线程B读取内存是也是X，就将X修改为 Z；
3. 线程A继续执行，将内存值修改为 X —— ABA 问题

这就是 线程B 没有意识到 线程A 已经对内存位置进行了修改，导致出现的错误 

通俗的解释：老铁取钱 有100 取50

1. 存款有100 ，线程A 获取 为 100 期望修改50，线程B 获取 为 100 期望修改50
2. 线程A 执行扣款成功，线程2 等待；
3. 线程 2 执行前，有人向老铁转账 50 存款变为100
4. 线程2 执行，发现存款是 100，和读取相等，修改 50；
5. 扣款进行了两次；

 4.2 问题的解决

解决：ABA 的问题关键是 值会反复横跳，

1. 约定数据只能单方向变化；
2. 数据随意改，那就增加版本号，版本号只能增加

• CAS操作在读取旧值时，也读取版本号
• 修改时：

• • 当前版本号和读取版本号 想同，修改数据，并将版本号+1
  • 当前版本号 > 读取的版本号 ,数据已经被修改，操作失败

增加版本号：版本号只能增加，每次CAS 就比较的不是数据而是版本号是否修改

1. 线程A 将内存值 X 修改为 Y，版本号从1->2；
2. 线程B读取的内存值为X，但是版本号变化了，数据已经修改了，那就不修改；
3. 线程会读取内存值后，读取的版本号和和目前版本号比较，是否发生变化；

通俗的解释：老铁取钱 有100 取50

1. 存款有100 ，线程A 获取 为 100 期望修改50，版本号 1；线程B 获取 为 100 期望修改50，版本号 1
2. 线程A 执行扣款成功，版本1->2，线程2 等待；
3. 线程 2 执行前，有人向老铁转账 50 存款变为100
4. 线程2 执行，发现版本号变为2，已经修改过了，不再执行；
5. 扣款进行了一次；

 在 Java 标准库中提供了 AtomicStampedReference<E> 类. 这个类可以对某个类进行包装, 在内部就提供了上面描述的版本管理功能.