JVM系列——Java内存区域

JVM系列——Java内存区域

对JVM学习而言，Java内存区域的学习可谓是入门的第一步，如何快速准确的了解到相关知识，构建起一个知识框架，是一个十分重要的问题。接下来，将会以提问的方式来带领大家逐步了解Java内存区域。

另外，本文基于JDK1.8进行讲解。

——————————————————————分 隔 线——————————————————————————

1、运行时数据区是什么？里面有什么内容？

虚拟机在执行 Java 程序的过程中会把它所管理的内存划分为若干不同的数据区，这些区域有各自的用途、创建和销毁时间。

需要说明的是，运行时数据区中的内容分为线程私有和线程共享两个部分。

线程私有：程序计数器、Java 虚拟机栈、本地方法栈。

线程共享：Java 堆、方法区。

2、具体说说运行时数据区各个组件的作用？

1）程序计数器

程序计数器是一块较小的内存空间，可以看作当前线程所执行字节码的行号指示器。字节码解释器工作时通过改变计数器的值选取下一条执行指令。分支、循环、跳转、线程恢复等功能都需要依赖计数器完成。简单来说，它记录了当前线程语句执行到哪个地方。

程序计数器是唯一在虚拟机规范中没有规定内存溢出情况的区域。

2）Java 虚拟机栈

跟程序计数器一样，Java虚拟机栈也是线程私有的。**虚拟机栈描述的是Java方法执行的内存模型：**每个方法被执行的时候都会同时创建一个栈帧（Stack Frame）用于存储局部变量表、操作栈、动态链接、方法出口等信息。**每一个方法被调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。**这里说到了一个叫做栈帧的东西，这个我们后面进行说明。

Java虚拟机栈会抛出StackOverflowError和OutOfMemoryError异常。

3）本地方法栈

本地方法栈与虚拟机栈作用相似，不同的是虚拟机栈为虚拟机执行 Java 方法（也就是字节码）服务，而本地方法栈则是为虚拟机使用到的Native方法服务。

——————————————————————分 隔 线——————————————————————————

这里简单说明一下Native关键字：Java平台有个用户和本地C代码进行互操作的API，称为Java Native Interface (Java本地接口)。像我们java.lang.Object 源码中就有一个hashCode方法：

public native int hashCode(); 

使用native关键字说明这个方法是原生函数，也就是这个方法是用C/C++语言实现的，并且被编译成了DLL，由java去调用。

了解到Native关键字的作用后，我们就可以明白本地方法栈服务的就是这些Native方法。

——————————————————————分 隔 线——————————————————————————

回到本地方法栈的说明中。虚拟机规范中对本地方法栈中的方法使用的语言、使用方式与数据结构并没有强制规定，因此具体的虚拟机可以自由实现它。例如 HotSpot 将虚拟机栈和本地方法栈合二为一。

与虚拟机栈一样，本地方法栈区域也会抛出StackOverflowError和OutOfMemoryError异常。

4）Java 堆

堆是虚拟机所管理的内存中最大的一块，被所有线程共享的，在虚拟机启动时创建。堆用来存放对象实例，Java 里几乎所有对象实例都在堆分配内存。

Java堆是垃圾收集器管理的主要区域，因此很多时候也被称做“GC堆”。如果从内存回收的角度看，由于现在收集器基本都是采用的分代收集算法，所以Java堆中还可以细分为：新生代和老年代；再细致一点的有Eden空间、From Survivor空间、To Survivor空间等。

如果在堆中没有内存完成实例分配，并且堆也无法再扩展时，将会抛出OutOfMemoryError异常。

5）方法区

方法区用于存储被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等数据。

比如说虚拟机加载了User类，这个User类的信息就存放在方法区，User类的实例对象就存放在Java堆中。

6）运行时常量池、class文件常量池和字符串常量池

首先先了解一下常量池的好处：常量池是为了避免频繁的创建和销毁对象而影响系统性能，其实现了对象的共享（节省内存空间）。

**运行时常量池：**运行时常量池存放在方法区里面。虚拟机会将各个class文件中的常量池载入到运行时常量池中，即编译期间生成的字面量、符号引用，总之就是装载class文件。

class文件常量池：class文件常量池存放在方法区里面。class 文件中除了包含类的版本、字段、方法、接口等描述信息外，还有一项信息就是常量池(constant pool table)，用于存放编译器生成的各种字面量(Literal)和符号引用(Symbolic References)。

字面量就是我们所说的常量概念，如文本字符串、被声明为final的常量值等。

符号引用是一组符号来描述所引用的目标，符号可以是任何形式的字面量，只要使用时能无歧义地定位到目标即可

**字符串常量池：**字符串常量池放在堆里面。字符串常量池可以理解为是分担了部分运行时常量池的工作。加载时，对于class文件的静态常量池，如果是字符串就会被装到字符串常量池中。

3、Java虚拟机栈中提到的栈帧是什么东西？

栈帧(Stack Frame)是用于支持虚拟机进行方法调用和方法执行的数据结构。栈帧存储了方法的局部变量表、操作数栈、动态连接和方法返回地址等信息。每一个方法从调用至执行完成的过程，都对应着一个栈帧在虚拟机栈里从入栈到出栈的过程。

1. 局部变量表：局部变量表是一组变量值存储空间，用于存放方法参数和方法内部定义的局部变量。在Java程序编译为Class文件时，就在方法的Code属性的max_locals数据项中确定了该方法所需要分配的局部变量表的最大容量。
2. 操作数栈：操作数栈，它是一个后入先出栈。同局部变量表一样，操作数栈的最大深度也在编译的时候写入到Code属性的max_stacks数据项中。
3. 动态连接：每个栈帧，在方法调用过程中的动态连接。Class文文件的常量池中存在大量的符号引用，字节码中的方法调用指令就以常量池中指向方法的符号引用作为参数。这些符号引用一部分会在类加载阶段或者第一次使用的时候就转化为直接引用，这种转化称为静态解析。另外一部分将在每一次运行期间转化为直接引用，这部分称为动态连接。
4. 方法返回地址：在方法退出之后，需要返回到方法被调用的位置，程序才能继续执行，方法返回时可能需要在栈帧中保存一些信息，用来帮助恢复它的上层方法的执行状态。

总的来说，栈帧保存着一些方法的信息。每一个方法从调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中入栈到出栈的过程。