Java虚拟机——栈帧

基本概念

---

• 栈帧（Stack Frame）存储于Java栈中，栈帧中负责存储局部变量表、操作数栈、动态链接和方法返回值等信息。
• 栈帧是一种用于支持JVM调用/执行程序方法的数据结构，每一个方法从开始调用到执行结束返回的过程对应着Java栈中一个栈帧从入栈到出栈的过程。
• 在栈帧中，局部变量表和操作数栈所需的容量大小在编译期就可以完全被确定下来，并保存在方法的Code属性中。
• 只有当前在栈顶的栈帧是有效的，也被称为当前栈帧（Current Frame）,与之对应的方法便是当前方法（Current Method）,而定义这个方法的类就是当前类（Current Class）。
• 栈帧因为在Java栈中，因此是线程私有的，不同线程中所包含的栈帧是不允许存在相互引用的。

 

内部组成结构

---

局部变量表

• 局部变量表相当于一种类似线性表的数据结构，专门用于存储方法参数和定义在方法体内的局部变量。
• 局部变量表存储的数据类型包括各类基本数据类型、对象引用以及returnaddress类型。
• 最小的存储单元是变量槽Slot，一个Slot可以存储一个小于或等于32bit的数值。
• 通过JVM为每一个Slot分配的一个访问索引访问到局部变量表中指定的局部变量值。
• 访问索引为0的Slot存储的是与被调用实例方法相对应的对象引用。
• JVM使用局部变量表来完成方法调用时的参数传递。

操作数栈

• 操作数栈也称表达式栈（Expression Stack），后进先出，通过标准的入栈和出栈操作来完成一次数据访问。
• 每一个操作数栈都会拥有一个明确的栈深度用于存储数值，一个32bit的数值可以用一个单位的栈深度来存储。
• 对于基于栈式架构的虚拟机来说，操作数栈就是JVM执行引擎的一个工作区。
• 在操作数栈中的数据必须进行正确的操作。

动态链接

• 动态链接（Dynamic Linking）指向运行时常量池中该栈帧所属方法的引用。
• 动态链接的作用是将常量池中指向方法的符号引用转换为调用方法的直接引用。
• 为了支持面向对象多态特性。
• 根据引用的转换方式与方法的绑定机制，Java中分早期绑定和晚期绑定。
• 早期绑定就是指被调用的目标方法在编译期可知，且运行期保持不变时，将这个方法与所属的类型进行绑定。
• 晚期绑定相反，如果被调用的方法在编译期无法确定，只能在程序运行时根据实际的类型绑定相关的方法。
• Java中除了final修饰的方法外，几乎所有的方法都是默认基于晚期绑定的。

方法返回值

• 方法正常调用完成时，即被调用方法在执行的过程中将不会有任何的异常被抛出，通过字节码返回指令把方法的返回值返回给它的调用者。
• 方法异常调用完成将不会再有任何的返回值返回给它的调用者。
• 在方法执行完成后，其对应的当前栈帧销毁，前一个栈帧重新变为当前栈帧，如果被调用方法带有返回值，将其返回值压入当前栈帧的操作数栈中，并更新PC寄存器中下一条需要执行的字节码指令。

 

总结

---

当一个方法被调用时，一个新的栈帧被创建出来。方法的参数和方法内的局部变量都存储在局部变量表中，并通过访问索引对其访问。如果是非final方法，将通过动态链接将方法的符号引用转换为直接引用。方法在执行过程中，各种各样的字节码指令往操作数栈中执行入栈和出栈操作。当方法在执行过程中一旦遇见字节码返回指令或者发送异常时，就会返回到之前被调用的位置上，伴随着当前栈帧的销毁，如果带有返回值将其压入之前栈帧的操作数栈中，最后更新PC寄存器。