深入理解Java虚拟机之内存模型
1、Java内存区域划分:
- 程序计数器(Program Counter Register):
程序计数器是一块较小的内存空间,是线程私有的,它可以被看作是当前线程所执行的字节码的行号指示器,在Java虚拟机的概念模型里,字节码解释器工作是通过改变这个计数器的值来选取下一条需要执行的字节码指令,他是程序控制流的指示器,分支、循环、跳转、异常处理、线程恢复等基础功能都需要以来这个计数器来完成。
当如果线程正在执行的是一个Java方法,这个计数器记录的是正在执行的虚拟机字节码指令的地 址;如果正在执行的是本地(Native)方法,这个计数器值则应为空(Undefined)。此内存区域是唯 一一个在《Java虚拟机规范》中没有规定任何OutOfMemoryError情况的区域。
- Java 虚拟机栈(Java Virtual Machine Stack):
线程私有的,生命周期与线程相同,栈不存在垃圾回收的问题,用于存储局部变量表 (Java虚拟机基本数据类型(boolean、byte、char、short、int、 float、long、double)、对象引用、实例方法)、操作数栈、动态连接、方法出口等信息.
栈的原理
栈中的数据都是以栈帧(Stack Frame)的格式存在,栈帧时一个内存区块,是一个数据集,是一个有关方法和运行期数据的数据集,当一个方法被调用时就产生了一个栈帧F1,并被压入到栈中,栈准寻 先进后出/后进先出的原则,每个方法执行的同时都会创建一个栈帧,用于存储相关信息。
栈帧的内部结构:
栈的特点:先进后出,在Java虚拟机规范中 对这个内存区域规定了两类异常状况,如果线程请求的栈深度大于虚拟机所允许的深度,将会抛出StackOverflowErrory异常,如果Java虚拟机栈容量可以动态扩展,当栈扩展时无法申请到足够的内存会抛出OutOfMemoryError异常。
- 本地方法栈
本地方法栈(Native Method Stacks)与虚拟机栈所发挥的作用是非常相似的,其区别只是虚拟机栈为虚拟机执行Java方法(也就是字节码)服务,而本地方法栈则是为虚拟机使用到的本地(Native) 方法服务。
本地方法栈和虚拟机栈一样也会存在 StackOverflowErrory异常和OutOfMemoryError异常。
- Java堆(Heap)
Java堆(Java Heap)是虚拟机所管理的内存中最大的一块。Java堆是被所有线程共享的一块内存区域,此内存区域的唯一目的就是存放对象实例。
Java堆的内存分为:新生代、老年代、永久代(JDK1.7之前)、元空间(JDK1.8以后)、Eden、Survivor
新生代(Young)
主要存放新生的对象,由于频繁创建对象,新生代会频繁出发MinorGC进行垃圾回收,新生代有分为Eden区、Survivorfrom、SurvivorTo三个区。
1.Eden区
Java新对象的出生地(如果新创建的对象占用内存很大,则直接分配到老年代)。当Eden区内存不够的时候就会触发MinorGC,对新生代区进行一次垃圾回收。
2.ServivorFrom区
上一次 GC 的幸存者,作为这一次 GC 的被扫描者。
3.ServivorTo
保留了一次 MinorGC 过程中的幸存者。
4. MinorGC 的过程(复制->清空->互换)
MinorGC 采用复制算法。
1:eden、servicorFrom 复制到ServicorTo,年龄+1
首先,把Eden和ServivorFrom区域中存活的对象复制到ServicorTo区域(如果有对象的年龄以及达到了老年的标准,则赋值到老年代区),同时把这些对象的年龄+1(如果 ServicorTo 不够位置了就放到老年区);
2:清空eden、servicorFrom然后,清空 Eden 和 ServicorFrom 中的对象;
3:ServicorTo 和ServicorFrom 互换
最后,ServicorTo 和 ServicorFrom 互换,原 ServicorTo 成为下一次 GC 时的 ServicorFrom 区。
老年代(Old)
主要存放应用程序中生命周期长的内存对象。
老年代的对象比较稳定,所以 MajorGC 不会频繁执行。在进行 MajorGC 前一般都先进行了一次 MinorGC,使得有新生代的对象晋身入老年代,导致空间不够用时才触发。当无法找到足够大的连续空间分配给新创建的较大对象时也会提前触发一次 MajorGC 进行垃圾回收腾出空间。
MajorGC 采用标记清除算法:首先扫描一次所有老年代,标记出存活的对象,然后回收没有标记的对象。MajorGC 的耗时比较长,因为要扫描再回收。MajorGC 会产生内存碎片,为了减少内存损耗,我们一般需要进行合并或者标记出来方便下次直接分配。当老年代也满了装不下的时候,就会抛出 OOM(Out of Memory)异常。
永久代
指内存的永久保存区域,主要存放 Class 和 Meta(元数据)的信息,Class 在被加载的时候被放入永久区域,它和和存放实例的区域不同,GC 不会在主程序运行期对永久区域进行清理。所以这也导致了永久代的区域会随着加载的 Class 的增多而胀满,最终抛出 OOM 异常。
JAVA8与元数据
在Java8中,永久代已经被移除,被一个称为“元数据区”(元空间)的区域所取代。元空间的本质和永久代类似,元空间与永久代之间最大的区别在于:元空间并不在虚拟机中,而是使用本地内存。因此,默认情况下,元空间的大小仅受本地内存限制。类的元数据放入 native memory, 字符串池和类的静态变量放入 java 堆中,这样可以加载多少类的元数据就不再由MaxPermSize 控制, 而由系统的实际可用空间来控制。
- 堆的大小可以通过参数-Xmx和-Xms设定
- 新生代和老年代比例为 1:2,新生代中 Eden:From:To = 8:1:1
. 方法区
方法区(Method Area)与Java堆一样,是各个线程共享的内存区域,它用于存储已被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等数据。虽然《Java虚拟机规范》中把方法区描述为堆的一个逻辑部分,但是它却有一个别名叫作“非堆”(Non-Heap),目的是与Java堆区 分开来。
对于习惯在HotSpot虚拟机上开发、部署程序的开发者来说,很多人都更愿意把方法区称为“永久代”(Permanent Generation),本质上两者并不等价,仅仅是因为HotSpot虚拟机的设计团队选择把GC分代收集扩展至方法区,或者说使用永久代来实现方法区而已,这样HotSpot的垃圾收集器可以像管理Java堆一样管理这部分内存、能够省去专门为方法区编写内存管理代码的工作。
根据《Java虚拟机规范》的规定,如果方法区无法满足新的内存分配需求时,将抛出OutOfMemoryError异常。
JDK1.7 之前参数设置:
-
-XX: PermSize 设置永久代最小空间大小
-
-XX:MaxPermSize 设置永久代最大空间大小
-
运行时常量池
运行时常量池(Runtime Constant Pool)是方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外,还有一项信息是常量池表(Constant Pool Table),用于存放编译期生成的各种字面量与符号引用,这部分内容将在类加载后存放到方法区的运行时常量池中。
Java虚拟机对于Class文件每一部分(自然也包括常量池)的格式都有严格规定,如每一个字节用于存储哪种数据都必须符合规范上的要求才会被虚拟机认可、加载和执行,但对于运行时常量池,《Java虚拟机规范》并没有做任何细节的要求,不同提供商实现的虚拟机可以按照自己的需要来实现这个内存区域,不过一般来说,除了保存Class文件中描述的符号引用外,还会把由符号引用翻译出来的直接引用也存储在运行时常量池中。
运行时常量池相对于Class文件常量池的另外一个重要特征是具备动态性,Java语言并不要求常量 一定只有编译期才能产生,也就是说,并非预置入Class文件中常量池的内容才能进入方法区运行时常量池,运行期间也可以将新的常量放入池中,这种特性被开发人员利用得比较多的便是String类的intern()方法。
既然运行时常量池是方法区的一部分,自然受到方法区内存的限制,当常量池无法再申请到内存时会抛出OutOfMemoryError异常。
- 参考资料
周志明老师的 <深入理解Java虚拟机第3版>
如有错误,欢迎指正。