CAS是Java实现无锁操作的核心机制,基于硬件指令保证单变量读-改-写原子性,适用于读多写少场景,但存在ABA问题与高冲突下自旋开销,需结合AtomicStampedReference或锁机制合理选型。

CAS(Compare-And-Swap)是 Java 并发编程中实现无锁(lock-free)操作的核心机制,它依赖硬件指令(如 x86 的 cmpxchg)保证单个变量读-改-写操作的原子性。Java 将其封装在 java.util.concurrent.atomic 包中,通过 AtomicInteger、AtomicLong、AtomicReference 等类提供易用接口,避免显式加锁,降低线程阻塞与上下文切换开销。
理解 CAS 的基本原理和典型使用场景
CAS 操作包含三个参数:内存位置 V、预期值 A、新值 B。仅当 V 当前值等于 A 时,才将 V 更新为 B,并返回 true;否则返回 false,不修改 V。这种“乐观”策略适合读多写少、冲突不频繁的场景,比如计数器、状态标志位、轻量级序列号生成等。
- 适用于单个共享变量的原子更新,不能直接用于多个变量的复合操作(如“先读 A 再更新 B”,需配合
AtomicReference<Tuple>或循环重试) - 注意 ABA 问题:某变量从 A → B → A,CAS 会误认为未被修改。若业务逻辑敏感(如栈顶节点复用),可使用
AtomicStampedReference增加版本戳 - CAS 失败后通常采用自旋重试(loop + compareAndSet),但应避免长时间空转,必要时结合退避策略或降级为锁
常用原子类的典型用法与注意事项
AtomicInteger 是最常用的 CAS 封装类,提供 incrementAndGet()、getAndIncrement()、compareAndSet() 等方法,底层均基于 Unsafe 的 CAS 指令实现。
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
-
incrementAndGet()是线程安全的自增,比synchronized或ReentrantLock更轻量,适合高并发计数(如请求统计、限流令牌桶) -
compareAndSet(expected, updated)是构建自定义无锁算法的基础,例如实现一个简单的无锁栈: - 使用
AtomicReference<Node>管理栈顶,每次 push 先读当前 top,构造新节点,再 CAS 更新 top;失败则重读重试 - 注意对象引用的可见性:
AtomicReference保证引用本身更新的原子性与 happens-before 关系,但不自动保证其指向对象内部字段的线程安全
实现无锁队列或状态机的实用技巧
更复杂的无锁结构(如 MPMC 队列)虽不建议手写,但理解其设计思想有助于合理使用原子类。关键在于分离读写路径、避免伪共享、正确使用 volatile 语义。
立即学习“Java免费学习笔记(深入)”;
- 用
AtomicIntegerArray或AtomicLongArray实现环形缓冲区的 head/tail 指针,避免对象包装开销 - 状态转换类场景(如订单状态:CREATED → PROCESSING → DONE)可用
AtomicInteger编码状态,配合compareAndSet(oldState, newState)实现原子跃迁 - 避免在 CAS 循环中执行耗时操作(如 I/O、复杂计算),否则会显著拉长自旋时间,影响吞吐;可将非关键逻辑移到 CAS 成功后再执行
- 调试时可通过
getAndSet()或lazySet()(延迟写入,不保证后续读的立即可见)辅助观察中间状态,但生产环境慎用
与锁机制对比及选型建议
CAS 不是万能替代品。它在低竞争下性能优异,但高冲突时自旋浪费 CPU,且无法解决“临界区较长”或“跨多个变量协调”的问题。
- 优先用原子类处理单变量简单操作(计数、开关、指针更新)
- 涉及多个字段一致性更新(如银行转账:A 扣款 & B 加款)、复杂不变式维护,应选择
synchronized或ReentrantLock - JDK 8+ 的
LongAdder和DoubleAdder是对高并发计数的进一步优化:分段累加 + 最终合并,比AtomicLong在极端争用下更高效 - 无锁 ≠ 无等待(wait-free):CAS 自旋属于“无锁但可能饥饿”,而
Phaser、StampedLock等高级同步器提供了更灵活的协作模型


















