CAS机制不替代悲观锁,而是提供非阻塞的并发控制路径:通过“边干边验”的原子性校验写入(读V、比A、写B),依赖硬件指令保证原子性,适用于读多写少、冲突稀疏场景,但需volatile保障可见性。

CAS 机制并不“替代”悲观锁,而是提供一种不同哲学下的并发控制路径——它不靠阻塞等待来保安全,而是靠检测+重试来争原子性。是否选用 CAS,取决于数据访问模式、冲突概率和系统资源约束,而非简单地“用它换掉 synchronized”。
核心逻辑:从“先抢锁再干活”变成“边干边验”
CAS 的本质是一次带校验的写入:读取当前值(V),比对是否等于预期值(A),相等则写入新值(B)。整个过程由 CPU 硬件指令(如 cmpxchg)保证原子性,不依赖 JVM 锁对象,也不触发线程挂起或唤醒。
- 悲观锁(如 synchronized)要求线程必须先获得锁才能进入临界区,失败即阻塞,交由 OS 调度管理
- CAS 允许所有线程持续运行,只在写入瞬间做一次快照比对;失败就重试,不放弃 CPU 时间片
- 这种“非阻塞”特性天然规避了上下文切换开销和死锁风险
适用场景:读多写少 + 冲突稀疏
CAS 在低竞争下优势明显,典型如计数器、状态标志位、秒杀预减库存等。
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
- AtomicInteger.incrementAndGet() 就是纯 CAS 实现:绝大多数调用一次成功,无锁开销
- 多个线程反复读取同一变量,但极少同时修改——此时 CAS 几乎不失败,吞吐远高于加锁
- 若写操作耗时极短(纳秒级),CAS 自旋代价极小,而 synchronized 进入 Monitor 的成本反而更高
高冲突时不是“不能用”,而是要升级策略
当大量线程争抢同一个变量(如高频账户余额更新),CAS 频繁失败会导致:
- CPU 持续自旋空转,单核可能跑满却无业务进展
- 重复执行前置逻辑(如查库、验资),浪费计算资源
- 此时悲观锁反成更稳选择:让出 CPU,靠排队换取整体系统平稳
但 JDK 并未让开发者硬选——AtomicLong 在检测到连续失败后会自动退化为 LongAdder 的分段累加;StampedLock 提供乐观读 + 写锁升级路径;ReentrantLock 支持 tryLock(timeout) 控制等待上限。
关键配合:CAS 必须搭配 volatile 才可靠
CAS 自身只管原子写,不解决可见性问题。若没有 volatile 修饰共享变量:
- 线程可能从本地缓存读取旧值,导致 CAS 总是拿错预期值(A),反复失败
- 写入成功后,其他线程也可能看不到最新值(V),破坏一致性
- 所以 AtomicInteger 内部 value 字段一定是 volatile 修饰的

















