3.3.3 逃逸分析 (Escape Analysis)

文档摘要

3.3.3 逃逸分析 (Escape Analysis) 逃逸分析，不是编译器在写诗，也不是虚拟机在冥想——它是编译器在代码的指针迷宫中，冷静地画下一道道边界线：这条线之内，对象安分守己，只活在栈上、只被当前函数私有持有；越过这道线，对象便“逃逸”了——它可能被存入堆、被传给其他线程、被写入全局变量、甚至被反射机制捕获。一旦逃逸，它就再也不是编译器能轻易优化的对象；它成了GC的常客、缓存的弃子、并发的隐患源。而我们今天要做的，不是泛泛而谈“逃逸是什么”，而是亲手拨开JVM HotSpot与LLVM MLIR这两套主流工业级实现的源码迷雾，看清楚：逃逸分析究竟如何落地？它的算法骨架长什么样？哪些配置开关真正起效？