锁消除和锁粗化是jvm jit编译器自动执行的同步优化:锁消除基于逃逸分析移除无竞争的锁,锁粗化则合并连续小粒度锁以减少开销,二者均不改变语义、无需手动干预,仅在c2编译的热点代码中生效。

锁消除和锁粗化是 HotSpot JVM 在运行时由 JIT 编译器(主要是 C2 编译器)自动完成的同步优化,不依赖程序员手动干预,也不改变程序语义。它们发生在代码被频繁执行、触发热点编译之后,属于“看不见但影响大”的底层性能优化。
锁消除:靠逃逸分析判断“锁根本没用”
锁消除的核心是逃逸分析(Escape Analysis)。JVM 分析一个对象是否可能被其他线程访问:
- 如果对象仅作为局部变量创建,且未赋值给 static 字段、未传入未知方法(如 logger.info())、未放入共享容器(如 HashMap、ConcurrentLinkedQueue),也未被发布到 ThreadLocal 之外的作用域
- 就判定该对象“未逃逸”,即只被当前线程独占访问
- 此时对它的 synchronized 操作(比如调用 StringBuffer.append())就被视为冗余——没有竞争,就不需要同步
- JIT 会直接移除 monitor enter/exit 指令,甚至不生成相关字节码,等效于把 synchronized 块整个删掉
典型例子:方法内 new StringBuffer() 后连续调用三次 append(),JVM 确认 sb 不逃逸,就消除全部三处内部锁,性能接近 StringBuilder。
锁粗化:把“碎锁”合并成“一块大锁”
锁粗化针对的是高频、连续、锁定同一对象的小粒度同步块,目的是减少锁获取/释放的系统开销(如用户态到内核态切换):
Java JDK 25 来自 OpenJDK 官方归档,版本为 JDK 25,本条下载地址已指向官方 Windows x64 zip 安装包直链,适合调试旧项目或兼容旧版 Java 运行环境。
- 常见场景包括:for 循环体内每次迭代都 synchronized(this),或连续几个 synchronized(lock) 块操作同一 lock 对象
- JIT 会将这些相邻的细粒度锁合并为一个更大范围的同步区域,例如把循环内的多个 synchronized 块提升到整个循环外
- 前提条件是:锁对象完全相同、中间无异步点(如 wait()、I/O 调用)、无外部可观察的状态变更依赖
- 不是简单地“扩大作用域”,而是确保合并后仍满足原有线程安全约束
例如 Vector 的连续 add() 调用,JVM 可能将多次加锁解锁合并为一次包裹整个操作序列的大锁。
这两个优化什么时候生效
它们不会在代码刚启动或低频执行时出现:
- 必须进入 JIT 的 C2 编译阶段(服务端模式,默认开启)
- 依赖逃逸分析启用(JDK8+ 默认开启 -XX:+DoEscapeAnalysis)
- 锁消除还需显式开启 -XX:+EliminateLocks(与逃逸分析联动)
- 目标方法需被反复调用(如循环 10 万次以上),成为热点代码后才可能被优化
本地小规模测试常看不到效果,是因为解释执行或 C1 编译阶段不触发这些优化。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










