VarHandle 的 compareAndSet 是 JDK 9 起替代 Unsafe 的标准原子操作，兼顾 CAS 效率与安全性；它支持任意字段/数组/静态变量的类型安全原子更新，内存序可控，适用于无锁数据结构开发。
VarHandle 的 compareAndSet 是 JDK 9 起推荐的、替代 Unsafe 的标准原子操作方式，它在高性能并发库中承担着“轻量级无锁更新”的核心角色——既保持硬件级 CAS 的效率，又规避了 Unsafe 的安全风险与模块限制。
为什么用 VarHandle 而不是 AtomicInteger 或 Unsafe？
AtomicInteger 等原子类本质是封装好的“单变量容器”，适用于计数、标志位等简单场景；但真实并发库（如自定义无锁队列、分段状态机、对象字段级乐观更新）往往需要直接对任意对象字段、数组元素甚至静态变量做原子操作。这时：
-
Unsafe 太底层且不安全：需手动计算字段偏移量，绕过模块系统，在 JDK 12+ 默认拒绝访问，易触发
IllegalAccessError； -
AtomicInteger 无法复用：不能把普通 POJO 的某个
int status字段直接当原子整数用，必须重构为包装类； -
VarHandle 正好居中：类型安全、支持泛型、可反射获取、JVM 深度优化，且能精准控制内存顺序（如
acquire/release模式），适合构建可维护的高性能组件。
典型实践：对对象字段做 CAS 状态切换
比如一个网络连接状态管理器，用普通字段 private volatile int state 存储状态（INIT=0, CONNECTED=1, CLOSED=2）。传统做法靠 synchronized 加锁判断再改值，高并发下成瓶颈。用 VarHandle 可实现无锁状态跃迁：
- 先通过
MethodHandles.privateLookupIn(...).findVarHandle()获取该字段的VarHandle； - 调用
stateHandle.compareAndSet(conn, INIT, CONNECTED)尝试从初始态转为已连接； - 返回
true表示成功，false表示已被其他线程抢先修改，上层可重试或降级处理。
整个过程不阻塞、无锁膨胀，且语义清晰——不是“我要设值”，而是“仅当我确认当前是 INIT 时，才允许升为 CONNECTED”。
性能关键：内存序与伪共享规避
VarHandle 的 compareAndSet 默认提供 sequentially-consistent 语义（等价于 volatile 读+写），但某些场景可放宽：
- 若只关心写后对其他线程可见（不强制要求之前所有写都已完成），可用
weakCompareAndSetPlain减少内存屏障开销； - 字段若频繁被多个线程读写，注意避免与其他字段共用缓存行（伪共享），建议用
@Contended注解隔离关键状态字段； - 批量更新多个相关字段时，不要对每个字段单独 CAS，应合并为一个
AtomicReference或使用版本号 + CAS 结构化对象。
生产避坑：ABA 与失败重试策略
CAS 本身不解决 ABA 问题（比如状态从 1→2→1，CAS 误判为未变），但 VarHandle 不内置版本机制。实践中：
- 业务逻辑不敏感时（如开关标志），可忽略 ABA，直接重试；
- 涉及资源回收、指针操作等场景，需配合
AtomicStampedReference或自定义带版本字段的结构体； - 避免无限自旋：高争用下
compareAndSet可能反复失败，应加入退避（如Thread.onSpinWait()）或限定最大重试次数，失败后走锁兜底路径。
