锁消除是JIT基于栈封闭与逃逸分析协同实现的运行时优化：确认局部对象未逃逸后，跳过monitorenter/monitorexit的实际执行，消除无竞争的synchronized同步开销。
核心依据是“栈封闭”与“逃逸分析”的协同作用：局部变量天然绑定在单个线程的调用栈上，JVM 通过逃逸分析确认该对象未被其他线程可见，从而判定其同步操作无实际竞争意义，最终由 JIT 编译器在运行时消除锁。
栈封闭保障线程私有性
方法内声明的局部变量（包括基本类型和对象引用）存储在当前线程的栈帧中。每个线程拥有独立栈空间，因此：
- 同一变量在不同线程中是完全隔离的副本，不存在共享；
- 只要对象本身（如 new StringBuilder()）不被传出方法，其引用就始终停留在栈内；
- 这种封闭性使得对它的读写无需跨线程协调，也就不需要锁来保证原子性或可见性。
逃逸分析确认无竞争前提
JVM 的 C2 编译器会对热点方法做逃逸分析，只有满足全部以下条件，才认定对象“未逃逸”：
- 对象在方法内 new 出来，未作为返回值返回；
- 未赋值给静态字段、实例字段或全局容器（如 static Map）；
- 未传入可能跨线程的方法（如 Thread.start()、Executor.submit()、日志框架入口）；
- 未被反射、Unsafe 或 JNI 操作访问。
一旦确认未逃逸，JIT 就知道这个锁永远只被一个线程持有，不会发生真实竞争——锁的存在只剩字节码层面的形式，没有运行时语义价值。
锁消除是 JIT 的动态优化行为
这不是编译期删代码，也不是程序员手动去掉 synchronized：
- javac 生成的字节码里仍保留 monitorenter/monitorexit 指令；
- 只有当方法被 C2 编译为本地代码时，JIT 才会根据逃逸结论，跳过实际的 monitor 获取逻辑；
- 该优化仅适用于内置锁（synchronized 块）、局部对象（如 new Object()）、StringBuffer 等典型场景，不适用于 this、ReentrantLock、数组等。
效果本质是“去同步化”，不是“去状态化”
所谓“无状态逻辑”，准确说是“无共享状态”。局部变量虽可能含临时状态（如 StringBuilder 内部 char[]），但因栈封闭+未逃逸，该状态不会被其他线程观测或修改。因此：
- 不需要 volatile 保证可见性；
- 不需要 synchronized 保证原子性；
- 也不需要 Lock 支持可中断或超时——因为根本不存在等待者。
