cas是compare-and-swap的缩写,是一种基于硬件支持的无锁原子操作,通过比较内存值与预期值是否相等来决定是否更新为新值,广泛应用于atomicinteger等原子类及aqs框架中。

Java CAS 核心考点演练,关键不在背概念,而在理解逻辑、识别场景、避开坑点。下面直接按面试和实战中最常考的四个方向组织,每部分聚焦一个“能动手验证”的核心点。
一、手写CAS自旋逻辑,必须会改错
面试高频题:写出 AtomicInteger.incrementAndGet() 的等效实现,并指出常见错误。
正确写法核心是三步闭环:
- 先读当前值(每次循环都重新 get())
- 计算新值(如 +1)
- 用 compareAndSet 尝试更新;失败就重试,且必须更新旧值
典型错误写法(无限循环):
while (!atomicInt.compareAndSet(old, old + 1)) { /* 没更新old,一直拿旧值重试 */ }正确写法(带重读):
int current; while (!atomicInt.compareAndSet(current = atomicInt.get(), current + 1)) {}二、ABA问题不是理论题,要懂它何时真危险
ABA 不是“值变回去了就一定出错”,而是值相同但语义已变。最典型风险场景:
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
- AtomicReference
指向一个对象,该对象被回收后内存被复用,又新建了同地址的对象 - 栈/队列的头节点被弹出(A→null),又压入新节点(null→A),CAS 误判为未修改
解决方式不是盲目上 AtomicStampedReference,而是先判断:
如果只是计数器、开关标志位(值本身无历史含义),ABA 可忽略;只有涉及引用生命周期或链表结构时,才需加版本戳。三、CAS失败后怎么处理?别硬刚自旋
CAS 返回 false 是常态,不是异常。处理策略分三层:
- 低竞争:直接重试(如 incrementAndGet 内置逻辑)
- 中等竞争:加 Thread.onSpinWait()(JDK9+),提示CPU降低功耗
- 高竞争或复杂逻辑:退到 ReentrantLock 或 LongAdder(分段累加,避免单点争抢)
注意:LongAdder 不保证强一致性,适合统计类场景(如QPS、PV),不适合需要精确瞬时值的业务。
四、底层链路必须串得通:从代码到CPU
面试最爱问“CAS 怎么保证原子性?”答案不能只答“Unsafe”或“硬件指令”。要讲清调用链:
AtomicInteger.incrementAndGet() → 调用 Unsafe.compareAndSwapInt() → JVM 编译为平台指令(x86 是 cmpxchg,ARM 是 ldxr/stxr) → CPU lock 前缀或内存屏障确保该指令不被中断、不被重排
重点强调:这个指令本身是一条汇编指令,由CPU硬件直接执行,所以天然原子——不是Java代码“做成了原子”,而是借用了硬件能力。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










