002-CAS和Atomic原子操作详解

什么是原子操作

不可分割，要么全部完成，要么全部失败

CAS

Compare and swap
比较和交换
CPU有指令保证CAS是原子操作

操作

CAS指令基本包含三个参数

1. 内存地址V
2. 期望值A
3. 新值B

在底层指令执行的时候
判断内存地址v保存的值 是否是期望值 A
如果是 则赋值B
如果不是则不做处理

底层失败不处理

应用层需要不断循环判断直到成功

指令原子操作
线程自身的操作
线程到指令 获取执行成功还是失败的结果
成功 则返回
失败 则重新执行

三大问题

ABA问题

问题复现：
存在三个线程
第一个线程把一个变量从A改为B
第二个线程把一个变量从B改为A
那么
对第三个线程来说变量其实变更过，也许应该自旋处理
但是因为检查到A则直接通过并赋值了

解决方案：版本戳
比较的存储内容改为：变量+版本号
Java Atomic方案

• AtomicStampedReference：关心是否改过和次数
• AtomicMarkableReference：只关心是否该过，次数不关心

性能损耗

问题复现：
如果1000个线程同时操作一个变量
最差的线程需要循环1000次
损耗性能

解决方案：
此时（大量线程，竞争激烈）应该考虑加锁方案了
比如 synchroniza 轻量锁降级为重量锁
避免性能损耗
Java Atomic方案
*Addr 类 ： LongAdder、DoubleAdder
尝试分散写热点解决问题
但是这些Adder存在部分方法非强一致性
比如 sum() 所以使用不多

单次只能操作一个变量

问题复现：
一个地址对象一个变量
如果需要一次操作多个变量呢

解决方案：
多个变量包装成一个变量
Java Atomic方案

• AtomicReference