什么是原子操作
不可分割,要么全部完成,要么全部失败
CAS
Compare and swap
比较和交换
CPU有指令保证CAS是原子操作
操作
CAS指令基本包含三个参数
- 内存地址V
- 期望值A
- 新值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