JVM内存逃逸

本文介绍了JVM中的内存逃逸现象,包括方法逃逸和线程逃逸的概念及实例。探讨了如何通过栈上分配、同步消除和标量替换等技术减少逃逸带来的影响。

JVM内存逃逸

  • 第一次听到JVM内存逃逸的名词时还是很懵逼的,于是赶紧各种查资料,终于搞懂了这个地方。

  • JVM的内存分配主要在是运行时数据区(Runtime Data Areas),而运行时数据区又分为了:方法区堆区PC寄存器Java虚拟机栈(就是栈区,官方文档还是叫Java虚拟机栈)本地方法区,而内存逃逸主要是对象的动态作用域的改变而引起的,故而内存逃逸的分析就是分析对象的动态作用域。

  • 方法逃逸

    • 什么是方法逃逸呢?举个栗子,在一个方法中定义一个对象后(方法内局部的),这个对象被外部方法引用,比如作为返回值返回传递到其他的地方,当这个方法执行结束要进行GC时,这个方法中的对象本应该被回收,却发现该对象还是存活状态没法回收,就称为方法逃逸

    • 上代码:

      public static StringBuffer getStringBuffer(String str1,String str2) {
          StringBuffer stringBuffer = new StringBuffer();
          stringBuffer.append(str1);
          stringBuffer.append(str2);
          return stringBuffer;
      }
      

      上面的代码中的stringBuffer虽然是方法内的局部变量,因为stringBuffer被当作返回值返回,这样stringBuffer可能被其他的方法所改变,作用域就不仅仅在本方法内啦,这样就是逃逸到了方法外部。对的,就是越狱了。

    • 怎么样才能不让stringBuffer逃出方法呢?那么不直接返回stringBuffer对象不就可以了嘛!如下面的代码:

      public static StringBuffer getStringBuffer(String str1,String str2) {
          StringBuffer stringBuffer = new StringBuffer();
          stringBuffer.append(str1);
          stringBuffer.append(str2);
          return stringBuffer.toString();
      }
      
  • 线程逃逸:上面的例子,直接将对象返回,该对象可能被外部线程访问,如:赋值给类变量等,称为线程逃逸。

  • 总的来说就是一个对象的指针被多个方法或者线程引用时,我们就称这个对象的指针发生了逃逸。

  • 优化:即证明一个对象不会逃逸到方法或线程外。

    • 栈上分配

      说起对象,那你第一个想到的是在堆空间上进行内存分配,GC在堆空间上筛选可回收的对象,回收对象,整理内存都需要浪费时间,若能通过逃逸分析确定某些对象是一定不会逃逸出方法之外的,就可以直接让这个对象在栈上分配内存,该对象随方法的执行结束栈帧出栈而销毁,减轻了GC的压力。

    • 同步消除

      线程同步本身比较耗时,若确定了一个变量不会逃逸出线程,无法被其他线程访问到,那这个变量的读写就不会存在竞争,这个变量的同步措施就可以清除掉。

    • 标量替换

      标量:Java中的原始数据类型(int,char,long等)都不能再进一步分解,他们就可以称为标量。

      聚合量:若一个数据可以继续分解,那就称之为聚合量,而对象就是典型的聚合量。

      若逃逸分析证明一个对象不会逃逸出方法,不会被外部访问,并且这个对象是可以被分解的,那程序在真正执行的时候可能不创建这个对象,而是直接创建这个对象分解后的标量来代替。这样就无需在对对象分配空间了,只在栈上为分解出的变量分配内存即可。

  • All in all

    • 逃逸分析是比较耗时的,所以性能未必提升很多,因为其耗时性,采用的算法都是不那么准确但是时间压力相对较小的算法来完成的,这就可能导致效果不稳定,要慎用。
    • 由于HotSpot虚拟机目前的实现方法导致栈上分配实现起来比较复杂,所以HotSpot虚拟机中暂时还没有这项优化。
    • 相关的JVM参数
      • -XX:+DoEscapeAnalysis 开启逃逸分析、
      • -XX:+PrintEscapeAnalysis 开启逃逸分析后,可通过此参数查看分析结果。
      • -XX:+EliminateAllocations 开启标量替换
      • -XX:+EliminateLocks 开启同步消除
      • -XX:+PrintEliminateAllocations 开启标量替换后,查看标量替换情况。

感谢阅读~
希望能对您有帮助~
给孩子留个赞吧~

### JVM 逃逸分析概述 JVM中的逃逸分析是一种编译期优化技术,用于判断对象是否会逃逸出当前线程或方法的作用域。通过这种分析,JDK能够做出一些优化决策来提高性能,比如栈上分配、同步消除等[^4]。 ### 逃逸分析引发内存泄漏的原因 当对象未正确处理其生命周期时,在某些情况下即使启用了逃逸分析也可能间接造成内存泄漏: - **错误的对象共享**:如果程序逻辑设计不当,使得原本应该局部化的对象意外地被其他部分持有引用,则这些对象无法及时回收,从而形成潜在的内存泄露风险。 - **误判为不逃逸的情况**:对于复杂的数据结构操作,尤其是涉及多线程环境下的并发访问模式下,可能存在难以精确判定是否发生逃逸的情形。此时可能会导致不必要的堆内存在长时间得不到释放而累积成内存泄漏现象。 ### 解决方案 针对上述由逃逸分析可能带来的问题,可以从以下几个方面着手解决: #### 合理调整GC策略与参数配置 适当调节垃圾收集器的选择及其相关参数可以帮助更好地管理应用程序内的资源消耗情况。例如启用G1 GC并合理设定初始和最大堆大小(-Xms,-Xmx),这有助于维持稳定的运行状态,防止由于频繁Full GC造成的性能瓶颈以及由此产生的隐含内存泄漏隐患[^1]。 ```bash java -XX:+UseG1GC -Xms512m -Xmx4g MyApplication ``` #### 审查代码逻辑确保无异常引用保留 仔细审查源码中涉及到对象创建及传递的部分,特别是那些跨作用范围使用的实例变量或者静态成员字段。确认它们不会无意间延长目标对象的生命周朗,进而阻碍正常的垃圾回收过程。 #### 利用工具辅助诊断排查 借助专业的性能剖析工具如VisualVM, MAT(Memory Analyzer Tool)等对正在执行的应用进程实施监控跟踪,定位具体引起内存占用过高的区域,并据此采取针对性措施加以改进。 #### 正确理解并运用逃逸分析特性 虽然现代版本Java已经默认开启此功能,但在特定场景下调优仍有必要深入了解该机制的工作原理。必要时可通过显式指定`-XX:-DoEscapeAnalysis`关闭它来进行对比测试,观察实际效果变化后再做决定。
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值