JVM内存模型之栈内存

Java虚拟机栈(Java Virtual Machine Stacks) 是线程私有的，每创建一个线程，虚拟机就会为这个线程创建一个虚拟机栈，虚拟机栈表示Java方法执行的内存模型，每调用一个方法就会为每个方法生成一个栈帧（Stack Frame），用来存储局部变量表、操作数栈、动态链接、方法出口等信息。每个方法被调用和完成的过程，都对应一个栈帧从虚拟机栈上入栈和出栈的过程。虚拟机栈的生命周期和线程是相同的

• 栈帧

栈帧（Stack Frame）是用于支持虚拟机进行方法调用和执行的数据结构，是虚拟机运行时数据区中的虚拟机栈（Virtual Machine Stack）的栈元素。存储了局部变量表、操作数栈、动态链接、方法出口（方法返回地址）等信息。

在一个线程中的方法的调用链会很长，很多的方法都同时处于执行状态。对于执行引擎来讲，在活动的线程中，只有位于栈顶的栈帧才是有效的，被称为当前栈帧（Current Stack Frame），与这个栈帧相关联的方法被称为当前方法（Current Method）。执行引擎运行的所有字节码指令都只针对当前帧进行操作。在概念模型中，典型的栈帧模型如图所示。

• 局部变量表

局部变量表（Local Variable Table）存放编译期间克制的各种基本数据类型，引用类型等。

在编译程序代码的时候，栈帧中局部变量表的大小和操作数栈的深度都已确定，并且写入到方法的Code属性之中，因此一个栈帧内存分配的大小，不会受到程序运行期变量数据的影响，而仅仅取决于具体的虚拟机实现。

• 操作数栈

操作数栈（Operand Stack）也常称为操作栈，和其他的栈结构相同，它是一个后入先出（LIFO）的数据结构。

当一个方法刚刚开始执行的时候，这个方法的操作数栈是空的，在方法执行的过程中，会有各种的字节码指令往操作数栈中写入和提取内容，也就是出栈/入栈操作。

• 方法返回地址（方法出口）

当一个方法开始执行的时候，有两种方式可以退出这个方法。第一种方式就是执行引擎遇到任意一个方法返回的字节码指令，这时候可能会由返回值传递给上层的方法调用者，是否有返回值和返回值的类型将根据遇到何种方法返回指令来决定，这种退出方法的方式成为正常完成出口（Normal Method Invocation Completion）

另外一种退出方式是，在方法执行过程中遇到了异常，并且这个异常没有在方法体内得到处理，无论是java虚拟机内部产生的异常，还是代码中使用athrow字节码指令产生的异常，只要在本方法的异常表中没有搜索到的匹配的异常处理器，就会导致方法退出，这种退出的方法称为异常完成出口（Abrupt Method Invocation Completion）

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