jvm虚拟机系列—栈帧详解

栈帧

​ 栈帧是用于支持虚拟机进行方法调用和方法执行的数据结构，它是虚拟机运行时数据区的虚拟机栈的栈元素。栈帧存储了方法的局部变量表，操作数栈，动态连接和方法返回地址等信息。第一个方法从调用开始到执行完成，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。在编译代码的时候，栈帧中需要多大的局部变量表，多深的操作数栈都已经完全确定了（不受程度运行期变量数据的影响），并且写入到了方法表的 Code 属性中，因此一个栈帧需要分配多少内存，不会受到程序运行期变量数据的影响，而仅仅取决于具体虚拟机的实现。

​ 一个线程中的方法调用链可能会很长，很多方法都同时处理执行状态。对于执行引擎来讲，活动线程中，只有虚拟机栈顶的栈帧才是有效的，称为当前栈帧(Current Stack Frame)，这个栈帧所关联的方法称为当前方法(Current Method)。

1、局部变量表

​ 局部标量表是一组变量值的存储空间，一个以字长为单位，**从 0 开始计数的数组，用于存放方法参数和局部变量。**变量槽 （Variable Slot）是局部变量表的最小单位，没有强制规定大小为 32 位，虽然 32 位足够存放大部分类型的数据。一个 Slot 可以存放 boolean、byte、char、short、int、float、reference 和 returnAddress 8 种类型。其中 reference 表示对一个对象实例的引用。returnAddress 则指向了一条字节码指令的地址。 对于 64 位的long 和 double 变量而言，虚拟机会为其分配两个连续的 Slot 空间。

​ 虚拟机通过索引定位的方式使用局部变量表。之前我们知道，局部变量表存放的是方法参数和局部变量。当调用方法是非 static 方法时，**局部变量表中第 0 位索引的 Slot 默认是用于传递方法所属对象实例的引用，即“this”关键字指向的对象。**分配完方法参数后，便会依次分配方法内部定义的局部变量。

​ 为了节省栈帧空间，局部变量表中的 Slot 是可以重用的。当离开了某些变量的作用域之后，这些变量对应的 Slot 就可以交给其他变量使用。

2、操作数栈

​ 操作数栈被组织成一个以字长为单位的数组。但不是通过索引来访问，而是通过标准栈操作–压栈和出栈来访问。方法执行中进行算术运算或者是调用其他的方法进行参数传递的时候是通过操作数栈进行的。

​ 在概念模型中，两个栈帧是相互独立的。但是大多数虚拟机的实现都会进行优化，令两个栈帧出现一部分重叠。令下面的部分操作数栈与上面的局部变量表重叠在一块，这样在方法调用的时候可以共用一部分数据，无需进行额外的参数复制传递。

3、帧数据区

​ 栈帧需要一些数据来支持常量池解析、正常方法返回和异常处理等。在帧数据区中保存着访问常量池的指针，方便程序访问常量池。此外，当函数返回或者出现异常时，虚拟机必须恢复调用者函数的栈帧，并让调用者函数继续执行下去。对于异常处理，虚拟机必须有一个异常处理表，方便在发生异常的时候找到处理异常的代码，因此异常处理表也是帧数据区中重要的一部分。

3.1 动态连接

​ 每个栈帧都包含一个指向运行时常量池中该栈帧所属方法的引用，持有这个引用是为了支持方法调用过程中的动态连接。符号引用一部分会在类加载阶段或者第一次使用的时候就转化为直接引用，这种转化成为静态解析。另外一部分在每一次运行期间转化为直接引用，这部分称为动态连接。

3.2 方法返回地址

​ 当一个方法开始执行后，只有两种方式可以退出这个方法。第一种是执行引擎遇到任意一个方法返回的字节码指令，这时候可能会有返回值传递给上层的方法调用者。另一种退出方式是，在方法执行过程中遇到了异常，并且这个异常没有在方法体内得到处理。无论采用何种退出方式，在方法退出之后，都需要返回到方法被调用的位置，程序才能继续执行。