深入理解 CAS：无锁编程的核心基石

最新推荐文章于 2026-03-23 10:50:16 发布

原创

最新推荐文章于 2026-03-23 10:50:16 发布 · 2.7k 阅读

标签

#java

在并发编程领域，我们常常面临一个核心问题：如何在多线程环境下安全地修改共享资源，同时避免传统锁机制带来的性能开销？今天我们要探讨的 CAS（Compare-And-Swap，比较并交换）正是解决这个问题的关键技术，它是许多无锁数据结构和并发工具的底层实现基础。

什么是 CAS？

CAS 是一种原子操作，它包含三个操作数：

内存位置（V）：需要修改的共享变量在内存中的地址
预期原值（A）：线程在操作前读取到的变量值
新值（B）：线程想要将变量修改为的值

CAS 操作的执行逻辑非常简单：当且仅当内存位置 V 中的值等于预期原值 A 时，才会将该位置的值更新为新值 B；否则不做任何操作。整个过程是原子的，不会被其他线程中断。

用伪代码表示如下：

boolean compareAndSwap(int[] memory, int index, int expected, int newValue) {
    if (memory[index] == expected) {
        memory[index] = newValue;
        return true; // 操作成功
    }
    return false; // 操作失败
}

CAS 的工作原理

CAS 操作的原子性通常是通过硬件指令实现的（如 x86 架构的 cmpxchg 指令），这使得它能够在不使用锁的情况下保证并发安全性。

当多个线程同时对同一个共享变量执行 CAS 操作时，只有一个线程会成功，其他线程会发现内存中的实际值与自己的预期值不符而操作失败。失败的线程可以选择重试、放弃或执行其他操作。

这种机制相比传统的锁机制有一个显著优势：失败者不会被阻塞，这就避免了线程上下文切换和调度的开销，在高并发场景下可能带来显著的性能提升。

Java 中的 CAS 实现

最低0.47元/天解锁文章