当前位置：首页 > news >正文

JVM 逃逸分析

news 来源：原创 2025/5/11 10:35:14

JVM逃逸分析：让Java对象"乖乖听话"的侦探游戏

大家好！我是你们的老朋友"代码神探福尔摩斯"，今天要带大家破解一个JVM界的经典悬案——如何让Java对象乖乖待在它该待的地方？

第一章：案发现场——堆与栈的爱恨情仇

（拿出放大镜）先来勘察案发现场。想象我们的内存世界有两个重要区域：

堆区：像个大型公共停车场，所有对象都能自由出入（但停车费高昂）
栈区：像私家车库，只能停放当前线程的私人物品（免费且存取超快）

传统情况下，所有新对象都会被默认停放在堆区停车场。但我们的探案目标是——找到那些可以偷偷溜进私家车库的对象！

public class ParkingLot {// 这个对象必定停在堆区停车场Object publicCar = new Object();void parkCar() {// 这个对象有机会停在栈区车库Object privateCar = new Object();}
}

第二章：逃犯画像——什么对象会"越狱"？

逃逸分析就是JVM的监控系统，专门侦测对象是否会：

方法逃逸（Method Escape）：对象被其他方法引用
线程逃逸（Thread Escape）：对象被其他线程访问

（掏出嫌疑人画像）比如这个"逃犯对象"：

public Object createEscapedCar() {Object car = new Object();return car; // 对象逃出方法！
}

而下面这位是"良民对象"：

public void createGoodCar() {Object car = new Object();car.drive(); // 对象始终在方法内
}

第三章：特工装备——三种秘密武器

一旦确认对象不会逃逸，JVM特工就会掏出三件法宝：

1. 栈上分配（Stack Allocation）

把对象直接存放在栈帧里，就像把外卖放在家门口的临时寄存架：

void eatNoodles() {// 这个碗不会逃出方法Bowl bowl = new Bowl();bowl.add(new Noodles());bowl.eat();
} // 吃完碗直接收走，无需垃圾回收

2. 标量替换（Scalar Replacement）

把对象拆成零件，就像把自行车拆成车架+轮子：

void rideBike() {Bike bike = new Bike(); // 被拆解为int frame = 1;          // 车架int wheel = 2;          // 轮子System.out.println(frame + wheel);
}

3. 同步消除（Sync Elimination）

发现没人偷车，直接拆掉车锁：

void safeMethod() {Object lock = new Object();synchronized(lock) { // 这个锁会被移除！System.out.println("根本没人抢这个锁");}
}

第四章：实战训练——成为逃逸分析大师

案例1：不会逃逸的乖宝宝

public class GoodBoy {public static void main(String[] args) {for (int i = 0; i < 1000000; i++) {// 这个对象只在循环内使用LocalObject obj = new LocalObject();obj.print();}}static class LocalObject {void print() {System.out.println("我是乖宝宝");}}
}

这个案例中，JVM会进行：

栈上分配（循环内快速创建销毁）
标量替换（可能直接使用基本类型）

案例2：到处乱跑的熊孩子

public class NaughtyKid {private static Object escapedObj;public static void main(String[] args) {for (int i = 0; i < 1000000; i++) {Object obj = new Object();escapedObj = obj; // 对象逃逸到类变量！use(obj);}}static void use(Object obj) {System.out.println(System.identityHashCode(obj));}
}