JVM之运行时栈帧结构

栈帧是用于支持虚拟机进行方法调用和方法执行的数据结构，他是虚拟机运行时数据区中的虚拟栈帧的栈元素。栈帧存储了方法的局部变量表、
操作数栈、动态链接和方法返回地址等信息。每一个方法从调用开始至执行完成的过程，都对应着一个栈帧在虚拟机栈里面从入栈到出栈的过程。
一个线程中的方法调用链可能会很长，很多方法都同时处于执行状态。对于执行引擎来说，在活动线程中，只有位于栈顶的栈帧才是有效的，称为当前栈帧。

一、局部变量表

局部变量表是一组变量值存储空间，用于存放方法参数合方法内部定义的局部变量。在编译为Class文件时，就在方法的Code属性的max_locals数据项
中确定了该方法所需要分配的局部变量表的最大容量.局部变量表的最小容量单位为变量槽(Variable Slot),为了节省栈帧空间,局部变量表中的变量槽是可
以重用的,这在某些情况下回影响到系统的垃圾收集行为.

二、操作数栈

常被成为操作栈,是一个后入先出栈,同局部变量表一样,操作数栈的最大深度也在编译的时候写入到Code属性的max_stacks数据线中.操作数栈的每一个
元素可以是任意的Java数据类型,当一个方法刚开始执行的时候,此时该方法的操作数栈是空的,在方法的执行过程中会有各种字节码指令往操作数栈中写入和
提取内容,也就是出栈/入栈操作.在概念模型中,两个栈帧作为虚拟机栈的元素,是完全相互独立的.但是在真正的虚拟机实现里,都会做一些优化处理,比如令两
个栈帧出现一部分重叠,这样在进行方法调用时就可以共用一部分数据,无需进行额外的参数复制传递.

三、动态连接

每个栈帧都包含一个指向运行时常量池中该栈帧所属方法的引用,持有这个引用是为了支持方法调用过程中的动态连接.Class文件的常量池中存在着大量的
符号引用,字节码中的方法调用指令就以常量池中指向方法的符号引用作为参数,这种转化成为静态解析.另外一部分将在每一次运行期间转化为直接引用,这部分
就成为动态连接

四、方法返回地址

当一个方法开始执行后,只有两种方式可以退出这个方法.这一种方式是执行引擎遇到任意一个方法返回的字节码指令,这时候可能会有返回值传递给上层的方法
调用者(调用当前方法的方法称为调用者),是否有返回值和返回值的类型将根据遇到何种方法返回指令来觉得,这种退出方法的方式称为正常完成出口.还有一种退出
方式则是在方法执行过程中遇到了异常.导致的方法退出.
无论采用何种退出方法,在方法退出之后,都需要返回到方法被调用的位置,程序才能继续执行,方法返回时可能需要栈帧中报错一些信息,用来帮助恢复它的上层
方法的执行状态.一般来说,方法正常退出时,调用者的PC计数器的值可以作为返回地址,栈帧中很可能会保存这个计数器值.而方法异常退出时,返回地址是要通过异常
处理器表来确定的,栈帧中一般不会保存这部分信息
方法退出的过程实际上就等同于把当前栈帧出栈,因此退出时可能执行的操作有: 恢复上层方法的局部变量表和操作数栈,把返回值(如果有的话)压入调用者栈帧
的操作数栈中,调整PC计数器的值以指向方法调用指令后面的一条指令等.