Java中的CAS机制是什么？

CAS是Compare-And-Swap的缩写，即比较并交换，是CPU提供的原子指令，Java通过Unsafe类封装并由atomic包暴露API；其执行需V（变量地址）、E（预期值）、N（新值）三参数，原子判断V是否等于E，相等则更新为N并返回true，否则返回false；它基于乐观并发策略，失败后自旋重试，避免锁开销，适用于高并发低冲突场景，但存在ABA问题和自旋开销。

CAS是什么：比较并交换的原子操作

CAS 是 Compare-And-Swap 的缩写，直译为“比较并交换”。它不是 Java 语言层面的关键字或语法，而是由底层 CPU 提供的原子指令（如 x86 的 cmpxchg），Java 通过 Unsafe 类封装调用，再由 java.util.concurrent.atomic 包中的原子类（如 AtomicInteger、AtomicReference）对外暴露为易用的 API。

CAS 的执行逻辑：三参数 + 原子判断

CAS 操作需要三个关键输入：

• V：要更新的共享变量在内存中的地址（或偏移量）
• E：预期值（线程读取 V 时的快照值）
• N：待写入的新值

执行时，CPU 原子性地检查 V 处当前值是否等于 E。若相等，则将 V 更新为 N，并返回 true；否则不修改，返回 false。整个过程不可中断，也不依赖锁，因此称为“无锁”。

为什么能实现线程安全：乐观 + 重试机制

CAS 本质是乐观并发策略——它假设多数情况下没有冲突，直接尝试更新，失败后再决定是否重试。典型模式如下：

• 读取当前值 current
• 基于 current 计算新值 next（如 current + 1）
• 调用 compareAndSet(current, next)，仅当值未被其他线程改过才成功
• 失败则重新读取 current，循环尝试（即自旋）

这种设计避免了 synchronized 或 Lock 带来的阻塞、上下文切换和锁竞争开销，在高并发低冲突场景下性能优势明显。

CAS 的实际应用与注意事项

Java 中最常用的 CAS 封装是 AtomicInteger.incrementAndGet()、AtomicReference.compareAndSet() 等方法。它们广泛用于：

• 高性能计数器（如接口调用量统计）
• 无锁队列/栈的节点链接与摘除
• ConcurrentHashMap 的分段扩容与节点插入

但需注意两个经典限制：

• ABA 问题：V 值从 A→B→A，CAS 误判为“未变”，可用 AtomicStampedReference 加版本戳解决
• 自旋开销：高竞争下反复失败会空耗 CPU，必要时应结合 yield 或退避策略