往期JVM基础
JVM(一)初识JVM
JVM(二)字节码文件详解
JVM(三)类的生命周期
JVM(四)类加载器
JVM(五)双亲委派机制
概述
JVM内存区域主要分为线程私有区域(程序计数器、虚拟机栈、本地方法栈)、线程共享区域(Java堆、方法区)和直接内存。
线程私有数据区域生命周期与线程相同,依赖用户线程的启动而创建,结束而销毁
(在HotSpot VM内, 每个线程都与操作系统的本地线程直接映射,因此这部分内存区域的存在与否与本地线程的生死相对应)
线程共享区域随虚拟机的启动而创建,关闭而销毁。
直接内存并不是JVM运行时数据区的一部分,但也会被频繁的使用:在JDK1.4引入的NIO提供了基于Channel与Buffer的IO方式,它可以使用Native函数库直接分配堆外内存,然后使用DirectByteBuffer对象作为这块内存的引用进行操作,这样就避免了在Java堆和Native堆中来回复制数据,因此在一些场景中可以显著提高性能
。
程序计数器(线程私有)
一块较小的内存空间,是当前线程所执行的字节码的行号指示器
,每条线程都要有一个独立的程序计数器,这类内存也称为“线程私有”的内存。
正在执行 java 方法的话,计数器记录的是虚拟机字节码指令的地址(当前指令的地址)。如果还是 Native 方法,则为空。
这个内存区域是唯一一个在虚拟机中没有规定任何 OutOfMemoryError 情况的区域。
虚拟机栈(线程私有)
描述Java方法执行的内存模型,每个方法在执行的同时都会创建一个栈帧(stack frame),用于存储局部变量表、操作数栈、动态连接、方法出口等信息
。每个方法从调用直到执行完成的过程就对应着一个栈帧在虚拟机中从入栈到出栈的过程。
栈帧:用来存储数据和部分过程结果的数据结构,同时也被用来处理动态连接、返回方法值和异常分派。栈帧随着方法的调用而创建,随着方法的结束而销毁——无论方法是正常完成还是异常完成(抛出了在方法内未被捕获的异常)都算作方法结束。
本地方法区(线程私有)
本地方法区和Java stack作用类似,区别是虚拟机栈为执行Java方法服务,而本地方法栈则为Native方法服务,如何一个VM实现使用C-linkage模型来支持Native调用,那么该栈将会是一个C栈,但是HotSpot VM 直接就把本地方法栈和虚拟机栈二合一了。
堆(线程共享)
堆是被线程共享的一块内存区域,创建的Java对象和数组都保存在Java的堆中,也是垃圾收集器进行垃圾收集的最重要区域。由于现代VM采用分代收集算法,因此Java堆从GC的角度还可以细分为:新生代(Eden区、From Survivor区和To Survivor区)和老年代。
方法区/永久代(线程共享)
这块即时我们常说的永久代(Permanent Generation) ,用于存储被JVM加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。HotSpot VM把GC分代收集扩展到方法区,即使用Java堆的永久代来实现方法区,这样HotSpot的垃圾收集器就可以像管理Java堆一样来管理这部分内存,而不必为方法区开发专门的内存管理器(永久代的内存回收主要针对的是常量池的回收和类型的卸载,因此收益很小不值得专门开发一门内存管理器)。
运行时常量池
是方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外,还有一项信息是常量池,用于存放编译期生成的各种字面量和符号引用,这部分内容将在类加载后存放到方法区的运行时常量池。Java虚拟机堆Class文件的每一部分(自然也包括常量池)的格式都有严格的固定,每一个字节用于存储那种数据都必须符合规范上的要求,这样才会被虚拟机认可、装载和执行。
JVM运行时内存
Java堆从GC角度还可以细分为:新生代(Eden区、From Survivor区和To Survivor区)和老年代。
新生代
新生代是用来存放新生的对象。一般占据堆的1/3空间。由于频繁创建对象,所以新生代会频繁触发Young GC进行垃圾回收。新生代又分为Eden区、From Survivor区和To Survivor区这仨。
- Eden区是
Java新对象的出生地
(如果新创建的对象占用内存很大,则直接分配到老年代中)。当Eden区内存不够的时候会触发Young GC, 对新生代区进行一次垃圾回收。 - Form Survivor区是上一次GC的幸存者,也是这一次GC的被扫描者。
- To Survivor区是保留了一次Young GC过程中的幸存者。
Young GC的过程(复制 -> 清空 -> 互换)
Young GC采用复制算法
- Eden、Form Survivor复制到To Survivor ,年龄+1
首先,把Eden和From Survivor区域中存活的对象都复制到To Survivor区域(如果有对象的年龄已经达到老年的标准,则复制到老年代区),同时把对象的年龄+1(如果To Survivor内存不够则放到老年区); - 清空Eden和Form Survivor区域
然后将Eden和Form Survivor区域中的所有对象直接清空。 - To Survivor和Form Survivor互换
最后,To Survivor和Form Survivor互换,原To Survivor成为下一次GC时的Form Survivor区。
老年代
主要存放应用程序中生命周期长的内存对象。
老年代的对象比较稳定,所以Old GC不会频繁执行。在进行Old GC前一般都先进行了一次Young GC,使得有新生代的对象晋升入老年代,导致空间不够时才会触发Old GC。当无法找到足够大的连续空间分配给新创建的较大对象时也会提前触发一次Old GC进行垃圾回收腾出空间。
Old GC一般采用标记清楚算法
:首先扫描一次所有老年代,标记出存活的对象,然后回收没有标记的对象。Old GC的耗时比较长,因为要扫描再回首。Old GC 会产生内存碎片,为了减少内存损耗,我们一般需要进行合并或者标记出来方便下次直接分配。当老年代也满了装不下的时候,就会抛出OOM异常。
永久代
永久代指永久保存区域,主要存放Class和Meta(元数据)的信息,Class在被加载的时候被放入永久区域,它和存放实例的区域不同,GC不会在主程序运行期对永久区域进行清理。
所以这也导致了永久代的区域会随着加载的Class的增多而胀满,最终抛出OOM异常。
但是在Java8中,永久代被移除了,被一个成为“元空间”的区域所取代。
元空间的本质和永久代类似,元空间与永久代之间最大的区别在于:元空间并不在虚拟机中,而是使用本地内存
。因此,默认情况下,元空间的大小仅受限于本地内存的大小。类的元数据放入Native memory, 字符串池和类的静态变量放入Java堆中,
这样可以加载多少类的元数据就不再由MaxPermSize控制,而由系统的实际可用空间控制。