Java 虚拟机栈(JVM Stacks)

Java 虚拟机栈(JVM Stacks)

参考博客文章：
https://zhuanlan.zhihu.com/p/45354152
https://blog.csdn.net/AAA821/article/details/78233927

概述

1. 和程序计数器一样，Java 虚拟机栈也是线程私有的，它的生命周期与线程相同。
2. 虚拟机栈描述的是 Java 方法执行的内存模型：每个方法被执行的时候都会同时创建一个栈帧（Stack Frame）用于存储局部变量表、操作栈、动态链接、方法出口等消息。
3. 对这个区域规定了两种异常状况：
   1. 如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError异常。
   2. 如果虚拟机栈可以动态扩展，当扩展时无法申请到足够的内存时会抛出 OutOfMemoryError 异常。

运行时栈帧结构

1.栈帧的概念

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

一个线程中方法的调用链可能很长，很多地方都同时处于执行状态。对于JVM 执行引擎来说，在在活动线程中，只有位于 JVM 虚拟机栈栈顶的元素才是有效的，即成为当前栈帧，与这个栈帧相关连的方法称为当前方法，定义这个方法的类叫做当前类。

执行引擎运行的所有字节码指令都只针对当前栈帧进行操作。如果当前方法调用了其他方法，或者当前方法执行结束，那这个方法的栈帧就不再是当前栈帧。

调用新的方法时，新的栈帧也会随之创建。并且随着程序控制权转移到新方法，新的栈帧成为了当前栈帧。方法返回之际，原栈帧会返回方法的执行结果给之前的栈帧（返回给方法调用者），随后虚拟机将会丢弃此栈帧。

在概念模型上，典型的栈帧结构如下：

2. 局部变量表(Local Variable Table)

局部变量表是一组变量值存储空间，用于存放方法参数和方法内定义的局部变量。局部变量表的容量以 变量槽(Variable Slot) 为最小单位，Java虚拟机规范并没有定义一个槽应该占用内存空间的大小，但是规定一个槽应该可以存放一个32位以内的数据类型。

一个局部变量可以保存一个类型为boolean（理论上是1/8字节，但是java中没有名明确大小）、byte（一个字节）、char（两个字节）、short（两个字节）、int（四个字节） 、float（四个字节）、reference（对象引用，它不等同于对象本身，根据不同的虚拟机实现，它可能是一个指向对象起始地址的引用指针，也可能指向一个代表对象的句柄或与其他与此对象相关的位置） 和 returnAddress（指向了一条字节码指令的地址） 类型的数据。

虚拟机通过索引定位的方法查找相应的局部变量，索引的范围是从0-局部变量表最大容量。如果 Solt 是 32 位的，则遇到一个 64 位数据类型的变量（如 float 或 double 型），则会连续使用两个连续的 Slot 来存储。

3. 操作数栈(Operand Stack)

操作数栈也常称为操作栈。同局部变量表一样，操作数栈的最大深度也在编译的时候写入到方法的Code属性的max_stacks数据项中。

操作数栈的每一个元素可以是任意的Java数据类型，32位的数据类型占一个栈容量，64位的数据类型占两个栈容量，且在方法执行的任意时刻，操作数栈的深度都不会超过max_stacks中设置的最大值。

当一个方法刚刚开始执行时，其操作数栈是空的，随着方法执行和字节码指令的执行，会从局部变量表或对象实例的字段中复制常量或变量写到操作数栈，再随着计算的进行将占中元素出栈到局部变量表或者返回给方法调用者，也就是出栈/入栈操作。一个完整的方法执行期间往往包含多个这样出栈/入栈的过程。

举例

begin  
iload_0    // 将本地变量0中的int推入堆栈
iload_1    // 将本地变量1中的int推入堆栈 
iadd       // pop two ints, add them, push result  
istore_2   // 弹出int，存储到本地变量2中
end

在这个字节码序列里，前两个指令iload_0和iload_1将存储在局部变量表中索引为0和1的整数压入操作数栈中，其后iadd指令从操作数栈中弹出那两个整数相加，在将结果压入操作数栈。istore_2则从操作数栈中弹出结果，并把它存储在局部变量表索引为2的位置。

4. 动态链接

在一个class文件中，一个方法要调用其他方法，需要将这些方法的符号引用转化为其在内存地址中的直接引用，而符号引用存在于方法区中的运行时常量池。

Java虚拟机栈中，每个栈帧都包含一个指向运行时常量池中该栈所示方法的符号引用，持有这个引用的目的是支持方法调用过程中的动态链接。

这些符号引用一部分会在类加载阶段或第一次使用时就直接转化为直接引用，这类转化称为静态解析。另一部分将在每次运行期间转换为直接引用，这类转化称为动态链接。

5. 方法返回

当一个方法开始执行时，可能有两种方法退出该方法：

• 正常完成出口
• 异常完成出口

正常完成出口是指方法正常完成并退出，没有抛出任何异常。如果当前方法正常完成，则根据当前方法返回的字节码指令，这时可能会有返回值传递给方法调用者，或无返回值。

异常完成出口是指方法执行过程中遇到异常，并且这个异常在方法体内部没有得到处理，导致方法退出。

无论是Java虚拟机抛出的异常还是代码中使用athrow指令产生的异常，只要在本方法的异常表中没有搜索到相应的异常处理器，就会导致方法退出。

无论方法采用何种方式退出，在方法退出后都需要返回到方法被调用的位置，程序才能继续执行，方法返回时可能需要在当前栈帧中保存一些信息，用来帮他恢复它的上层方法执行状态。

方法退出过程实际上就等同于把当前栈帧出栈，因此退出可以执行的操作有：恢复上层方法的局部变量表和操作数栈，把返回值(如果有的话)压如调用者的操作数栈中，调整PC计数器的值以指向方法调用指令后的下一条指令。

一般来说，方法正常退出时，调用者的PC计数值可以作为返回地址，栈帧中可能保存此计数值。而方法异常退出时，返回地址是通过异常处理器表确定的，栈帧中一般不会保存此部分信息。