你了解 Java 的逃逸分析吗？

回答重点

逃逸分析（Escape Analysis）是 Java 编译器的优化技术，用于确定一个对象的作用范围，即分析对象是否会逃逸出当前方法或线程的作用范围。如果对象不会逃逸，JVM 可以实现栈上分配、同步消除、标量替换等优化，减少内存分配开销和同步开销，从而提高应用的性能。

逃逸的两种类型：

• 方法逃逸：如果一个对象在方法内部创建，并作为返回值或通过参数传递给其他方法，则该对象会逃逸到方法之外。
• 线程逃逸：如果对象被另一个线程访问，或者被保存为静态变量或共享变量，该对象会逃逸到该线程或全局作用域。

逃逸分析的三种优化：

• 栈上分配：如果对象没有逃逸出当前方法，JVM 可以将该对象分配到栈上，而不是堆中，减少堆内存分配和垃圾回收的开销。
• 标量替换：如果对象没有逃逸且可以拆解，JVM 可能将该对象的字段替换为标量（如基本类型），避免对象的内存分配。
• 同步消除：如果对象只在线程内部使用且不会逃逸，JVM 会移除不必要的同步锁，提升性能。

扩展知识

Java 中逃逸分析配置

默认情况下，JVM 已经支持逃逸分析，但你可以通过以下 JVM 参数启用或禁用逃逸分析相关优化：

• -XX:+DoEscapeAnalysis：启用逃逸分析（默认开启）。
• -XX:+EliminateLocks：启用同步消除（基于逃逸分析）。
• -XX:+EliminateAllocations：启用标量替换（基于逃逸分析）。

标量替换示例：

如果一个对象只在局部范围内使用，并且对象的字段可以分解成多个局部变量，JVM 会进行标量替换，避免完整对象的创建和分配。例如：

public class Point {
    int x;
    int y;
}

public void movePoint() {
    Point p = new Point();
    p.x = 10;
    p.y = 20;
}

在标量替换优化下，Point 对象可能不会被真正创建，p.x 和 p.y 会被替换为两个局部变量 x 和 y。