JVM-02-运行时内存结构

前序

• 首先通过过一张图了解Java程序的执行流程

• 编写好的java源程序通过编译器javac变成JVM可以识别的class字节码文件
• 然后通过JVM中的类加载器加载字节码文件
• 加载完毕之后再由 JVM 执行引擎去执行

• 在加载完毕到执行过程中，JVM会将程序执行用到的数据和相关信息存储在运行时数据区（Runtime Data Area）,通常也被叫做JVM内存结构

• 垃圾回收也作用于（Runtime Data Area）

关于这幅图设计到了：

1. class文件
2. 类加载器
3. 运行时数据区
4. 执行引擎
5. 垃圾回收机制

这都是接下来将要介绍的重点。

本篇我们将首先介绍什么是运行时数据区。

PS：

• 下面介绍的是根据 Java虚拟机规范 定义的运行时数据区，而不同的虚拟机其运行时数据区定义也会有所不同。

• 比如默认的 HotSpot 在实现 JDK1.7 虚拟机规范时，其常量池的定义不在方法区中，而是移到了堆中；

• 到了 HotSpot JDK1.8 中，则彻底移除了持久代（方法区）而使用Metaspace（元数据区）来进行替代等等，关于这些区别本篇博客也会在文章末尾进行相应的说明。

1. 运行时数据区结构图

1. Java虚拟机规范定义的运行时数据区

2. HotSpot JDK1.8定义的运行时数据区

注意:HotSpot实现的运行时数据区和Java虚拟机规范定义的还是有所不同的

• 将Java虚拟机栈和本地方法栈本地方法栈合二为一
• 元数据区取代了方法区，并且元数据区不在Java虚拟机中，而是在本地内存中
• 运行时常量池由方法区移动到了堆中

2. 程序计数器

• 程序计数器（Program Conputer Register）是一块比较小的内存空间，可以看做是当前线程所执行的字节码的行号指示器
• 在虚拟机模型概念中，字节码解释器的工作就是通过改变这个计数器的值来选取吓一跳需要执行的字节码指令
• 分支，循环，跳转，异常处理，线程回复等基础功能都要依靠这个计数器执行。

1. 线程私有

Java虚拟机支持多线程，是通过线程轮流切换并分配处理器执行时间的方式来实现的，在任一确定的时刻，一个处理器只会执行一条线程中的指令，因此为了线程切换后能恢复到正确的执行位置，每条线程都需要一个独立的程序计数器。因此线程启动时，JVM 会为每个线程分配一个PC寄存器（Program Conter，也称程序计数器）。

2. 记录当前字节码指令的地址

• 如果当前线程执行一个Java方法，这个计数器记录的就是正在执行的虚拟机字节码指令的地址
• 如果是一个本地Native方法，这个计数器的值为(Undefined)

3. 不抛出OutOfMemoryError 异常

• 程序计数器的空间大小不会随着程序执行而改变，始终只保存一个returnAdress 类型的数据或者一个与平台相关的本地指针的值。
• 所以该区域是Java运行内存区域中唯一一个没有规定任何OOM情况的区域。

3. 虚拟机栈

• Java虚拟机栈（Java Virtual Machine stack），这块区域也是线程私有的，与线程同时创建，用于存储栈帧。
• Java中每个方法执行的时候同时会创建一个栈帧（Stack Frame）用于存储
  • 局部变量表
  • 操作栈
  • 动态链接
  • 方法出口的信息
• 每一个方法被调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。

1. 线程私有

随着线程创建，声明周期和线程保持一致。

2. 由栈帧组成

线程每个方法被执行的时候都会创建一个栈帧，用于存储局部便量表，方法返回地址，操作数栈，动态链接等信息，每一个方法被调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。

3. 抛出StackOverflowError和OutOfMemory异常

• 如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError 异常。
• 如果虚拟机可以动态扩展，当扩展无法申请到足够的内存时会抛出OutOfMemoryError 异常

4. 本地方法栈

本地方法栈（Native Method Stacks）作用和虚拟机栈类型

• 虚拟机栈执行的是Java方法

• 本地方法栈执行的是 Native 方法

• 本地方法栈也会抛出抛出 StackOverflowError 和 OutOfMemoryError 异常。

注意：由于虚拟机规范并没有对本地方法栈中的方法使用语言、使用方式和数据结构强制规定，因此具体的虚拟机可以自由实现它。上图我们也给出在 HotSpot 虚拟机中，本地方法栈和虚拟机栈合为一体了。

本地方法一般是用其它语言（C、C++ 或汇编语言等）编写的，并且被编译为基于本机硬件和操作系统的程序，对待这些方法需要特别处理。

5. 堆

• Java堆是JVM中所管理内存最大，被所有线程共享的一块区域，目的是用来存放对象。

• 基本上所有的对象实例和数组都在堆上分配（不是绝对）

• 堆也是垃圾回收机制管理的主要区域。

1. 线程共享

堆存放的对象，某个线程修改了对象的属性，另外一个线程从堆中获取该对象（是修改后的对象）

那么为什么堆要设计成现场共享的呢？

• 假设堆是线程私有的，很显然一个系统创建的对象会有很多，而这些对象很大，如果设计成线程私有，那么如果同时有很多线程在工作，那么都必须给他们分配相应的私有内存，内存很快就会爆炸。
• 不过凡是都是两面性，线程共享设计也带来了多线程并发资源的冲突

2. 存放对象

基本上所有的对象实例和数组都要在堆上进行分配，但是随着JIT编译器对的发展和逃逸分析的成熟，栈上分配，标量替换等优化技术使得对象不一定在堆上分配。

3. 垃圾回收

• Java堆也被称为“GC堆”，是垃圾回收器的主要操作内存区域。
• 当前垃圾回收器都是使用的分代收集算法，堆还可以分成
  • 新生代
    • Eden空间，From Survivor , To SurVivor
  • 老年代

这是为了更好的回收内存，关于垃圾回收算法在后续博客会详细介绍。

堆不需要连续内存，并且可以动态增加其内存，增加失败会抛出 OutOfMemoryError 异常。

6. 方法区

• 方法区（Method Area）用来存储已被Java虚拟机加载的类信息，常量，静态变量，即时编译器编译后的代码数据

• 方法区也被称为永久代，这是因为垃圾回收器对方法区的垃圾回收比较少，主要是针对常量池的回收和类型的卸载，回收的条件比较苛刻。

• 经常会导致对此内存未完全回收而导致内存泄露，最后当方法区无法满足内存分配时，将抛出 OutOfMemoryError 异常。

PS: 在JVM中，虚拟机规范把方法区描述为堆中的一个逻辑部分，参考：

https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-2.html#jvms-2.5.4

之后再JDK1.8中，已经去掉了方法区的概念，用MetaSpace（元空间）代替，并且将其以用到了本地内存来规划了。

7. 运行时常量池

• 在Java虚拟机规范中，运行时常量池（Runtime Constant Pool）用于存放编译期生成的各种字面量和符号引用，是方法区的一部分。
• 但是Java虚拟机规范对其没有做任何细节的要求，所以不同虚拟机实现商可以按照自己的需求来实现该区域，比如在 HotSpot 虚拟机实现中，就将运行时常量池移到了堆中。

1. 存放字面量，符号引用，直接引用

• 通常来说，该区域除了保存class文件描述的引用外，还会把翻译出来的直接引用也保存到运行时常量池中，并且Java语言并不一定要求常量一定只能在编译器中产生
• 运行期间也可能将常量放入池中，比如String的intern()方法（动态生成）
• 当调用intern()方法时，如果池中已经包含一个与该String确定的字符串相同的equals（Object） 的字符串，则返回该字符串；否则，将此String对象添加到池中，并返回次对象的引用。（具体的在我的博客–String类源码中已写）

2. 抛出OOM异常

• 运行时常量池是方法区的一部分，会受到方法区内存的限制
• 当常量池无法申请到内存时，会抛出该异常。

8. 直接内存

• 直接内存（Direct Memory）并不是虚拟机运行时数据区的一部分，它也不是Java虚拟机规范定义的内存区域。
• 可以看到在HotSpot中，就将方法区移除了，用元数据来代替，并且将元数据区从虚拟机运行时数据区删除了，转到了本地内存中，也就是会所这块区域是受本机物理内存的限制，当申请的内存超过了本地物理内存，才会抛出OutOfMemoryError 异常。
• 直接内存也是受本机物理内存的限制，在JDK1.4中新加入的 NIO(new input/output)类，引入了一种通道（Channel） 和 缓冲区（Buffer） 的 I/O 方式，他可以使用Native函数库直接分配堆外内存，然后通过一个存储在Java堆里面的DirectByteBuffer 对象作为这块内存的引用操作，这样避免了在Java堆中和Native堆中来回的复制数据，显著提高了性能。