Java并发——CAS（比较并替换）

在多线程编程中如何安全地修改共享变量是永恒的课题。传统的synchronized关键字虽然保证了线程安全但基于互斥锁的机制会导致线程阻塞、上下文切换在竞争激烈的场景下可能成为性能瓶颈。于是一种更轻量的同步方案——CASCompare And Swap应运而生它承载了无锁并发思想的落地实践。本文将带你系统了解CAS的核心原理、底层实现、在Java中的应用以及必须面对的挑战帮助你真正掌握这把并发编程的利器。一、什么是CASCAS的全称是Compare And Swap比较并交换它是一种CPU原语级的原子操作用于实现多线程环境下共享变量的无锁修改。它包含三个核心参数V主内存中的当前值变量实际存储的位置A线程预期的旧值线程从主内存读取后保存在本地的副本B线程希望写入的新值CAS的执行过程极其简单如果 V A则将 V 更新为 B否则不做任何操作。整个“比较交换”过程由CPU硬件保证原子性不会被任何其他线程中断。从宏观上看CAS是一条乐观的指令它假定在读取之后到更新之前没有其他线程修改过该变量如果检测到被修改过就失败重试。这种“失败则重试”的模式被称为自旋。二、为什么需要CAS考虑一个经典的计数器累加场景private int count 0; public void increment() { count; }count在字节码层面被拆分为“读取-修改-写回”三步多线程并发执行时必然出现数据覆盖最终结果小于预期。传统的解决方案是使用synchronizedpublic synchronized void increment() { count; }但synchronized是悲观锁无论是否有竞争都会加锁线程获取锁失败时会进入阻塞状态触发操作系统级别的上下文切换开销较大。CAS提供了一种乐观的替代方案它假设大多数情况下没有冲突只在更新时检查失败则重试避免了线程挂起和唤醒的开销。在竞争不激烈的场景下CAS的性能远优于synchronized。三、CAS的底层实现1. CPU层面的支持CAS的原子性依赖于CPU提供的特殊指令。以x86架构为例它提供了CMPXCHG指令该指令可以完成“比较并交换”的操作。在多核环境下该指令前会加上LOCK前缀确保执行期间锁住总线或缓存行防止其他核心同时访问该内存地址从而保证原子性。ARM架构则使用LDXR/STXR指令对通过独占监视器实现类似的原子操作。2. Java中的Unsafe类在Java中CAS操作由sun.misc.Unsafe类提供支持。该类是一个不安全的底层操作类能够直接操作内存地址、执行CAS操作等。典型的CAS方法如下public final native boolean compareAndSwapInt(Object obj, long offset, int expect, int update);其中offset是字段在对象中的内存偏移量可以通过objectFieldOffset获取。普通开发者不应直接使用Unsafe而是通过JDK提供的封装类——java.util.concurrent.atomic包下的原子类——来安全使用CAS。3. AtomicInteger的源码解析以AtomicInteger.incrementAndGet()为例我们看一下CAS的典型应用public final int incrementAndGet() { return unsafe.getAndAddInt(this, valueOffset, 1) 1; }而getAndAddInt的实现是典型的自旋CASpublic final int getAndAddInt(Object obj, long offset, int delta) { int current; do { current this.getIntVolatile(obj, offset); // 获取当前值 } while (!this.compareAndSwapInt(obj, offset, current, current delta)); return current; }整个过程不断循环直到CAS成功才退出。value字段被volatile修饰保证了可见性使得每次读取都能获取到最新的值。四、CAS在Java中的应用CAS是Java并发包JUC的基石它的身影无处不在应用场景典型类说明原子类AtomicInteger、AtomicLong、AtomicReference通过CAS实现线程安全的单变量操作高性能计数器LongAdder采用分段累加思想将热点分散减少CAS冲突并发集合ConcurrentHashMap初始化桶、更新计数器时使用CAS同步器ReentrantLock、Semaphore、CountDownLatchAQSAbstractQueuedSynchronizer的state状态通过CAS维护五、CAS的三大挑战与解决方案任何技术都不是银弹CAS也存在一些固有的缺陷需要我们在使用时加以注意。1. ABA问题问题描述一个变量的值从A变为B又从B变回A。此时CAS检查时发现值仍为A就会误认为没有被修改过从而执行更新。在某些业务场景如栈操作、银行转账中这种“中间过程”可能导致严重错误。解决方案引入版本号或时间戳。Java提供了AtomicStampedReference它在比较时同时检查“值”和“版本号”只有两者都匹配才更新。AtomicStampedReferenceString ref new AtomicStampedReference(A, 1); // 同时比较值和版本号 ref.compareAndSet(A, B, 1, 2);2. 循环时间长开销大自旋消耗CPU问题描述CAS通常配合自旋无限循环使用。在高并发下大量线程同时争抢一个变量频繁失败重试会导致CPU占用率飙升。解决方案限制自旋次数超过一定次数后使用其他策略如直接阻塞。使用LongAdder等分段累加工具将单点竞争分散到多个Cell上减少冲突。JVM自适应自旋在锁升级中应用根据历史成功率动态调整自旋次数。3. 只能保证一个共享变量的原子操作问题描述CAS一次只能对一个内存地址进行原子操作如果需要同时更新多个变量则无法保证原子性。解决方案将多个变量封装成一个对象使用AtomicReference进行原子更新。使用传统的锁synchronized或ReentrantLock保护临界区。六、CAS vs synchronized如何选择对比维度CASsynchronized实现方式CPU原子指令无锁Monitor互斥锁线程状态失败则自旋不阻塞失败则阻塞挂起唤醒开销大适用场景低竞争、单变量简单操作高竞争、多变量复杂逻辑可重入性不支持需自行封装支持性能特点无竞争时极快高竞争时自旋消耗CPU低竞争时一般高竞争时性能下降但可控选择建议对于简单的计数器、状态标记优先使用AtomicInteger、LongAdder等。对于复杂的临界区、多变量操作或需要wait/notify通信时使用synchronized或ReentrantLock。实际开发中通常优先使用JUC提供的高级工具避免手写CAS逻辑。七、总结CAS作为并发编程中的一项关键技术用无锁的方式实现了线程安全的变量更新极大地提升了系统在低竞争场景下的性能。它的实现依赖于CPU指令和JVM底层的Unsafe类为Java提供了强大的无锁并发能力。但同时我们也要清醒地认识到CAS并非万能——ABA问题、自旋开销和单变量限制是它的三大软肋。只有在合适的场景下合理使用才能扬长避短写出高效、可靠的并发代码。从synchronized到CAS再到LongAdder和CompletableFutureJava并发的演化史正是一部不断追求性能和易用性的历史。理解CAS就是理解了现代Java并发编程的基石