一、核心执行逻辑
CAS 操作包含三个操作数：内存地址 V、预期旧值 A、要写入的新值 B。 执行三步原子操作：
- 读取内存地址 V 上当前值；
- 判断当前值是否等于预期旧值 A；
- 两种结果：
- 相等：说明期间没有其他线程修改，把新值 B 写入 V，操作成功；
- 不相等：说明数据被其他线程改动过，本次修改失败，不写入。
通常搭配自旋重试：失败后循环再次执行 CAS，直到成功。
示例：实现自增 count++
- 获取当前 count=10（预期 A=10）
- 计算新值 B=11
- CAS (V,A,B) 若内存还是 10 → 更新为 11； 若已经变成 11，说明被别的线程改过，重试。
二、底层实现
Java 中 CAS 底层依赖 Unsafe 类提供的 native 方法，由 CPU 硬件指令保证原子性： compareAndSwapInt()、compareAndSwapLong() 依靠 CPU 的cmpxchg 硬件指令，一条指令完成比较 + 交换，不会被线程中断，天然原子，不需要加锁。
三、典型使用场景
- JUC 原子类：AtomicInteger、AtomicLong、AtomicReference，无锁实现计数；
- synchronized 轻量级锁自旋抢锁底层；
- 并发容器：ConcurrentHashMap 更新节点、计数器；
- 自旋锁、乐观锁自定义实现。
四、CAS 三大经典问题
1. ABA 问题
场景：线程 1 读取值 A，线程 2 先把 A 改成 B，再改回 A；线程 1 执行 CAS 时发现还是 A，误以为没被修改，实际中间发生过改动。 解决：版本号机制，每次修改带上自增版本，比较时同时校验版本。AtomicStampedReference 带版本戳原子引用。
2. 自旋消耗 CPU
大量线程竞争下，CAS 不断循环重试，持续占用 CPU，空耗资源。 解决：限制自旋次数、竞争激烈时降级为重量级锁。
3. 只能保证单个变量原子操作
无法一次性对多个共享变量做 CAS 原子更新，多变量同步还是需要锁。
五、CAS 乐观锁 vs synchronized 悲观锁
- CAS 乐观锁：无阻塞，不切换内核态，竞争少性能高；竞争激烈 CPU 消耗大，存在 ABA 缺陷；
- synchronized 悲观锁：竞争失败线程阻塞挂起，释放 CPU；内核切换开销大，无 ABA 问题。
精简总结口述版
CAS 是比较并交换的无锁乐观锁，基于 CPU 硬件指令保证原子；先对比内存值与预期值，一致才更新，失败自旋重试；存在 ABA、CPU 空转、多变量无法原子更新三大问题；AtomicInteger、轻量级锁底层都使用 CAS。