逃逸分析是jvm在运行时判断对象引用是否超出当前方法作用域的技术，通过分析对象是否被外部访问、返回、存储到堆中或跨线程共享来决定是否栈上分配；可借助-xx:+printescapeanalysis等参数验证效果。
逃逸分析（Escape Analysis）是 JVM 在运行时（或 JIT 编译阶段）对对象的动态生命周期进行分析的技术，核心目标是判断一个对象的引用是否“逃逸”出当前方法的作用域——即是否被其他线程访问、是否作为返回值传出、是否被存储到堆中全局可及的位置等。它不依赖静态代码扫描，而是结合控制流、调用图和对象使用模式做综合推断。
看对象是否被赋值给非局部变量
如果对象仅在方法内部创建，并且其引用只保存在局部变量、方法参数或操作数栈中，未写入堆内存（如静态字段、实例字段、数组元素等），通常不会逃逸。例如：
void foo() {
StringBuilder sb = new StringBuilder(); // 仅在栈上持有引用
sb.append("hello");
System.out.println(sb.toString()); // 仍没逃逸
}
JVM 可能将 sb 栈上分配（标量替换），或直接优化掉对象创建。
检查是否作为方法返回值或被外部引用捕获
以下情况明确表示逃逸：
- 对象作为 return 值返回（如 return new Object()）
- 被赋值给 this 的字段（如 this.obj = new X()）
- 存入静态字段、全局容器（如 list.add(new X())）、或传入可能长期持有引用的方法（如 Thread.start()、executor.submit()）
此时 JVM 必须确保对象在堆上分配，因为其生命周期超出当前栈帧。
观察同步与跨线程共享行为
即使对象未显式传出，若存在同步块（synchronized(obj)）或被传递给其他线程（如作为 Runnable 参数），JVM 会保守判定为可能逃逸——因为其他线程可能通过该引用访问对象状态，需保证内存可见性和堆一致性。
借助 JVM 参数验证逃逸分析结果
可通过开启诊断选项观察实际分析效果：
- -XX:+PrintEscapeAnalysis：打印每个对象的逃逸状态（GlobalEscape / ArgEscape / NoEscape）
- -XX:+DoEscapeAnalysis -XX:+EliminateAllocations：启用逃逸分析与栈上分配
- -XX:+PrintGCApplicationStoppedTime 配合压测，间接观察分配减少带来的 GC 变化
注意：逃逸分析默认开启（JDK 8+），但仅在 Server 模式、C2 编译器生效，且对复杂调用链（如反射、接口多态）可能失效，转为保守处理。
