- 正确答案：CAS（Compare-And-Swap）是一种原子操作，用于实现无锁（lock-free）并发编程。其语义是：当且仅当内存地址V处的当前值等于预期值A时，才将V的值更新为新值B，并返回true；否则不修改内存，返回false。该操作在硬件层面（如x86的CMPXCHG指令）保证原子性，不可被中断。 - 解答思路：面试中考察CAS通常不是单纯背定义，而是希望候选人理解其“为什么需要”“如何工作”“有何缺陷”“怎样组合使用”。可按四层递进展开：（1）引入问题：多线程下i++非原子，传统synchronized或ReentrantLock有阻塞开销；（2）CAS作为轻量级替代方案出现；（3）分析其底层依赖CPU指令+缓存一致性协议（MESI）；（4）指出典型缺陷（ABA问题、循环时间长、只能保证单变量原子性），并说明JDK中的应对策略（如AtomicStampedReference、LongAdder分段累加）。 - 深度知识讲解： 1. 底层实现原理：CAS由CPU提供原语支持。以x86为例，执行CMPXCHG指令时，处理器会锁定缓存行（通过LOCK#信号或缓存一致性协议），确保在比较与交换期间其他核心无法修改该缓存行。现代CPU多采用“缓存锁定（cache locking）”而非总线锁定，即仅对目标地址所在缓存行加锁（基于MESI协议将该行置为Exclusive或Modified状态），极大提升性能。 2. Java中的体现：java.util.concurrent.atomic包下所有类（如AtomicInteger、AtomicReference）均基于Unsafe类的compareAndSwapInt/compareAndSwapObject等方法，而Unsafe最终调用JVM本地方法，映射到对应平台的CAS汇编指令。 3. ABA问题本质：线程1读取V=A，被抢占；线程2将V改为B再改回A；线程1恢复后CAS成功，但逻辑上已发生“中间态丢失”。这不是CAS设计缺陷，而是业务语义未建模——CAS只保证值相等，不记录版本或时间戳。 4. 解决ABA的两种主流方式： - 版本号机制：AtomicStampedReference内部维护pair = [reference, stamp]，每次修改stamp自增，CAS同时校验reference和stamp； - 时间戳机制：如某些数据库乐观锁使用version字段或timestamp字段。 5. 循环开销（Busy-Waiting）：CAS失败后通常自旋重试（如AtomicInteger.incrementAndGet()中for(;;)循环）。若竞争激烈，可能导致大量CPU空转。JDK8引入LongAdder正是为缓解此问题：将一个long值拆分为Cell数组，线程哈希到不同Cell做局部累加，最后sum汇总，显著降低单点竞争。 6. 内存可见性保障：CAS操作隐含volatile语义（JSR-133内存模型规定），即执行CAS前会插入LoadLoad+LoadStore屏障，执行后插入StoreStore+StoreLoad屏障，确保之前写操作对其他线程可见，且之后读操作能看到最新值。 - 伪代码（模拟AtomicInteger.compareAndSet）： ``` // 假设unsafe为Unsafe实例，vOffset为value字段在对象内的偏移量 boolean compareAndSet(AtomicInteger ai, int expect, int update) { return unsafe.compareAndSwapInt(ai, vOffset, expect, update); } ``` - Java代码示例（手写无锁栈，展示CAS典型应用）： ``` public class LockFreeStack { private AtomicReference> head = new AtomicReference<>(); public void push(T item) { Node newHead = new Node<>(item); Node currentHead; do { currentHead = head.get(); newHead.next = currentHead; } while (!head.compareAndSet(currentHead, newHead)); } public T pop() { Node currentHead; Node newHead; do { currentHead = head.get(); if (currentHead == null) return null; newHead = currentHead.next; } while (!head.compareAndSet(currentHead, newHead)); return currentHead.item; } private static class Node { final T item; volatile Node next; Node(T item) { this.item = item; } } } ``` 注意：该栈存在ABA风险（pop后push同值节点），真实场景应配合AtomicStampedReference或使用Treiber算法变种。 - 扩展知识点： - CAS与Lock-Free / Wait-Free的区别：CAS本身是Wait-Free bounded（最多有限步完成），但基于CAS构建的数据结构可能是Lock-Free（至少一个线程能进步）而非Wait-Free（所有线程都保证有限步完成）； - JVM对CAS的优化：从JDK9开始，VarHandle替代Unsafe成为首选，提供更安全、标准化的底层内存访问API； - 硬件演进影响：ARM/AArch64使用LDXR/STXR指令对实现CAS，需注意load-acquire/store-release语义；RISC-V则用LR.W/SC.W指令对； - 与事务内存（TM）对比：CAS是细粒度、显式、低级原语；TM是粗粒度、隐式、高级抽象，但尚未被主流语言广泛采纳。

腾讯IEG一面

全站热榜

创作者周榜