170_CAS 比较并替换 Compare And Swap

简介
- CAS产生
- CAS应用
演示代码
atomicInteger.getAndIncrement()
unsafe.getAndAddInt()
Unsafe
CAS优点
CAS缺点
ABA问题
原子引用解决ABA问题

简介

:::info
Java 并发机制实现原子操作有两种：一种是锁，一种是CAS。
CAS是Compare And Swap（比较并替换）的缩写。
java.util.concurrent.atomic中的很多类，如（AtomicInteger AtomicBoolean AtomicLong等）都使用了CAS。
:::
:::info
CAS(compare and swap),比较并交换。可以解决多线程并行情况下使用锁造成性能损耗的一种机制.CAS 操作包含三个操作数—内存位置（V）、预期原值（A）和新值(B)。如果内存位置的值与预期原值相匹配，那么处理器会自动将该位置值更新为新值。否则，处理器不做任何操作。一个线程从主内存中得到num值，并对num进行操作，写入值的时候，线程会把第一次取到的num值和主内存中num值进行比较，如果相等，就会将改变后的num写入主内存，如果不相等，则一直循环对比，知道成功为止。
:::

CAS产生

:::info
在修饰共享变量的时候经常使用volatile关键字，但是volatile值有可见性和禁止指令重拍（有序性），无法保证原子性。虽然在单线程中没有问题，但是多线程就会出现各种问题，造成现场不安全的现象。所以jdk1.5后产生了CAS利用CPU原语（不可分割，连续不中断）保证现场操作原子性。
:::

CAS应用

:::info
在JDK1.5 中新增java.util.concurrent(JUC)就是建立在CAS之上的。相对于对于synchronized这种锁机制，CAS是非阻塞算法的一种常见实现。所以JUC在性能上有了很大的提升。
:::

演示代码

atomicInteger.getAndIncrement()

unsafe.getAndAddInt()

:::info
进入unsafe看到do while自循环，这里的自循环，就是在判断预期原值如果与原来的值不符合，会再循环取原值，再走CAS流程，直到能够把新值赋值成功。
:::

Unsafe

CAS优点

:::info
cas是一种乐观锁的思想，而且是一种非阻塞的轻量级的乐观锁，非阻塞式是指一个线程的失败或者挂起不应该影响其他线程的失败或挂起的算法。
:::

CAS缺点

:::info

循环时间长开销大，占用CPU资源。如果自旋锁长时间不成功，会给CPU带来很大的开销。如果JVM能支持处理器提供的pause指令那么效率会有一定的提升，pause指令有两个作用，第一它可以延迟流水线执行指令（de-pipeline）,使CPU不会消耗过多的执行资源，延迟的时间取决于具体实现的版本，在一些处理器上延迟时间是零。第二它可以避免在退出循环的时候因内存顺序冲突（memory order violation）而引起CPU流水线被清空（CPU pipeline flush），从而提高CPU的执行效率。
只能保证一个共享变量的原子操作。当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候就可以用锁，或者有一个取巧的办法，就是把多个共享变量合并成一个共享变量来操作。比如有两个共享变量i＝2,j=a，合并一下ij=2a，然后用CAS来操作ij。从Java1.5开始JDK提供了AtomicReference类来保证引用对象之间的原子性，你可以把多个变量放在一个对象里来进行CAS操作。
ABA问题
:::