什么是栈上分配、逃逸分析？是否可以让对象不分配在堆上？

# 1) 逃逸分析（Escape Analysis, EA） JIT（C2 编译器）在**编译热点方法**时做静态分析，看某个对象的引用是否会“逃出”当前作用域（方法/线程）： * **NoEscape（不逃逸）**：对象只在当前方法内可见； * **ArgEscape（参数逃逸）**：对象随参数在当前线程内传播，但不跨线程； * **GlobalEscape（全局逃逸）**：对象可能被返回、赋给全局/静态字段、存入可共享结构或跨线程可见。 EA 的结论是若对象**不逃逸**（或只在本线程且可证明安全），JIT 就可以进一步做： * **栈上分配（Stack Allocation）**：把对象内存放在当前栈帧里； * **标量替换（Scalar Replacement）**：连“对象”都不分了，把它的字段拆成若干个局部/寄存器变量，**完全消除分配**； * **锁消除/锁粗化**：可证明无竞争的 `synchronized` 直接去掉或合并。 > 开关：自 JDK 7 起默认开启 > `-XX:+DoEscapeAnalysis -XX:+EliminateAllocations` > 诊断： > `-XX:+UnlockDiagnosticVMOptions -XX:+PrintEscapeAnalysis -XX:+PrintEliminateAllocations` # 2) 栈上分配（Stack Allocation） 当一个对象被判定为 **NoEscape**，且形态简单、大小可知时，JIT 可以把它放到当前**方法栈帧**中： * 生命周期 == 方法调用期，方法返回后内存自动“回收”，不会进入 GC； * 若发生**去优化（deoptimization）**，JIT 可能把它“物化”（materialize）回堆上，以确保语义不变； * 只对**已JIT编译**的热点路径生效；解释执行（`-Xint`）看不到此优化。 # 3) 能让对象不分配到堆上吗？ **可以，但不保证**。是否落到堆上由 JIT 的逃逸分析与优化机会决定，属于**优化而非语义**： * 最理想：**标量替换**，根本没有对象分配； * 次之：**栈上分配**，不进堆； * 保底：即便 EA 认为“线程本地”，也可能走 **TLAB**（Thread-Local Allocation Buffer）在线程私有的堆小区快速分配——仍然是堆，但非常快。 > 结论：你**不能强制**“一定不上堆”，但可以通过写法“创造条件”，让 JIT 更容易做 EA/栈分配/标量替换。 # 4) 典型例子 ```java static class Point { int x, y; Point(int x, int y) { this.x = x; this.y = y; } } static int foo() { Point p = new Point(1, 2); // 理想：标量替换 或 栈上分配 return p.x + p.y; } ``` 在优化良好时，`new Point(1,2)` 可能被完全消除，仅剩常量加法；没有任何堆分配或 GC 压力。 与之相对的“逃逸”示例： ```java static Point cache; static Point bar() { Point p = new Point(1, 2); cache = p; // 逃逸到全局，必须在堆上可达 return p; // 返回引用也算全局逃逸 } ``` # 5) 什么时候会“逃逸” * 返回这个对象或把它放入参数/返回值能触达的结构中； * 赋给**长生命周期**字段（静态/单例/成员）或放入共享容器； * 传给可能跨线程持有/发布的 API（线程池、队列、Future 等）； * 传给 JIT 难以证明安全的方法（虚调用、反射、`native`）——JIT会保守处理。 # 6) 与 TLAB 的关系 * **TLAB** 只是“更快的堆分配”，不是栈上分配。 * 当 EA 不能做栈分配/标量替换，且对象仅线程本地使用时，常见路径是**在 TLAB 里**完成分配，性能也很好，但仍会增加堆占用与潜在 GC。 # 7) 实战建议（让对象“更可能不上堆”） 1. **限制可见性与作用域**：对象只在方法内用，不返回、不存字段； 2. **避免把对象传到未知/复杂方法**：尤其是会缓存或跨线程的地方； 3. **小而简单的不可变对象**更容易被标量替换； 4. **热路径**要让 JIT 有机会编译到 C2（避免频繁切换代码路径、避免`-Xint`）； 5. 观测时使用 JFR / JITWatch，对照 `-XX:+PrintEliminateAllocations` 输出验证是否发生了**分配消除/栈上分配**。注意有些 profiler 会因插桩改变优化结果。 # 8) 小结 * **逃逸分析**决定对象是否可能离开当前作用域； * 若**不逃逸**，JIT 可能做**栈上分配**或更进一步的**标量替换（最佳）**； * 你**不能保证**对象一定不在堆上，但可以通过写法与运行条件，**大幅提高**“不上堆”的概率并降低 GC 压力。