一、啥是 JVM 逃逸分析和栈上分配
咱先来说说 JVM 逃逸分析。JVM 就像是 Java 程序运行的小房子，在这个房子里，有个功能叫逃逸分析。简单来讲，逃逸分析就是看看一个对象会不会“跑出去”。啥叫“跑出去”呢？就是这个对象会不会被其他方法或者线程访问到。如果一个对象只在一个方法里用，不会被其他地方引用，那它就没有“逃逸”。
再说说栈上分配。在 JVM 里，有栈和堆这两个地方。堆就像是一个大仓库，用来存放对象；栈就像是一个个小格子，每个方法都有自己的小格子。栈上分配就是把那些没有逃逸的对象直接分配到栈上，而不是堆上。
举个例子，看下面这段 Java 代码：
// Java 技术栈
public class EscapeAnalysisExample {
// 定义一个方法
public static void main(String[] args) {
// 创建一个对象，这个对象只在 main 方法里使用，不会逃逸
Person person = new Person("John", 25);
// 调用对象的方法
System.out.println(person.getName());
}
}
// 定义一个 Person 类
class Person {
private String name;
private int age;
// 构造方法
public Person(String name, int age) {
this.name = name;
this.age = age;
}
// 获取名字的方法
public String getName() {
return name;
}
}
在这个例子里，person 对象只在 main 方法里使用，不会被其他方法或者线程访问，所以它没有逃逸。JVM 就可以把这个对象分配到栈上。
二、JIT 编译器在其中的作用
JIT 编译器就像是一个聪明的小助手，它能把 Java 字节码编译成机器码，让程序运行得更快。在逃逸分析和栈上分配里，JIT 编译器起到了关键作用。当 JIT 编译器发现一个对象没有逃逸时，它就会把这个对象分配到栈上。
还是上面那个例子，JIT 编译器在运行时会分析 person 对象，发现它没有逃逸，就会把它分配到栈上。这样，当 main 方法执行完，栈上的空间就会自动释放，不需要垃圾回收器来回收，从而减少了内存占用。
三、应用场景
1. 高并发场景
在高并发场景下，会创建大量的对象。如果这些对象都分配到堆上，会给垃圾回收器带来很大的压力，导致程序性能下降。通过逃逸分析和栈上分配，把没有逃逸的对象分配到栈上，可以减少堆的内存占用，提高程序的性能。
比如，一个电商系统在促销活动时，会有大量的用户请求。每个请求都会创建一些临时对象，如果这些对象都分配到堆上，堆的内存很快就会被占满。通过逃逸分析和栈上分配，把那些只在请求处理方法里使用的对象分配到栈上，就可以减少堆的压力。
2. 嵌入式系统
嵌入式系统的内存资源通常比较有限。在嵌入式系统里运行 Java 程序时，通过逃逸分析和栈上分配，可以减少内存占用，让程序在有限的内存资源下更好地运行。
比如，一个智能手表的应用程序，内存资源非常有限。通过逃逸分析和栈上分配，把一些临时对象分配到栈上，可以节省内存，让手表的电池续航更久。
四、技术优缺点
优点
1. 减少内存占用
把没有逃逸的对象分配到栈上，栈上的空间在方法执行完后会自动释放，不需要垃圾回收器来回收，从而减少了堆的内存占用。
2. 提高性能
减少了垃圾回收的次数，降低了垃圾回收的开销，提高了程序的性能。
3. 降低内存碎片化
堆上的内存容易出现碎片化，而栈上的内存分配和释放是连续的，不会出现碎片化问题。
缺点
1. 分析成本
逃逸分析需要一定的时间和资源，对于一些简单的程序，逃逸分析的成本可能会超过带来的收益。
2. 不适合复杂对象
对于一些复杂的对象，逃逸分析可能无法准确判断对象是否逃逸，导致无法进行栈上分配。
五、注意事项
1. 开启逃逸分析
在 Java 里，逃逸分析默认是开启的，但在一些旧版本的 Java 里，可能需要手动开启。可以通过 -XX:+DoEscapeAnalysis 参数来开启逃逸分析。
2. 代码优化
为了让逃逸分析更好地工作，我们需要优化代码。尽量让对象只在一个方法里使用，避免对象被其他方法或者线程引用。
比如，下面这段代码就可以优化：
// Java 技术栈
public class BadExample {
private static Person person;
public static void main(String[] args) {
createPerson();
System.out.println(person.getName());
}
public static void createPerson() {
person = new Person("John", 25);
}
}
在这个例子里，person 对象被静态变量引用，会逃逸到类的作用域，无法进行栈上分配。可以把代码优化成：
// Java 技术栈
public class GoodExample {
public static void main(String[] args) {
Person person = createPerson();
System.out.println(person.getName());
}
public static Person createPerson() {
return new Person("John", 25);
}
}
优化后的代码里，person 对象只在 main 方法里使用，不会逃逸，可以进行栈上分配。
六、文章总结
JVM 逃逸分析和栈上分配是 JIT 编译器的重要优化技术，通过逃逸分析判断对象是否逃逸，把没有逃逸的对象分配到栈上，可以减少内存占用，提高程序性能。在高并发场景和嵌入式系统里，这种技术非常有用。但逃逸分析也有一定的成本，对于复杂对象可能无法准确判断。在使用时，需要开启逃逸分析，并优化代码，让对象尽量不逃逸。
评论