目录一、锁的代价与无锁的愿景二、CAS的CPU指令级实现三、AtomicIntegerCAS的工程封装四、ABA问题CAS的隐藏陷阱五、AtomicStampedReference版本号消除ABA六、结语一、锁的代价与无锁的愿景synchronized和Lock以互斥保障线程安全——线程在进入临界区前获取锁离开时释放锁未获取锁的线程被阻塞挂起。这种阻塞机制在锁竞争激烈时引发上下文切换——线程从RUNNABLE状态切换到BLOCKED或WAITING状态操作系统需要保存当前线程的寄存器状态、更新调度队列、恢复新线程的执行上下文。上下文切换的代价在微秒级在纳秒级计算的CPU面前是昂贵的开销。无锁编程试图在不阻塞线程的前提下实现线程安全。它的核心思想不是消除并发冲突而是让线程在冲突发生时立即重试而非挂起等待。如果锁策略是“我先去睡觉锁空了叫我”无锁策略就是“我不睡觉反复尝试直到成功”。CAS是支撑无锁编程的底层原子指令。它接收三个操作数——内存地址、期望值和新值——当且仅当内存地址中的当前值与期望值相等时将内存地址中的值替换为新值。整个“比较-判断-替换”过程由CPU的一条原子指令完成不会被其他线程中断。二、CAS的CPU指令级实现CAS在x86架构上对应cmpxchg指令。这条指令比较目标内存位置的值与CPU寄存器中的期望值如果相等则将另一个寄存器中的新值写入目标位置如果不相等则将目标位置的当前值读入寄存器。cmpxchg指令前加上lock前缀将指令锁定在总线上——在当前指令完成之前其他CPU核心不能访问该内存地址。这种总线锁定保证了CAS在多处理器环境下的原子性。CAS在Java中通过Unsafe类的compareAndSwapInt、compareAndSwapLong、compareAndSwapObject本地方法暴露。这些方法直接调用底层CPU的CAS指令是JUC原子类的实现基础。Unsafe类位于sun.misc包中不推荐应用代码直接使用。JUC的AtomicInteger、AtomicLong、AtomicReference等原子类对Unsafe的CAS方法做了安全封装。三、AtomicIntegerCAS的工程封装AtomicInteger将一个int值封装为线程安全的原子变量。它的核心方法是incrementAndGet——以原子方式将当前值加一并返回新值。实现不依赖于任何锁而是基于CAS的自旋循环。incrementAndGet的内部逻辑是从内存中读取当前值计算出新值调用compareAndSet执行CAS尝试将当前值替换为新值。如果CAS成功返回新值。如果CAS失败——说明在读取和CAS之间另一个线程已经修改了该值——当前线程不会阻塞而是重新读取被更新后的当前值重新计算再次尝试CAS。这个“尝试-失败-重试”的循环就是自旋。在低竞争场景下——大多数CAS尝试都在第一次就成功——原子变量的性能远超synchronized。在高竞争场景下——大量线程同时对同一个原子变量执行CAS——自旋循环可能消耗大量CPU时间。AtomicLong引入了一个改进版本LongAdder它将竞争热点分散到多个内部槽位中每个线程在独立的槽位上累加最终求总和时合并所有槽位。这是用空间换时间的策略——通过分散写热点减少CAS失败率。四、ABA问题CAS的隐藏陷阱CAS操作面临一个固有的问题——ABA问题。它的场景是线程A读取变量值X准备将X替换为Y。在线程A执行CAS之前线程B将X改为A再改回X。线程A的CAS检查发现当前值仍是XCAS成功——但线程A不知道在它读取和CAS之间这个值已经经历了X→A→X的变化。在简单的计数器场景中ABA问题无关紧要——计数器从5到6再到5最终值还是5CAS将5改为目标值不会出错。但在涉及对象引用的链式数据结构中ABA问题可能是致命的。假设一个链表的栈顶指向节点A。线程A读取栈顶得到A准备将栈顶指向A的下一个节点B。在线程A执行CAS之前线程B弹出A弹出B再将A压回栈顶。线程A的CAS发现栈顶仍是ACAS成功将栈顶改为B——但B已经被线程B弹出了。B现在是一个游离在栈之外的节点栈结构彻底损坏。五、AtomicStampedReference版本号消除ABAAtomicStampedReference以版本号机制解决ABA问题。它维护一个pair结构同时存储对象引用和一个整型版本号。每次修改不仅更新引用值还将版本号递增。CAS操作同时检查引用值和版本号——只有当两者都匹配时替换才发生。在ABA场景中线程A读取引用X和版本号1。线程B将引用X改为A再改回X版本号从1递增到3。线程A执行CAS时引用值匹配但版本号不匹配——期望版本号1当前版本号3。CAS失败线程A重新读取最新的引用和版本号重新执行逻辑。版本号的时间戳特性让CAS能够区分“从未变过的X”和“变了又变回来的X”。AtomicMarkableReference是AtomicStampedReference的简化版本只维护一个布尔标记位而非整型版本号。它适用于只关心“是否被修改过一次”而非“修改了多少次”的场景。六、结语原子变量以CAS无锁机制实现了线程安全的另一种路径——线程不阻塞挂起而是在冲突时自旋重试。CAS在低竞争场景中性能卓越在高竞争场景中自旋消耗的CPU资源需要谨慎评估。ABA问题是CAS固有的理论缺陷AtomicStampedReference以版本号机制提供了工程解决方案。无锁编程不是锁的替代品而是并发工具箱中的一项专用工具——在特定数据结构和高性能要求的场景中它能实现锁无法企及的性能上限。下一篇我们将进入ForkJoin与并行流——工作窃取算法的分治策略与CompletableFuture的异步编排揭示Java函数式并发编程的核心设计模式。