CAS是什么

目录

没有CAS之前

使用CAS之后

CAS是什么

CAS底层原理：unsafe类

Unsafe

new AtomicInteger().getAndIncrement()流程

CAS缺点

1 循环时间长开销很大

2 ABA问题

ABA代码演示 

如何解决？：通过AtomicStampedReference版本号

3不能保证代码块的原子性 

自定义原子引用

自旋锁（spinlock）

通过CAS实现手自旋锁

---

没有CAS之前

常用synchronized锁保证线程安全i++，但是它比较重 ，牵扯到了用户态和内核态的切换,效率不高。

使用CAS之后

类似于乐观锁保证线程安全i++

CAS是什么

CAS是英文单词Compare And Swap的缩写，翻译过来就是比较并替换。

CAS机制当中使用了3个基本操作数：内存地址V，旧的预期值A，要修改的新值B。

更新一个变量的时候，只有当变量的预期值A和内存地址V当中的实际值相同时，才会将内存地址V对应的值修改为B。否则进行自选重新获取。

CAS底层原理：unsafe类

compareAndSet调用的是unsafe中的本地方法

 

Unsafe

CAS这个理念 ，落地就是Unsafe类

• 注意Unsafe类中的所有方法都是native修饰的，也就是说Unsafe类中的方法都直接调用操作系统底层资源故行相应任务

它是CAS的核心类，由于Java方法无法直接访问底层系统，需要通过本地（native）方法来访问，Unsafe相当于一个后门 ，基于该类可以直接操作特定内存\ 的数据 。Unsafe类存在于sun.misc包中，其内部方法操作可以像C的指针一样直接操作内存，因为Java中CAS操作的执行依赖于Unsafe类的方法。
 

变量valueOffset，表示该变量值在内存中的偏移地址，因为Unsafe就是根据内存偏移地址获取数据的。 

变量value用volatile修饰，保证可见性

CAS的全称为Compare-And-Swap，它是一条CPU并发原语。
它的功能是判断内存某个位置的值是否为预期值，如果是则更改为新的值，这个过程是原子的。
AtomicInteger 类主要利用 CAS (compare and swap) + volatile 和 native 方法来保证原子操作，从而避免 synchronized 的高开销，执行效率大为提升。

new AtomicInteger().getAndIncrement()流程

假设线程A和线程B两个线程同时执行getAndAddInt操作（分别跑在不同CPU上）： 

1 AtomicInteger里面的value原始值为3，即主内存中AtomicInteger的value为3，根据JMM模型，线程A和线程B各自持有一份值为3的value的副本分别到各自的工作内存。

2 线程A通过getIntVolatile(var1, v