Java逃逸与逃逸分析1. 什么是“逃逸”1.1 概念“逃逸”是指一个对象被分配后其引用被传递到了创建它的方法或线程之外导致外部可以访问到它。根据逃逸的范围主要分为三种情况不逃逸 (NoEscape)对象只在方法内部使用不会被外部访问。这是最理想的状态可以进行深度优化。方法逃逸 (MethodEscape)对象作为方法参数传递或被作为返回值返回。例如return sb; 就可能导致对象逃逸到调用方。线程逃逸 (ThreadEscape)对象被赋值给类变量或实例变量可能被其他线程访问。例如public static GlobalEscape instance new GlobalEscape(); 就发生了全局线程逃逸。1.2 代码示例发生逃逸无法优化publicstaticStringBuffercreateStringBuffer(Strings1,Strings2){StringBuffersbnewStringBuffer();// 对象在方法内创建sb.append(s1);sb.append(s2);returnsb;// 对象被返回发生了方法逃逸[reference:24]}未发生逃逸可优化publicstaticStringcreateString(Strings1,Strings2){StringBuffersbnewStringBuffer();// 对象在方法内创建sb.append(s1);sb.append(s2);returnsb.toString();// 返回的是Stringsb本身没有逃逸[reference:25]}2. 逃逸分析2.1 概念逃逸分析是 JIT 编译器JVM 的即时编译器如 C2在运行时做的一项静态分析目的是判断一个对象是否会逃逸出当前方法或线程。JVM 在 Java 6 引入Java 7 开始默认开启-XX:DoEscapeAnalysis。基于逃逸分析的结果JVM会进行以下几种主要优化目标是减轻GC垃圾回收压力提升程序性能。栈上分配 (Stack Allocation)通常Java对象在堆上分配。如果分析确认对象不会逃逸出方法JIT编译器会尝试将其分配在栈上。好处对象随方法调用结束自动销毁无需GC介入效率极高。标量替换 (Scalar Replacement)这是一种更激进的优化。如果对象不逃逸JIT在编译时可能不创建完整对象而是将其字段拆解替换为多个独立的局部变量标量来使用。好处无需在堆上分配内存进一步减少GC压力。同步锁消除 (Lock Elimination)对于被synchronized同步块保护的对象如果分析确认该对象不会发生线程逃逸即只被一个线程访问JIT会消除这个同步锁。好处避免不必要的锁竞争开销提升单线程下的执行效率。2.2 代码示例标量替换Scalar Replacement把对象拆散成多个基本类型变量彻底消灭对象分配// 原代码PointpnewPoint(1,2);intsump.xp.y;// JIT 优化后相当于intpx1,py2;intsumpxpy;// 根本没有对象被创建锁消除Lock Elision如果一个加了 synchronized 的对象不逃逸不可能被多线程共享JIT 会直接删掉这把锁避免无意义的加锁开销。voidfoo(){StringBuffersbnewStringBuffer();// 不逃逸sb.append(a);// synchronized 方法但锁会被消除sb.append(b);}2.3 小结粒度从小到大不逃逸 → 方法逃逸 → 线程逃逸。只有不逃逸的对象才能享受全部优化。3.使用与配置3.1 相关参数开启/关闭逃逸分析在 JDK 6u23及以后版本默认开启。强制开启-XX:DoEscapeAnalysis 强制关闭-XX:-DoEscapeAnalysis相关参数-XX:EliminateLocks开启锁消除默认开启 -XX:EliminateAllocations开启标量替换默认开启3.2 具体配置方式直接启动命令行java-XX:DoEscapeAnalysis-jaryour-app.jarIDEA 开发环境Run/Debug Configurations → VM options 里填-XX:-DoEscapeAnalysisMaven / Gradle 测试时!--maven-surefire-plugin--configurationargLine-XX:-DoEscapeAnalysis/argLine/configurationTomcat / 应用服务器在 catalina.sh 或 catalina.bat 里配置 JAVA_OPTSJAVA_OPTS-XX:DoEscapeAnalysis -XX:EliminateLocksSpring Boot 打包运行java-XX:DoEscapeAnalysis-jarspring-boot-app.jar3.3 逃逸分析参数与GC参数对比通俗的描述GC相关参数像是环卫部门的管理制度多久扫一次地垃圾丢哪个桶。逃逸分析参数像是生产部门的工艺改进制造产品时尽量少产生包装废料从源头减量。逃逸分析让对象尽量不产生在堆里比如放在栈上自动销毁从而帮GC减轻了负担但配置的主体依然是JIT编译器而不是GC回收器本身。4. 结语依赖JIT逃逸分析是运行时由JIT编译器完成的依赖其实现质量。分析成本逃逸分析本身有一定性能开销并非所有代码都能从中获益。并非万能它只是一个分析工具最终优化效果取决于JVM的具体实现并非所有“不逃逸”的对象都能被成功优化。总的来说逃逸分析是JVM一项重要的幕后优化技术开发者常规情下无需手动干预而了解其原理有助于写出对JVM更友好的代码。
Java逃逸与逃逸分析1. 什么是“逃逸”1.1 概念“逃逸”是指一个对象被分配后其引用被传递到了创建它的方法或线程之外导致外部可以访问到它。根据逃逸的范围主要分为三种情况不逃逸 (NoEscape)对象只在方法内部使用不会被外部访问。这是最理想的状态可以进行深度优化。方法逃逸 (MethodEscape)对象作为方法参数传递或被作为返回值返回。例如return sb; 就可能导致对象逃逸到调用方。线程逃逸 (ThreadEscape)对象被赋值给类变量或实例变量可能被其他线程访问。例如public static GlobalEscape instance new GlobalEscape(); 就发生了全局线程逃逸。1.2 代码示例发生逃逸无法优化publicstaticStringBuffercreateStringBuffer(Strings1,Strings2){StringBuffersbnewStringBuffer();// 对象在方法内创建sb.append(s1);sb.append(s2);returnsb;// 对象被返回发生了方法逃逸[reference:24]}未发生逃逸可优化publicstaticStringcreateString(Strings1,Strings2){StringBuffersbnewStringBuffer();// 对象在方法内创建sb.append(s1);sb.append(s2);returnsb.toString();// 返回的是Stringsb本身没有逃逸[reference:25]}2. 逃逸分析2.1 概念逃逸分析是 JIT 编译器JVM 的即时编译器如 C2在运行时做的一项静态分析目的是判断一个对象是否会逃逸出当前方法或线程。JVM 在 Java 6 引入Java 7 开始默认开启-XX:DoEscapeAnalysis。基于逃逸分析的结果JVM会进行以下几种主要优化目标是减轻GC垃圾回收压力提升程序性能。栈上分配 (Stack Allocation)通常Java对象在堆上分配。如果分析确认对象不会逃逸出方法JIT编译器会尝试将其分配在栈上。好处对象随方法调用结束自动销毁无需GC介入效率极高。标量替换 (Scalar Replacement)这是一种更激进的优化。如果对象不逃逸JIT在编译时可能不创建完整对象而是将其字段拆解替换为多个独立的局部变量标量来使用。好处无需在堆上分配内存进一步减少GC压力。同步锁消除 (Lock Elimination)对于被synchronized同步块保护的对象如果分析确认该对象不会发生线程逃逸即只被一个线程访问JIT会消除这个同步锁。好处避免不必要的锁竞争开销提升单线程下的执行效率。2.2 代码示例标量替换Scalar Replacement把对象拆散成多个基本类型变量彻底消灭对象分配// 原代码PointpnewPoint(1,2);intsump.xp.y;// JIT 优化后相当于intpx1,py2;intsumpxpy;// 根本没有对象被创建锁消除Lock Elision如果一个加了 synchronized 的对象不逃逸不可能被多线程共享JIT 会直接删掉这把锁避免无意义的加锁开销。voidfoo(){StringBuffersbnewStringBuffer();// 不逃逸sb.append(a);// synchronized 方法但锁会被消除sb.append(b);}2.3 小结粒度从小到大不逃逸 → 方法逃逸 → 线程逃逸。只有不逃逸的对象才能享受全部优化。3.使用与配置3.1 相关参数开启/关闭逃逸分析在 JDK 6u23及以后版本默认开启。强制开启-XX:DoEscapeAnalysis 强制关闭-XX:-DoEscapeAnalysis相关参数-XX:EliminateLocks开启锁消除默认开启 -XX:EliminateAllocations开启标量替换默认开启3.2 具体配置方式直接启动命令行java-XX:DoEscapeAnalysis-jaryour-app.jarIDEA 开发环境Run/Debug Configurations → VM options 里填-XX:-DoEscapeAnalysisMaven / Gradle 测试时!--maven-surefire-plugin--configurationargLine-XX:-DoEscapeAnalysis/argLine/configurationTomcat / 应用服务器在 catalina.sh 或 catalina.bat 里配置 JAVA_OPTSJAVA_OPTS-XX:DoEscapeAnalysis -XX:EliminateLocksSpring Boot 打包运行java-XX:DoEscapeAnalysis-jarspring-boot-app.jar3.3 逃逸分析参数与GC参数对比通俗的描述GC相关参数像是环卫部门的管理制度多久扫一次地垃圾丢哪个桶。逃逸分析参数像是生产部门的工艺改进制造产品时尽量少产生包装废料从源头减量。逃逸分析让对象尽量不产生在堆里比如放在栈上自动销毁从而帮GC减轻了负担但配置的主体依然是JIT编译器而不是GC回收器本身。4. 结语依赖JIT逃逸分析是运行时由JIT编译器完成的依赖其实现质量。分析成本逃逸分析本身有一定性能开销并非所有代码都能从中获益。并非万能它只是一个分析工具最终优化效果取决于JVM的具体实现并非所有“不逃逸”的对象都能被成功优化。总的来说逃逸分析是JVM一项重要的幕后优化技术开发者常规情下无需手动干预而了解其原理有助于写出对JVM更友好的代码。
