synchronized 管代码执行,varhandle 管字段读写;前者是jvm级互斥同步原语,提供锁与内存可见性保障,后者是jdk9引入的底层内存访问句柄,支持按需内存语义的原子操作。

synchronized 和 VarHandle 都是 Java 并发控制的重要工具,但它们解决的问题层次不同、适用场景差异明显。简单说:synchronized 是“管一段代码怎么执行”,VarHandle 是“管一个字段怎么读写”。不是谁替代谁,而是分工协作。
定位与本质差异
synchronized 是 JVM 提供的**互斥同步原语**,核心目标是保证临界区(一段代码)在同一时刻最多被一个线程执行。它自动管理锁的获取与释放,隐式提供 happens-before 关系、内存可见性与原子性三重保障。
VarHandle 是 JDK 9 引入的**底层内存访问句柄**,不提供锁或临界区概念,只聚焦于对单个变量(字段、数组元素、静态变量)执行带指定内存语义的原子操作——比如 volatile 读写、CAS、acquire/release 访问等。
它本质上是 Unsafe 的安全封装,填补了 volatile 表达力不足、AtomicXXX 类存在对象分配开销的中间空白。
内存模型控制粒度
synchronized 的内存语义是“全有或全无”:进入时插入 acquire 屏障,退出时插入 release 屏障,强一致性,但开销相对固定。
VarHandle 则支持**按需选择内存语义**:
- getVolatile / setVolatile:等价于 volatile 字段访问,适合需要强可见性的状态标志
- getAcquire / setRelease:仅保证部分排序(如禁止后续读写重排到 setRelease 之前),比 volatile 更轻量,适合自旋锁、无锁队列头尾更新
- getOpaque / setOpaque:仅禁止编译器重排序,不插入硬件屏障,性能最高,适用于仅需原子性、不依赖跨线程可见性的场景(如本地计数器)
典型使用模式对比
用 synchronized 的典型场景:
- 多个字段协同更新(如账户余额 + 交易日志)
- 复合逻辑判断+修改(如“若未启动则启动”,含 doStart() 调用)
- 需要阻塞等待资源(如生产者-消费者中 wait/notify)
用 VarHandle 的典型场景:
- 单字段状态切换(running = true/false),配合 CAS 循环实现无锁启停
- 高性能计数器(如 Metrics 中的 counter),避免 AtomicLong 对象创建
- 自定义无锁数据结构(如 Treiber stack、Michael-Scott queue)中的 head/tail 原子更新
- 在虚拟线程密集场景下,减少 synchronized 可能引发的载体线程阻塞(Java 24+ 中虽已优化,但 VarHandle 仍可进一步规避)
性能与可维护性权衡
在低争用、短临界区下,synchronized 经过 JDK 1.6+ 优化(偏向锁、自适应自旋等)已非常高效,且语义清晰、不易出错。
VarHandle 性能优势体现在:零对象分配(直接绑定字段)、更细粒度屏障、无锁逻辑天然适配虚拟线程调度。但它要求开发者理解 JMM、happens-before 和 CPU 内存序,稍有不慎就会写出看似正确实则存在重排序漏洞的代码。
例如,仅用 VarHandle.setRelease 更新状态位,并不能自动让之前所有计算结果对其他线程可见——你得自己确保那些计算发生在 setRelease 之前,且对方用 getAcquire 或更强语义读取。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











