第八章、虚拟机字节码执行引擎

栈帧

栈帧由局部变量表，操作数栈，方法返回地址和动态链接等信息组成。
方法执行时栈帧入栈，方法结束时方法出栈。
栈顶的栈帧称为当前栈帧，对应的方法称为当前方法。

局部变量表

局部变量表是一组变量值的存储空间，存储方法参数和方法体内部变量。
局部变量表的单位是变量槽（Valiable Slot).一个slot可以存放一个32位的数据类型。
下标0的slot存放方法所属对象实例的引用，参数占用从1开始的slot，方法参数分配完成后，根据顺序和作用域分配方法体内部变量。

操作数栈

后入先出的数据结构，32位数据占用栈容量为1，64位占用栈容量为2。

动态链接

指向运行时常量池中该栈帧所属方法的引用，用来支持方法调用过程的动态链接。

方法返回地址

由正常返回和异常返回。

方法调用

方法调用不等于方法执行，方法调用时确定被调用方法的版本（即确认调用哪一个方法）；

解析

调用目标在程序代码写好，编译器进行编译时就必须确定下来，这类方法的调用称为解析。
能够做到编译期可知，运行期不变的方法，只有静态方法和私有方法,适合在类加载阶段解析。

只要能被invokestatic和invokespecial指令调用的方法，都可以在解析阶段唯一确定调用版本。
符合条件的有：静态方法，私有方法，实例构造器，父类方法统称为非虚方法。

final方法也是非虚方法。

分派

A a = new AImpl(); A是静态类型，AImpl是实际类型。
方法的接收者和方法的参数称为方法的宗量。
静态分派：依赖静态类型来定位方法执行版本的分派动作称为静态分派，典型应用是方法重载,属于多分派。
可变参数的重载优先级是最低的。
动态分派：运行期根据实际类型确定方法执行版本，属于单分派。

待细化补充。