锁消除是JVM通过逃逸分析确认对象未逃逸后自动移除无竞争同步的操作。若对象仅在方法内创建使用、不被返回、不赋值给静态字段、不传入跨线程方法，则判定为线程私有，synchronized块被JIT直接删除；典型场景包括局部new的StringBuffer、ArrayList等；但对象赋值给static字段、作为返回值、进入全局容器或逃逸分析被关闭时，锁消除失效。
锁消除是JVM在运行时自动去掉无竞争同步操作的一种优化手段，它不改变程序逻辑，但能显著减少锁开销。核心前提是：JVM确认某个被加锁的对象根本不会被多个线程共享——那锁就纯属多余。
锁消除发生的前提：逃逸分析必须“看到”对象没跑出去
逃逸分析是锁消除的基石。JVM会追踪一个对象的使用范围：
- 如果对象只在当前方法内创建、使用，且没被返回、没被赋值给静态字段、没传给其他方法（尤其是可能跨线程的方法），就判定为“未逃逸”
- 未逃逸 → 属于当前线程私有 → 不可能被其他线程并发访问 → 同步毫无意义 → JIT编译器直接删掉synchronized块或同步方法里的锁逻辑
- 典型例子：方法内new的StringBuffer、局部创建的Counter实例、仅在栈上使用的集合包装类等
哪些代码结构容易触发锁消除
不是所有带synchronized的代码都能被消除，关键看对象生命周期是否可控：
- 局部对象且无外泄：比如new StringBuffer().append("a").append("b")，对象连方法体都没离开，JIT会把内部的synchronized方法调用优化成无锁版本
-
私有临时实例：像new ArrayList
() 被synchronized修饰的方法操作，只要它不被存入成员变量或传给线程池任务，通常可消除 - 构造后立即使用、不暴露引用：例如在for循环里反复new一个同步工具类并调用其方法，只要每次都是新对象且无共享，锁也会被消
锁消除不是万能的：这些情况它不会动
一旦JVM无法100%确定线程安全性，就会保守保留锁：
立即学习“Java免费学习笔记（深入）”；
- 对象被赋值给static字段、作为方法返回值、放入全局容器（如ConcurrentHashMap以外的Map）、传给Executor.submit()等
- 方法参数是同步对象，且该参数来源不可控（比如来自外部调用方）
- 开启了-XX:-DoEscapeAnalysis（显式关闭逃逸分析），锁消除就完全失效
- 对象虽然局部创建，但通过反射、JNI或某些框架代理间接“逃逸”，JIT无法识别时也会放弃优化
基本上就这些。锁消除是JVM默默做的好事，开发者不用写额外代码，但得理解它的边界——写清楚作用域、少让对象“乱跑”，就是在帮JIT做优化。
