HICSC
深入理解JVM内存管理(5) - 堆和栈

还是回到这张图,前一篇说完方法区,这里继续聊聊其他几块内存区域。

JVM运行时数据区

一、内存管理

1.1 Heap Space (Java堆)

Java堆是JVM所管理的最大一块内存,所有线程共享这块内存区域,几乎所有的对象实例都在这里分配内存,因此,它也是垃圾收集器管理的主要区域。从内存回收的角度来看,由于现在的收集器基本都采用分代收集算法(G1收集器出现之前),所以Java堆在逻辑上又可以细分成:新生代和老年代,新生代里面有分为:Eden空间、From Survivor空间、To Survivor空间,具体的示意图如上图所示。不过需要注意的是:Java堆空间只是在逻辑上是连续的,在物理上并不一定是连续的内存空间。但对于大对象(比如数组对象),多数虚拟机处于实现简单,存储高效的考虑,很可能会要求连续的内存空间。

默认情况下,新生代中Eden空间与Survivor空间的比例是8:1,注意不要被示意图误导,可以使用参数-XX:SurvivorRatio对其进行配置。大多数情况下,新生对象在新生代Eden区中分配,当Eden区没有足够的空间进行分配时,则触发一次Minor GC,将对象Copy到Survivor区,如果Survivor区没有足够的空间来容纳,则会通过分配担保机制提前转移到老年代去。

何为分配担保机制?在触发Minor GC前,JVM会检查老年代最大可用的连续空间是否大于新生代所有对象的总空间,如果是,那么可以确保Minor GC是安全的,如果不是,那么会继续检查老年代最大可用的连续空间是否大于历次晋升到老年代对象的平均大小,如果小于,直接进行Full GC,如果大于,将尝试着进行一次Minor GC,Minor GC失败才会触发Full GC。注:不同版本的JDK,流程略有不同

Survivor区作为Eden区和老年代的缓冲区域,常规情况下,在Survivor区的对象经过若干次垃圾回收仍然存活的话,才会被转移到老年代。JVM通过这种方式,将大部分命短的对象放在一起,将少数命长的对象放在一起,分别采取不同的回收策略。

Java虚拟机规范并为明确规范Java要如何实现,因此,其既可以被实现成固定大小,也可以扩展,不过主流的Java虚拟机都是按照可扩展实现的(通过参数-Xmx和-Xms设定)。如果在堆中没有足够的空间来完成对象实例分配,JVM将抛出OutOfMemoryError异常。

1.2 VM Stack (虚拟机栈) & Native Method Stack (本地方法栈)

虚拟机栈与本地方法栈都属于线程私有,它们的生命周期与线程相同。虚拟机栈用于描述Java方法执行的内存模型:每个方法在执行的同时都会创建一个栈帧(Stack Frame)用于存储局部变量表、操作数栈、动态连接、方法出口等信息。

其中局部变量表用于存储方法参数和方法内部定义的局部变量,它只在当前函数调用中有效,当函数调用结束,随着函数栈帧的销毁,局部变量表也随之消失。

操作数栈是一个后入先出栈,用于存放方法运行过程中的各种中间变量和字节码指令 (在学习栈的时候,有一个经典的例子就是用栈来实现四则运算,而方法执行过程中操作数栈的变化过程,与四则运算中栈中数字与符号的变化类似)。

动态连接其实是指一个过程,即在程序运行过程中将符号引用解析为直接引用的过程。

如何理解动态连接?我们知道Class文件的常量池中存有大量的符号引用,在加载过程中会被原样拷贝到内存里先放着,到真正使用的时候就会被解析为直接引用 (直接引用包含:直接指向目标的指针、相对偏移量、能间接定位到目标的句柄等)。有些符号引用会在类的加载阶段或者第一次使用的时候转化为直接引用,这种转化称为静态解析,而有的将在运行期间转化为直接引用,这部分称为动态连接。

全部静态解析不是更好,为何会存在动态连接?Java多态的实现会导致一个引用变量到底指向哪个类的实例对象,或者说该引用变量发出的方法调用到底是调用哪个类中实现方法都需要在运行期间才能确定。因此有些符号引用在类加载阶段是不知道它对应的直接引用是谁的。

每一个方法从调用直至执行完成的过程,就对应着一个栈帧在虚拟机栈中入栈到出栈的过程,下面通过一个非常简单的图例来描述这一过程,有如下的代码片段:

public void sayHello(String name) {
        System.out.println("hello " + name);
        greet(name);
      bye();
}

其调用过程中虚拟机栈的大致示意图如下图所示:

图二:调用栈

  1. 调用sayHello方法时,在栈中分配有一块内存用来保存该方法的局部变量等信息。
  2. ①当函数执行到greet()方法时,栈中开辟一块内存来保存greet方法的相关信息,并压入栈顶。
  3. ②greet方法执行完毕,其栈帧从操作数栈中弹出。
  4. ③现在栈顶的内存块就是sayHello方法的,表示你已经返回到sayHello方法。
  5. ④继续调用bye方法,在栈顶压入bye方法的栈帧。
  6. ⑤接着再从bye方法返回到sayHello方法中,最后从sayHello方法返回。

本地方法栈与虚拟机栈所发挥的作用是非常相似的,它们之间的区别不过是虚拟机栈为虚拟机执行Java方法 (也就是字节码) 服务,而本地方法栈则为虚拟机使用到的Native方法服务。

Java虚拟机规范对本地方法栈中方法使用的语言、使用方式和数据结构并没有任何规定,全靠虚拟机自己发挥,甚至有的虚拟机(HotSpot VM)直接把本地方法栈和虚拟机栈合二为一。

在栈空间中,如果线程请求的栈深度大于虚拟机所允许的深度,将抛出StackOverFlowError异常;同堆内存一样,如果应用运行时无法申请到足够的栈空间,仍然会抛出OutOfMemoryError异常。

1.3 Program Counter Register (程序计数器)

程序计数器(Program Counter Register),很多地方也被称为PC寄存器,但寄存器是CPU的一个部件,用于存储CPU内部重要的数据资源,比如在汇编语言中,它保存的是程序当前执行的指令的地址(也可以说保存下一条指令的所在存储单元的地址),当CPU需要执行指令时,需要从程序计数器中得到当前需要执行的指令所在存储单元的地址,然后根据得到的地址获取到指令,在得到指令之后,程序计数器便自动加1或者根据转移指针得到下一条指令的地址,如此循环,直至执行完所有的指令。

类似的,JVM规范中规定,如果线程执行的是非native方法,则程序计数器中保存的是当前需要执行的指令的地址;如果线程执行的是native方法,则程序计数器中的值是undefined。

Java虚拟机可以支持多条线程同时执行,多线程是通过线程轮流切换来获得CPU执行时间的,因此,在任一具体时刻,一个CPU的内核只会执行一条线程中的指令,因此,为了能够使得每个线程都在线程切换后能够恢复在切换之前的程序执行位置,每个线程都需要有自己独立的程序计数器,并且不能互相被干扰,否则就会影响到程序的正常执行次序。因此,JVM中的程序计数器是每个线程私有的。

1.4 堆外内存

堆外内存又被称为直接内存(Direct Memory),它并不是虚拟机运行时数据区的一部分,Java虚拟机规范中也没有定义这部分内存区域,使用时由Java程序直接向系统申请,访问直接内存的速度要优于Java堆,因此,读写频繁的场景下使用直接内存,性能会有提升,比如Java NIO库,就是使用Native函数直接分配堆外内存,然后通过一个存储在Java堆中的DirectBytedBuffer对象作为这块内存的引用进行操作。

由于直接内存在Java堆外,其大小不会直接受限于Xmx指定的堆大小,但它肯定会受到本机总内存大小以及处理器寻址空间的限制,因此我们在配置JVM参数时,特别是有大量网络通讯场景下,要特别注意,防止各个内存区域的总内存大于物理内存限制 (包括物理的和OS的限制)。

二、常用JVM参数

2.1 关于JVM参数必须知道的小知识

  1. JVM参数分为标准参数和非标准参数,所有以-X-XX开头的参数都是非标准参数,标准参数可以通过java -help命令查看,比如:-server就是一个标准参数。
  2. 非标准参数中,以-XX开头的都是不稳定的且不推荐在生成环境中使用。但现在的情况已经有所改变,很多-XX开头的参数也已经非常稳定了,但不管什么参数在使用前都应该了解它可能产生的影响。
  3. 布尔型参数,-XX:+表示激活选项,-XX:-表示关闭此选项。
  4. 部分参数可以使用jinfo工具动态设置,比如:jinfo -flag +PrintGCDetails 12278,但能够动态设置的参数很少,所以用处有限。至于哪些参数可以动态设置,可以参考jinfo工具的使用方法。

2.2 GC日志

GC日志是一个非常重要的工具,它准确的记录了每一次GC的执行时间和结果,通过分析GC日志可以帮助我们优化内存设置,也可以帮助改进应用的对象分配方式。如何阅读GC日志不在本文的范畴内,大家可以参考网上相关文章。

下面几个关于GC日志的参数建议加入到应用启动参数列表中:

设置这几个参数后,发生GC时输出的日志就类似于下面的格式 (不同的垃圾收集器格式可能略有差异):

2018-01-07T19:45:08.627+0800: 0.794: [GC (Allocation Failure) [PSYoungGen: 153600K->4564K(179200K)] 153600K->4580K(384000K), 0.0051736 secs] [Times: user=0.01 sys=0.00, real=0.01 secs]

简单的说明:

2.3 内存优化

我们的程序可能会经常出现性能问题,但如何分析和定位?知道一些常用的JVM内存管理参数,对我们开发人员有莫大的帮助。

堆空间设置

使用-Xms-Xmx来指定JVM堆空间的初始值和最大值,比如:

java -Xms128m -Xmx2g app

虽然JVM可以在运行时动态的调整堆内存大小,但很多时候我们都直接将-Xms-Xmx设置相等的值,这样可以减少程序运行时进行垃圾回收的次数。

新生代设置

参数-Xmn用于设置新生代大小,设置一个较大的新生代会减少老年代的大小,这个参数堆GC行为影响很大。一般情况下不需要使用这个参数,在分析GC日志后,发现确实是因为新生代设置过小导致频繁的Full GC,可以配置这个参数,一般情况下,新生代设置为堆空间的1/3 - 1/4左右。

还可以通过-XX:SurviorRatio设置新生代中eden区和Survivor from/to区空间的比例关系,也可使用-XX:NewRatio设置新生代和老年代的比例。

配置这3个参数的基本策略是:尽可能将对象预留在新生代,减少老年代GC的次数,所以需要更谨慎的对其进行修改,不要太随意。

生成快照文件

我们可能没有办法给最大堆内存设置一个合适的值,因为我们时常面临内存溢出的状况,当然我们可以在内存溢出情况出现后,再监控程序,dump出内存快照来定位,但这种方法的前提条件是内存溢出问题要再次发生。更好方法是通过设置-XX:+HeapDumpOnOutOfMemoryError让JVM在发生内存溢出时自动的生成堆内存快照。有了这个参数,当我们在面对内存溢出异常的时候会节约大量的时间,-XX:HeapDumpPath则可以设置快照的生成路径。堆内存快照文件可能很庞大,要注意存储的磁盘空间。

方法区设置

方法区中存放中JVM加载的类信息,如果JVM加载的类过多,就需要合理设置永久大的大小,在JDK1.6和JDK1.7中,可以使用 -XX:PermSize -XX:MaxPermSize来达到这个目的,前者用于设置永久代的初始大小,后者用于设置永久代的最大值。前面我们知道,方法区并不在堆内存中,所以要注意所有JVM参数设置的内存总大小。

在JDK1.8中已经使用元空间代替永久代,同样的目的,需要使用-XX:MetaspaceSize-XX:MaxMetaspaceSize来代替。

直接内存

参数-XX:MaxDirectMemorySize用于配置直接内存大小 ,如果不设置,默认值为最大堆空间,即-Xmx,当直接内存使用量达到设置的值时,就会触发垃圾回收,如果垃圾回收不能有效释放足够空间,仍然会引起OOM。如果堆外内存发生OOM,请检查此参数是否配置过小。

2.4 小结

这部分主要介绍一些常用的JVM参数,理解这些JVM参数的前提是需要理解JVM的内存结构以及各个内存区域的作用,希望通过这些参数的介绍,能够加深大家对JVM内存结构的理解,也希望在平时的工作中能够注意这些参数的运用。

深入理解JVM系列第5篇

参考资料

周志明著;深入理解Java虚拟机(第三版);机械工业出版社;2019-12
JVM实用参数(四)内存调优
JVM实用参数(八)GC日志

Comments

Post a Message

人生在世,错别字在所难免,无需纠正。

提交评论