JIT编译与逃逸分析协同工作：JIT动态识别热点代码并编译为机器码，逃逸分析则在编译阶段判断对象是否逃逸，据此决定栈上分配、标量替换或锁消除，从而提升性能。
JVM 的 JIT 编译与逃逸分析不是两个孤立机制，而是协同工作的优化组合：JIT 负责把高频执行的字节码“热路径”编译成高效机器码，逃逸分析则在编译阶段帮 JIT 做出更精准的内存决策——比如该把对象放在栈上还是堆上。
JIT 即时编译的核心逻辑
JIT 不是启动时就全量编译，而是运行中动态识别“热点代码”。HotSpot 通过计数器（方法调用次数、循环回边次数）判定热点，一旦触发阈值（如默认10000次），就会把对应方法交给 JIT 编译器处理。
- C1 编译器侧重快速编译和基础优化，适合响应敏感场景（如 Web 请求入口）；
- C2 编译器耗时更长但优化更深，适用于长期运行的服务端逻辑；
- Java 8+ 默认启用分层编译，让 C1 先扛住启动压力，再逐步交由 C2 深度优化。
逃逸分析到底在分析什么
逃逸分析本质是静态数据流分析，判断一个新创建的对象是否“逃出”当前作用域。它不看运行时实际值，而是追踪对象引用的传播路径：
- 对象仅在当前方法内使用 → 不逃逸 → 可栈上分配或标量替换（拆成字段直接存寄存器）；
- 对象被返回、传入其他线程、赋值给静态字段或作为参数传给未知方法 → 逃逸 → 必须堆分配；
- 即使对象逃逸，若只逃逸到当前线程内（如传给另一个方法但不出线程），仍可能做同步消除（去掉无意义的 synchronized）。
JIT 如何利用逃逸分析结果
逃逸分析本身不直接提升性能，它的价值在于为 JIT 提供关键优化依据：
立即学习“Java免费学习笔记（深入）”；
- 栈上分配：避免 GC 压力，尤其对短生命周期小对象（如 StringBuilder、LocalDateTime）效果明显；
- 标量替换：把对象字段直接展开为局部变量，消除对象头和内存对齐开销；
- 锁消除：确认锁对象未被多线程共享，直接删掉 synchronized 块；
- 这些优化只有在 JIT 编译阶段才能生效，解释执行时完全不可用。
实际影响与注意事项
逃逸分析不是总开启，默认依赖 JVM 参数和运行时条件：
- Java 8u60+ 默认开启，但需配合 -XX:+DoEscapeAnalysis（现代 JDK 通常已默认启用）；
- 对象数组、反射调用、JNI 调用等会中断分析，导致保守处理（堆分配）；
- 逃逸分析结果可能随编译层级变化——C1 编译时可能未分析清楚，C2 再编译时才确认可优化。
