虚拟机字节码执行引擎

执行引擎在执行字节码的时候，通常会有解释执行和编译执行。

输入的是字节码二进制流，输出的是执行结果。

运行时栈帧结构

Java虚拟机以方法作为最基本的执行单元，“栈帧”则是用于支持虚拟机进行方法调用和方法执行背后的数据结构。

每一个栈帧都包括了局部变量表，操作数栈，动态连接（每个栈帧都包含一个指向运行时常量池中该栈帧所属方法的引用。一部分符号引用在每一次运行时转化为直接引用，这部分叫动态连接。），方法返回地址和一些额外的附加信息。

方法调用（确定被调用方法的版本）

解析

在类加载的解析阶段，方法在程序整整运行之前有一个可确定的调用版本，并且这个方法的调用版本在运行期是不可改变的，比如静态方法和私有方法（他们都不可能通过继承或别的方式重写出其他版本）。这样的方法在类加载解析阶段，由符号引用变为直接引用。

这样的方法被称为非虚方法，包括静态方法，私有方法，实例构造器，父类方法，和被final修饰的方法。

分派

静态分派（依赖静态类型来决定方法执行版本的分派动作，典型的应用表现是方法重载）

动态分派（他与Java语言多态性的另外一个重要体现--重写有着很密切的关联）

invokevirtual指令执行的第一步就是在运行期确定接受者的实际类型，还会根据方法接收者的实际类型来选择方法版本，这个过程就是重写的本质。是只对方法有效，对字段是无效的，因为字段使用这条指令。字段不参与多态。（见《深度理解JVM》p311，312）

单分派，多分派。

静态分派属于多分派，invokevirtual指令分别指向Father::mothed(oo1)，Father::mothed(oo2)

动态分派属于单分派，唯一影响虚拟机选择因素只有该方法的接受者的实际类型是Father还是Son

动态类型语言支持