关于java虚拟机运行时数据区域
运行时数据区域
线程私有:
- 程序计数器
- 虚拟机栈
- 本地方法栈
线程共享:
- 堆
- 方法区
- 直接内存
程序计数器 (Program Counter Register)
程序计数器是一块较小的内存空间,可以看作是当前线程所执行的字节码的行号指示器。
字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令。
它是程序控制流的指示器,分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。
为了线程切换后能恢复到正常的执行位置,每条线程都需要一个独立的程序计数器,各线程之间计数器互不影响,独立存储。这类内存区域被称为“线程私有”的内存。
程序计算器这一内存区域是唯一不会出现OutOfMemoryError
的内存区域,它的生命周期随着线程的创建而创建,随着线程的结束而死亡。
程序计数器主要有两个作用:
- 字节码解释器通过改变程序计数器来依次读取指令,从而实现代码的流程控制,如:顺序执行、选择、循环、异常处理。
- 在多线程的情况下,程序计数器用于记录当前线程执行的位置,从而当线程被切换回来的时候能够知道该线程上次运行的位置。
Java虚拟机栈(Java Virtual Machine Stack)
与程序计数器一样,Java虚拟机栈也是线程私有的,它的生命周期与线程相同,随着线程的创建而创建,随着线程的死亡而死亡。它描述Java方法执行的线程内存模型,每个方法被执行时,Java虚拟机都会同步创建一个栈帧(Stack Frame)用于存储局部变量表,操作数栈、动态连接、方法出口等信息。
Java内存区域可以笼统地划分为堆内存(Heap)和栈内存(Stack),其中栈就是现在说的虚拟机栈或者更多情况下指的只是虚拟机栈中局部变量表部分。
局部变量表主要存放了:
- 编译期可知的各种Java虚拟机基本类型(boolean、byte、char、short、int、float、long、double)
- 对象引用(reference类型,它并不等同于对象本身,可能时一个指向对象起始地址的引用指针,也可能是指向一个代表对象的句柄或者其他与此对象相关的位置)
- returnAddress类型(指向了一条字节码指令的地址)
Java虚拟机栈会出现两种错误
StackOverFlowError
:若Java虚拟机栈的内存大小不允许动态扩展,那么当线程请求栈的深度超过当前Java虚拟机栈的最大深度的时候,就抛出StackOverFlowError
错误。OutOfMemoryError
:若Java虚拟机栈的内存大小可以动态扩展,如果虚拟机在动态扩展栈时无法申请到足够的内存空间,则抛出OutOfMemoryError
异常。
本地方法栈(Native Method Stacks)
和虚拟机所发挥的作用非常相似,区别是:虚拟机栈执行Java方法(字节码)服务,而本地方法栈则为虚拟机使用到的Native方法服务。
本地方法被执行的时候,在本地方法栈也会创建一个栈帧,用于存放该本地方法的局部变量表、操作数栈、动态链接、出口信息。
与虚拟机栈一样,本地方法栈也会在栈深度溢出或者栈扩展失败时分别抛出StackOverFlowError
和OutOfMemoryError
异常。
Java堆(Java Heap)
Java堆是Java虚拟机所管理的内存中最大的一块,Java堆是被所有线程共享的一块内存区域,在虚拟机启动时创建。此内存区域的唯一目的就是存放对象实例,几乎所有的对象实例以及数组都在这里分配内存。
在《Java虚拟机规范》中对Java堆的描述是:“所有的对象实例以及数组都应当在堆上分配。” 但随着Java语言的发展,
即时编译器的进步,尤其时逃逸分析技术的日渐强大,栈上分配、标量替换优化手段已经导致一些微妙的变化悄然发生,
使得Java对象实例都分配在堆上也渐渐变得不是那么绝对了。
Java堆是垃圾收集器管理的主要区域,因此也被称作GC推(Garbage Collec Heap), 戏称“垃圾堆”。从垃圾回收的角度,由于现在收集器基本都采用分代垃圾收集算法,所以Java堆还可以细分为:新生代和老年代;再细致一点有:Eden空间、From Survivor、To Survivor空间等。进一步划分的目的是为了更好地回收内存,或者更快地分配内存。
Java堆既可以被实现成固定大小的,也可以是可扩展的,不过当前主流的Java虚拟机都是按照可扩展来实现的(通过参数-Xmx和-Xms设定)。如果在Java堆中没有内存完成实例分配,并且堆也无法扩展时,Java虚拟机将会抛出OufOfMemoryError
异常。
方法区(Method Area)
方法区与Java堆一样,是各个线程共享的内存区域,它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码缓存等数据。虽然《Java虚拟机规范》中把方法区描述为堆的一个逻辑部分,但是它却有一个别名叫作“非堆”(Non-Heap),目的是与Java堆区分开来。
根据《Java虚拟机规范》的规定,如果方法区无法满足新的内存分配需求时,将抛出OutOfMemoryError
异常。
永久代(Permanent Generation)
说到方法区,不得不提一下“永久代”这个概念。
在JDK8以前,许多Java程序员习惯在HotSpot虚拟机上开发、部署程序,很多人更愿意把方法区称呼为永久代,
或者将两者混为一谈。其实本质上这两者并不是等价的。
《Java虚拟机规范》只是规定了有方法区这个概念和它的作用,并没有规定如何区实现它。所以,在不同的JVM上方法区的实现肯定不同的。方法区和永久代的关系就像Java中接口和类的关系,类实现了接口,而永久代就是HotSpot虚拟机对虚拟机规范中方法区的一种实现方式。也就是说,永久代是HotSpot的概念,方法区是Java虚拟机规范中的定义,是一种规范,而永久代是一种实现,一个是标准一个是实现,其他的虚拟机实现并没有永久代这一说法。
为什么要将永久代替换为元空间(MetaSpace)呢?
在JDK1.8的时候,方法区(HotSpot的永久代)被彻底移除了(JDK1.7就已经开始了),取而代之的是元空间,元空间使用的直接内存。
整个永久代有一个JVM本身设置的固定大小上限,无法进行调整,而元空间使用的是直接内存,受本机可用内存的限制,虽然元空间仍可能溢出,但比原来出现的几率会更小。
元空间溢出时错误:java.lang.OutOfMemoryError: MetaSpace
可以使用-XX:MaxMetaspaceSize
标志设置最大元空间大小,默认值为unlimited,这意味着它只受系统内存的限制。-XX:MaxMetaspaceSize
调整标志定义元空间的初始大小如果未指定此标志,则Metaspace将根据运行时的应用程序需求动态地重新调整大小。元空间里面存放的是类的元数据,这样加载多少类的元数据就不由
MaxPermSize
控制了,而由系统的实际可用空间来控制,这样能加载的类就更多了。在JDK8中,合并HotSpot 和 JRockit的代码时,JRockit从来没有一个叫永久代的东西,合并之后就没有必要额外地设置一个永久代的地方了。
运行时常量池 (Runtime Constant Pool)
运行时常量池是方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外,还有一项信息是常量池表(Constant Pool Table),它用于存放编译期生成的各种字面量与符号引用。
既然运行时常量池是方法区的一部分,自然受到方法区内存的限制,当常量池无法再申请到内存时会抛出OutOfMemoryError
异常。
直接内存 (Direct Memory)
直接内存并不是虚拟机运行时数据区的一部分,也不是《Java虚拟机规范》中定义的内存区域。但是这部分内存也被频繁地使用,而且可能导致OutOfMemoryError异常出现。
JDK1.4中新加入了NIO(New Input/Output)类,引入了一种基于通道(Channel)与缓冲区(Buffer)的I/O方式,它可以使用Native函数库直接分配堆外内存,然后通过一个存储再Java堆中的DirectByteBuffer对象作为这块内存的引用进行操作。这样能在一些场景中显著提高性能,因为避免了在Java堆和Native堆中来回复制数据。
本机直接内存的分配不会受到Java堆的限制,但是既然是内存就会受到本机总内存大小以及处理器寻址空间的限制。