JVM类加载之验证

类的生命周期

什么叫做类加载?

类加载的定义: JVM把描述类的数据从Class文件加载到内存,并对数据进行校验,解析和初始化,最终变成可以被JVM直接使用的Java类型(因为可以动态产生,这里的Class文件并不是具体存在磁盘中的文件,而是二进制数据流)

一个类型被加载到内存使用 到 结束卸载出内存,它的生命周期分为7个阶段: 加载->验证->准备->解析->初始化->使用->卸载

其中重要阶段一般的开始顺序: 加载->验证->准备->解析->初始化

验证,准备,解析合起来又称为链接所以也可以是加载->链接->初始化

注意这里的顺序是一般的开始顺序,并不一定是执行完某个阶段结束后才开始执行下一个阶段,也可以是执行到某个阶段的中途就开始执行下一个阶段

还有种特殊情况就是解析可能在初始化之后(因为Java运行时的动态绑定)

基本数据类型不需要加载,引用类型才需要被类加载

验证

验证的作用

确保要加载的字节码符合规范,防止危害JVM安全

验证的具体划分

• 文件格式验证

  目的: 保证字节流能正确解析并存储到方法区之内,格式上符合Java类型信息

  验证字节流是否符合Class文件格式规范(比如Class文件主,次版本号是否在当前虚拟机兼容范围内…)

• 元数据验证

  目的: 对类的元数据信息进行语义验证

  什么是元数据?

  简单的来说就是描述这个类与其他类之间关系的信息

  元数据信息验证(举例):

  这个类的父类有没有继承其他的最终类(被final修饰的类,不可让其他类继承)
  若这个类不是抽象类,那这个类有没有实现(抽象父类)接口的所有方法

• 字节码验证(验证中最复杂的一步)

  目的: 对字节码进行验证,保证校验的类在运行时不会做出对JVM危险的行为

  字节码验证举例:

  类型转换有效: 子类转换为父类(安全,有效) 父类转换为子类(危险)

  进行算术运算,使用的是否是相同类型指令等

• 符号引用验证

  发生在解析阶段前:符号引用转换为直接引用

  目的: 保证符号引用转为直接引用时,该类不缺少它所依赖的资源(外部类),确保解析可以完成

验证阶段是一个非常重要的阶段,但又不一定要执行(因为许多第三方的类,自己封装的类等都被反复"实验"过了)

在生产阶段可以考虑关闭 -Xverify:none以此来缩短类加载时间