8.虚拟机栈-动态链接和方法返回地址

方法调用 解析与分配

1. JVM中,将符号引用转换为调用方法的直接引用于方法绑定的机制相关

2. 链接

   1. 静态链接
      • 当一个字节码文件被装载到JVM内部时,如果调用的目标方法在编译时期已经确定,并且运行时期保持不变,这种情况下调用方法的引用转换为直接引用的过程叫静态链接
   2. 动态链接
      • 如果被调用的方法在编译期无法确定,只能在程序运行时候才能将方法的引用转换为直接引用的过程叫动态链接,比如多态 只有在运行时候才能确定到底调用的是哪个子类的方法

3. 绑定机制

   1. 对应的方法绑定机制为 早期绑定 Early Binding 和晚期绑定 Late Binding.绑定是一个字段,方法或者类的符号引用被替换为直接引用的过程,仅发生一次
   2. 早期绑定
      • 早期绑定就是指被调用的目标方法如果在编译期已经确定,且运行期不变,即可将这个方法与所属的类型进行绑定,从而明确了被调用的目标方法究竟是哪一个,因此也就可以使用静态链接的方式将符号引用转成直接引用
   3. 晚期绑定
      • 如果被调用方法在编译期无法确定下来,只能在程序运行的时才能确定,这种绑定方式也被称为晚期绑定 与动态链接对应

4. 虚方法和非虚方法

   • 如果方法在编译期就明确了调用类型,且在运行时不可变,为非虚方法
   • 静态方法 私有方法 final 方法 构造器 父类方法都是非虚方法
   • 其他方法为虚方法

5. 虚拟机中调用指令

   • invokestatic: 调用静态方法 非虚方法调用
   • invokespecial: 调用私有方法 父类方法 非虚方法调用
   • invokevirtual: 调用虚方法 也有另外如果是final修饰的方法也是invokevirual 但是final修饰的是非虚方法 如果显示调用父类方法super.xxx()是invokespecial 如果非显示调用次是invokevirtual但是调用父类方法也是非虚方法
   • invokeinterface: 调用接口方法 虚方法
   • invokedynamic: JDK7出现动态解析需要调用方法,在JDK8中的lambda中进一步完成

6. 前四条指令固化在虚拟机内部,方法调用执行不可认为干预,而invokedynamic指令则支持由用户确定方法版本

7. invokednamic指令

   1. JVM字节码指令集一直很稳定,直到JDK7才增加了invokedynamic指令,为了让java实现动态类型语言支持而做的改进
   2. JDK7并没有提供直接生成invokedynamic指令的方法,需要借助ASM这种底层字节码工具来产生invokedynamic指令.直到JDK8的lambda表达式出现,invokedynamic指令的生成,在java中才有了直接的生成方式

8. 动态类型语言和静态类型语言两者主要区别在于对类型的检查是在编译期还是运行期,满足前者就是静态性语言,反之则是动态性.如java就是静态性语言,python js 就是动态性语言

   1. 静态性语言是判断变量自身类型的信息
   2. 动态性语言是判断变量值的类型 变量本身没有类型信息值才有

9. 方法重写的本质

   • 找到操作数栈顶的第一个元素所执行的对象的实际类型,记做C
   • 如果在类型C中找到与常量中描述符合简单名称都相符的方法,则进行访问权限校验,如果通过则返回这个方法的直接引用,查找过程结束,如果不通过则返回IlegalAccessError异常
   • 否则按继承关系从小往上依次对C的各个父类进行第二步的搜索和验证
   • 如果始终没有找到合适方法,则抛出AbstractMethodError异常

10. IlegalAccessError 程序试图访问或修改一个属性或者调用一个方法,这个属性或者方法,没有权限访问,一般会引编译器异常,这个错误如果发生在运行时,就说明一个类发生了不兼容的改变

11. 虚方法表

    1. 在面向对象编程中,会很频繁的使用到动态分派,如果每次都动态分派的过程都需要再类的方法元数据上搜索合适目标的话会影响执行效率.为提高性能,JVM采用在类的方法区上建立一个虚方法表Virtual Method Table 来实现通过索引表来代替查找
    2. 每个类都有一个虚方法表,表中存放各个方法的实际入口
    3. 虚方法表会在类加载的链接阶段被创建并开始初始化,类的变量初始值准备完成之后,JVM会把该类的虚方法表也初始化完毕
    4. 如果类中重写了方法,那么调用的时候会直接在虚方法表中找,否则会直接连接到Object类中

12. 方法返回地址

    1. 存放调用该方法的pc寄存器的值,一个方法的结束有两种方式 正常执行完成 和出现未处理异常非正常退出
    2. 无论哪种方式退出,在方法退出后都返回到该方法被调用的位置,方法正常退出,调用者的PC寄存器的值作为返回地址,即调用该方法的指令的下一条在指令的地址.
    3. 如果异常退出 返回地址是要通过异常表来确定,栈帧一般不会保存这部分信息
    4. 执行引擎在遇到任意一个方法返回值的字节码指令return,会有返回值传递给上层方法的调用者
       1. 当方法在正常执行完,究竟需要使用哪一个返回指令,还需要根据方法返回值的实际类型而定
       2. 字节码指令中包含ireturn(boolean byte char short int) ,lreturn(Long),freturn(Float),dreturn(Double),areturn(引用类型),另外还有一个return指令声明为void方法,实例初始化方法,类和接口的初始化方法
       3. 如果在方法执行过程中遇到异常Exception,并且这个异常没有在方法内进行处理,也就是只要在本方法的异常表中没有搜索到匹配的异常处理器,会导致方法退出,简称异常完成出口
       4. 方法执行过程中,抛出异常时的异常处理,存储在一个异常处理表中,方便在发生异常的时候找到处理异常的代码
       5. 本质上,方法退出就是当前栈帧出栈的过程,此时需要恢复上层方法的局部变量表,操作数栈,将返回值压入调用者的操作数栈,设置PC寄存器的值,让调用者继续执行
       6. 正常出口和异常完成出口区别在于通过异常完成出口退出不会给他上层调用者产生返回值

13. 附加信息 栈帧允许携带一些与JVM实现相关的附加信息,如对程序调优提供支持的信息