JVM-类加载子系统
JVM组成图
1. 类加载子系统
1.1 概述
代码经过编译器编译成字节码之后,最终都需要加载到虚拟机之后才能运行。虚拟机把描述类的数据从 Class 文件加载到内存,并对数据进行校验、转换解析和初始化,最终形成可以被虚拟机直接使用的 Java 类型,这就是虚拟机的类加载机制
1.2 类加载过程
类从被虚拟机从加载到卸载,整个生命周期包含7 个阶段:
- 加载(Loading)
- 验证(Verification)
- 准备(Preparation)
- 解析(Resolution)
- 初始化(Initialization)
- 使用(Using)
- 卸载(Unloading)
其中验证、准备、解析 3 个部分统称为连接(Linking)。这 7 个阶段的发生顺序如下图:
1.2.1 加载
这里的「加载」是指「类加载」过程的一个阶段。在加载阶段,虚拟机需要完成以下 3 件事:
- 通过一个类的全限定名来获取定义此类的二进制字节流;
- 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构;
- 在内存中生成一个代表这个类的
java.lang.Class
对象,作为方法区这个类的各种数据的访问入口。
1.2.2 验证
验证是连接阶段的第一步,这一阶段的目的是为了确保 Class 文件的字节流中包含的信息符合当前虚拟机的要求,并且不会危害虚拟机自身的安全。验证阶段大致上会完成下面 4 个阶段的检验动作:
文件格式验证:
第一阶段要验证字节流是否符合 Class 文件格式的规范,并且能够被当前版本的虚拟机处理。
验证点主要包括:
- 是否以魔数
0xCAFEBABE
开头; - 主、次版本号是否在当前虚拟机处理范围之内;
- 常量池的常量中是否有不被支持的常量类型;
- Class 文件中各个部分及文件本身是否有被删除的或者附加的其它信息等等。
元数据验证:
第二阶段是对字节码描述的信息进行语义分析,以保证其描述的信息符合 Java 语言规范的要求
这个阶段的验证点包括:
- 这个类是否有父类;
- 这个类的父类是否继承了不允许被继承的类;
- 如果这个类不是抽象类,是否实现了其父类或者接口之中要求实现的所有方法;
- 类中的字段、方法是否与父类产生矛盾等等。
字节码验证:
第三阶段是整个验证过程中最复杂的一个阶段,主要目的是通过数据流和控制流分析,确定程序语义是合法的、符合逻辑的。
符号引用验证:
最后一个阶段的校验发生在虚拟机将符号引用转化为直接引用的时候,这个转化动作将在连接的第三阶段–解析阶段中发生。符号引用验证可以看做是对类自身以外(常量池中的各种符号引用)的形象进行匹配性校验
1.2.3 准备
准备阶段是正式为类变量分配内存并设置类变量初始值的阶段,这些变量所使用的内存都将在方法区进行分配。
这个阶段中重点概念有几点:
- 进行内存分配的仅包括类变量(被 static 修饰的变量),而不包括实例变量,实例变量将会在对象实例化时随着对象一起分配在
Java
堆中; - 其次这里所说的初始值「通常情况」下是数据类型的零值。假设一个类变量的定义为
public static int value = 123
; 那么变量 value 在准备阶段过后的初始值为0
而不是123
。 - 如果类变量定义为
public static final int value = 123
,编译时JavaC
将会为value
生成ConstantValue
属性,在准备阶段虚拟机就会根据ConstantValue
的设置将value
赋值为123
。
1.2.4 解析
解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程。
-
符号引用(Symbolic Reference): 符号引用以一组符号来描述所引用的目标,符号可以上任何形式的字面量,只要使用时能无歧义地定位到目标即可。
-
直接引用(Direct Reference): 直接引用可以是直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄
替换有两种情况静态链接和动态链接
静态链接:
将符号引用替换为直接引用,该阶段会把一些静态方法(符号引用,比如main()方法)替换为指向数据所存内存的指针或句柄等(直接引用),这是所谓的静态链接过程(类加载期间完成)动态链接:
是在程序运行期间完成的将符号引用替换为直接引用
1.2.5 初始化
类初始化阶段是类加载过程中的最后一步,前面的类加载过程中,除了在加载阶段用户应用程序可以通过自定义类加载器参与之外,其余动作完全是由虚拟机主导和控制的。到了初始化阶段,才真正开始执行类中定义的 Java 程序代码。
初始阶段是执行类构造器 (cInit
) 方法的过程。类构造器是由Java自动合并类变量和静态变量生成的构造器,如果当前类没有静态的代码则不需要进行初始化
对于初始化阶段,虚拟机则是严格规定了有且只有以下 5 种情况,如果类没有进行初始化,则必须立即对类进行初始化(加载、验证、准备自然需要在此之前开始):
- 遇到
new
、getstatic
、putstatic
或invokestatic
这 4 条字节码指令; - 使用
java.lang.reflect
包的方法对类进行反射调用的时候; - 当初始化一个类的时候,发现其父类还没有进行初始化的时候,需要先触发其父类的初始化;
- 当虚拟机启动时,用户需要指定一个要执行的主类,虚拟机会先初始化这个类;
- 当使用
JDK 1.7
的动态语言支持时,如果一个java.lang.invoke.MethodHandle
实例最后的解析结果REF_getStatic
、REF_putStatic
、REF_invokeStatic
的方法句柄,并且这个方法句柄所对应的类没有初始化。
「有且只有」以上 5 种场景会触发类的初始化,这 5 种场景中的行为称为对一个类的主动引用。除此之外,所有引用类的方式都不会触发初始化,称为被动引用。比如如下几种场景就是被动引用:
- 通过子类引用父类的静态字段,不会导致子类的初始化;
- 通过数组定义来引用类,不会触发此类的初始化;
- 常量在编译阶段会存入调用类的常量池中,本质上并没有直接引用到定义常量的类,因此不会触发定义常量的类的初始化;
总结
上图中加载、验证、准备、初始化和卸载 5 个阶段的顺序是确定的,类的加载过程必须按照这种顺序按部就班的开始「注意,这里说的是按部就班的开始,并不要求前一阶段执行完才能进入下一阶段」,而解析阶段则不一定:它在某些情况下可以在初始化阶段之后再开始,这是为了支持 Java 的动态绑定。
1.3 类加载器
虚拟机设计团队把类加载阶段中的「通过一个类的全限定名来获取描述此类的二进制字节流」这个动作放到 Java 虚拟机外部去实现,以便让应用程序自己决定如何去获取所需要的类。实现这个动作的代码模块称为「类加载器」。
类加载器:
类加载器负责加载程序中的类型(类和接口),并赋予唯一的名字予以标识。
类与类加载器:
对于任意一个类,都需要由加载它的类加载器和这个类本身一同确立其在 Java 虚拟机的唯一性,每个类加载器都拥有一个独立的类名称空间。
也就是说:比较两个类是否「相等」,只要在这两个类是由同一个类加载器加载的前提下才有意义,否则,即使这两个类来源于同一个 Class 文件,被同一个虚拟机加载,只要加载它们的类加载器不同,那这两个类就必定不相等。
1.3.1 加载器
从 Java 虚拟机的角度来讲,只存在两种不同的类加载器:一种是启动类加载器(Bootstrap ClassLoader
),这个类加载器使用 C++
来实现,是虚拟机自身的一部分;另一种就是所有其他的类加载器,这些类加载器都由 Java
来实现,独立于虚拟机外部,并且全都继承自抽象类 java.lang.ClassLoader
。
从 Java 开发者的角度来看,类加载器可以划分为:
启动类加载器(Bootstrap ClassLoader
):
这个类加载器负责将存放在 <JAVA_HOME>\lib 目录中的类库加载到虚拟机内存中。启动类加载器无法被 Java 程序直接引用,用户在编写自定义类加载器时,如果需要把加载请求委派给启动类加载器,纳智捷使用 null 代替即可;
扩展类加载器(Extension ClassLoader
):
这个类加载器由 sun.misc.Launcher$ExtClassLoader
实现,它负责加载 <JAVA_HOME>\lib\ext
目录中,或者被 java.ext.dirs
系统变量所指定的路径中的所有类库,开发者可以直接使用扩展类加载器;
应用程序类加载器(Application ClassLoader
):
这个类加载器由 sun.misc.Launcher$App-ClassLoader
实现。getSystemClassLoader()
方法返回的就是这个类加载器,因此也被称为系统类加载器。它负责加载用户类路径ClassPath
上所指定的类库。开发者可以直接使用这个类加载器,如果应用程序中没有自定义过自己的类加载器,一般情况下这个就是程序中默认的类加载器。
关系图如下:
1.3.2 类加载器的关系
Bootstrap Classloader
是在Java虚拟机启动后初始化的。Bootstrap Classloader
负责加载ExtClassLoader
,并且将ExtClassLoader
的父加载器设置为Bootstrap Classloader
Bootstrap Classloader
加载完ExtClassLoader
后,就会加载AppClassLoader
,并且将AppClassLoader
的父加载器指定为ExtClassLoader
。
1.3.3 ClassLoader
获取ClassLoader
的途径:
ClassLoader
常用方法:
1.3.4 双亲委托机制
为了解决类加载器的隔离问题,JVM
引入了双亲委托机制。
双亲委派模型的工作过程:
如果一个类加载器收到了类加载的请求,它首先不会自己去尝试加载这个类,而是把这个请求委派给父类加载器去完成,每一个层次的类加载器都是如此,因此所有的加载请求最终都应该传送到顶层的启动类加载器中,只有当父类加载器反馈自己无法完成这个类加载请求(它的搜索范围中没有找到所需的类)时,子加载器才会尝试自己去加载。
实现双亲委派模型的代码都集中在 java.lang.ClassLoader
的 loadClass()
方法中
protected Class<?> loadClass(String name, boolean resolve)
throws ClassNotFoundException {
// 首先,检查请求的类是不是已经被加载过
Class<?> c = findLoadedClass(name);
if (c == null) {
try {
if (parent != null) {
c = parent.loadClass(name, false);
} else {
c = findBootstrapClassOrNull(name);
}
} catch (ClassNotFoundException e) {
// 如果父类抛出 ClassNotFoundException 说明父类加载器无法完成加载
}
if (c == null) {
// 如果父类加载器无法加载,则调用自己的 findClass 方法来进行类加载
c = findClass(name);
}
}
if (resolve) {
resolveClass(c);
}
return c;
}
编译案例
D:\xiao7_workspace\xiao7\xiao7-boot-starter\xiao7-boot-starter-uid\target\classes\com\xiao7\uid\props>javap -v -l UidProperties.class
Classfile /D:/xiao7_workspace/xiao7/xiao7-boot-starter/xiao7-boot-starter-uid/target/classes/com/xiao7/uid/props/UidProperties.class
Last modified 2022-3-28; size 850 bytes
MD5 checksum 32183fa2b594f8c87e406e418b252bb3
Compiled from "UidProperties.java"
public class com.xiao7.uid.props.UidProperties
minor version: 0
major version: 52
flags: ACC_PUBLIC, ACC_SUPER
Constant pool:
#1 = Methodref #6.#29 // java/lang/Object."<init>":()V
#2 = Fieldref #30.#31 // com/xiao7/uid/enums/UidTypeEnum.SNOW:Lcom/xiao7/uid/enums/UidTypeEnum;
#3 = Methodref #30.#32 // com/xiao7/uid/enums/UidTypeEnum.getType:()Ljava/lang/String;
#4 = Fieldref #5.#33 // com/xiao7/uid/props/UidProperties.type:Ljava/lang/String;
#5 = Class #34 // com/xiao7/uid/props/UidProperties
#6 = Class #35 // java/lang/Object
#7 = Utf8 PREFIX
#8 = Utf8 Ljava/lang/String;
#9 = Utf8 ConstantValue
#10 = String #28 // xiao7.uid
#11 = Utf8 type
#12 = Utf8 <init>
#13 = Utf8 ()V
#14 = Utf8 Code
#15 = Utf8 LineNumberTable
#16 = Utf8 LocalVariableTable
#17 = Utf8 this
#18 = Utf8 Lcom/xiao7/uid/props/UidProperties;
#19 = Utf8 getType
#20 = Utf8 ()Ljava/lang/String;
#21 = Utf8 setType
#22 = Utf8 (Ljava/lang/String;)V
#23 = Utf8 SourceFile
#24 = Utf8 UidProperties.java
#25 = Utf8 RuntimeVisibleAnnotations
#26 = Utf8 Lorg/springframework/boot/context/properties/ConfigurationProperties;
#27 = Utf8 prefix
#28 = Utf8 xiao7.uid
#29 = NameAndType #12:#13 // "<init>":()V
#30 = Class #36 // com/xiao7/uid/enums/UidTypeEnum
#31 = NameAndType #37:#38 // SNOW:Lcom/xiao7/uid/enums/UidTypeEnum;
#32 = NameAndType #19:#20 // getType:()Ljava/lang/String;
#33 = NameAndType #11:#8 // type:Ljava/lang/String;
#34 = Utf8 com/xiao7/uid/props/UidProperties
#35 = Utf8 java/lang/Object
#36 = Utf8 com/xiao7/uid/enums/UidTypeEnum
#37 = Utf8 SNOW
#38 = Utf8 Lcom/xiao7/uid/enums/UidTypeEnum;
{
public static final java.lang.String PREFIX;
descriptor: Ljava/lang/String;
flags: ACC_PUBLIC, ACC_STATIC, ACC_FINAL
ConstantValue: String xiao7.uid
public com.xiao7.uid.props.UidProperties();
descriptor: ()V
flags: ACC_PUBLIC
Code:
stack=2, locals=1, args_size=1
0: aload_0
1: invokespecial #1 // Method java/lang/Object."<init>":()V
4: aload_0
5: getstatic #2 // Field com/xiao7/uid/enums/UidTypeEnum.SNOW:Lcom/xiao7/uid/enums/UidTypeEnum;
8: invokevirtual #3 // Method com/xiao7/uid/enums/UidTypeEnum.getType:()Ljava/lang/String;
11: putfield #4 // Field type:Ljava/lang/String;
14: return
LineNumberTable:
line 12: 0
line 16: 4
LocalVariableTable:
Start Length Slot Name Signature
0 15 0 this Lcom/xiao7/uid/props/UidProperties;
public java.lang.String getType();
descriptor: ()Ljava/lang/String;
flags: ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: aload_0
1: getfield #4 // Field type:Ljava/lang/String;
4: areturn
LineNumberTable:
line 19: 0
LocalVariableTable:
Start Length Slot Name Signature
0 5 0 this Lcom/xiao7/uid/props/UidProperties;
public void setType(java.lang.String);
descriptor: (Ljava/lang/String;)V
flags: ACC_PUBLIC
Code:
stack=2, locals=2, args_size=2
0: aload_0
1: aload_1
2: putfield #4 // Field type:Ljava/lang/String;
5: return
LineNumberTable:
line 23: 0
line 24: 5
LocalVariableTable:
Start Length Slot Name Signature
0 6 0 this Lcom/xiao7/uid/props/UidProperties;
0 6 1 type Ljava/lang/String;
}
SourceFile: "UidProperties.java"
RuntimeVisibleAnnotations:
0: #26(#27=s#28)