前言

类装载器子系统是JVM中非常重要的部分,是学习JVM绕不开的一关。

一般来说,Java 类的虚拟机使用 Java 方式如下:

  • Java 源程序(.java 文件)在经过 Java 编译器编译之后就被转换成 Java 字节代码(.class 文件)。
  • 类加载器负责读取 Java 字节代码,并转换成 java.lang.Class类的一个实例。
  • 每个这样的实例用来表示一个 Java 类。
  • 通过此实例的 newInstance()方法就可以创建出该类的一个对象。

类的生命周期

我们先来看下类的生命周期,包括:

  • 加载
  • 连接
  • 初始化
  • 使用
  • 卸载

其中加载连接初始化属于类加载过程

使用是指我们new对象进行使用。

卸载指对象被GC垃圾回收掉。

类加载过程

JVM的类加载的过程是通过引导类加载器(bootstrap class loader)创建一个初始类(initial class)来完成的,这个类是由JVM的具体实现指定的。

Class 文件需要加载到虚拟机中之后才能运行和使用,系统加载 Class 类型的文件份如下几步:

  • 加载
  • 连接
    • 验证
    • 准备
    • 解析
  • 初始

顺序是这样一个顺序,但是加载阶段和连接阶段部分内容是交叉进行的,加载阶段尚未结束,连接阶段可能就已经开始了。

下面我们来逐步解析

加载

这里的加载微观上的,是类加载过程中的一小步,也是第一步,类加载过程中的加载宏观上的。

加载的流程如下:

  • 通过全类名获取定义此类的二进制字节流
  • 将字节流所代表的静态存储结构转换为方法区的运行时数据结构
  • 在内存中生成一个代表该类的 Class 对象,作为方法区这些数据的访问入口

简单来说就是:加载二进制数据到内存 —> 映射成JVM能识别的结构—> 在内存中生成class文件

虚拟机规范上,对这部分的规定并不具体,所以实现方式是很灵活的。

加载阶段我们可以用自定义类加载器去控制字节流的获取方式,是非数组类的可控性最强的阶段,而数组类型不通过类加载器创建,它由 Java 虚拟机直接创建。

关于类加载器是什么,后文再聊。

连接

连接分为三步,验证、准备、解析,目的是将上面创建好的Class类合并至JVM中,使之能够执行的过程。

验证

确保class文件中的字节流包含的信息,符合当前虚拟机的要求,保证这个被加载的class类的正确性,不会危害到虚拟机的安全。

准备

为类中的静态字段分配内存,并设置默认的初始值,比如int类型初始值是0。

被final修饰的static字段不会设置,因为final在编译的时候就分配了。

解析

解析阶段的目的,是将常量池内的符号引用转换为直接引用的过程。

解析动作主要针对类、接口、字段、类方法、接口方法、方法类型等。

如果符号引用指向一个未被加载的类,或者未被加载类的字段或方法,那么解析将触发这个类的加载(但未必触发这个类的链接以及初始化。)

符号引用就是一组符号来描述目标,可以是任何字面量,符号引用的字面量形式明确定在《Java 虚拟机规范》的Class文件格式中。

直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。

举个例子:

在程序执行方法时,系统需要明确知道这个方法所在的位置

Java 虚拟机为每个类都准备了一张方法表来存放类中所有的方法

当需要调用一个类的方法的时候,只要知道这个方法在方法表中的偏移量就可以直接调用该方法了。

通过解析操作符号引用就可以直接转变为目标方法在类中方法表的位置,从而使得方法可以被调用。

所以,解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程,也就是得到类或者字段、方法在内存中的指针或者偏移量

初始化

初始化就是执行类的构造器方法,是类加载的最后一步,这一步 JVM才开始真正执行类中定义的 Java 程序代码

这个方法不需要定义,是javac编译器自动收集类中所有类变量的赋值动作静态代码块中的语句合并来的。

若该类具有父类,jvm会保证父类的init()先执行,然后在执行子类的init()

对于初始化阶段,虚拟机严格规范了有且只有 5 种情况下,必须对类进行初始化,只有主动去使用类才会初始化类:

  • 当遇到 newgetstaticputstaticinvokestatic 这 4 条直接码指令时

    • 当遇到一个类,读取一个静态字段(未被 final 修饰)、或调用一个类的静态方法时。
    • 当 JVM执行 new 指令时会初始化类。即当程序创建一个类的实例对象
    • 当 JVM执行 getstatic 指令时会初始化类。即程序访问类的静态变量(不是静态常量,常量会被加载到运行时常量池)。
    • 当 JVM执行 putstatic 指令时会初始化类。即程序给类的静态变量赋值
    • 当 JVM执行 invokestatic 指令时会初始化类。即程序调用类的静态方法
  • 对类进行反射调用时,如果类没初始化,需要触发其初始化。

  • 初始化一个类,如果其父类还未初始化,则先触发该父类的初始化

  • 当虚拟机启动时,用户需要定义一个要执行的主类 (包含 main 方法的那个类),虚拟机会先初始化这个类。

  • MethodHandleVarHandle 可以看作是轻量级的反射调用机制,而要想使用这 2 个调用, 就必须先使用 findStaticVarHandle 来初始化要调用的类。

  • 「补充,来自issue745 当一个接口中定义了 JDK8 新加入的默认方法(被 default 关键字修饰的接口方法)时,如果有这个接口的实现类发生了初始化,那该接口要在其之前被初始化。

类加载器

三大类加载器

了解了类加载过程后,我们来看看类加载器

类加载器(ClassLoader)用来加载 Java 类到 Java 虚拟机中。

JVM 中内置了三个重要的 ClassLoader,同时按如下顺序进行加载:

  1. BootstrapClassLoader 启动类加载器:最顶层的加载类,由C++实现,负责加载 %JAVA_HOME%/lib目录下的核心jar包和类或者或被 -Xbootclasspath参数指定的路径中的所有类。
  2. ExtensionClassLoader 扩展类加载器:主要负责加载目录 %JRE_HOME%/lib/ext 目录下的jar包和类,或被 java.ext.dirs 系统变量所指定的路径下的jar包。
  3. AppClassLoader 应用程序类加载器:面向我们用户的加载器,负责加载当前应用classpath下的所有jar包和类。

除了 BootstrapClassLoader 其他类加载器均由 Java 实现且全部继承自java.lang.ClassLoader

类的加载几乎是由上述3种类加载器相互配合执行的,在必要时,我们还可以自定义类加载器。

需要注意的是,Java虚拟机对Class文件采用的是按需加载的方式,也就是说当需要使用该类时才会将它的Class文件加载到内存生成Class对象。

双亲委派模型

概念

每一个类都有一个对应它的类加载器。在加载类的时候,是采用的双亲委派模型,即把请优求先交给父类处理的一种任务委派模式。

系统中的类加载器在协同工作的时候会默认使用 双亲委派模型

双亲委派模型的理论很简单,分为如下几步:

  • 即在类加载的时候,系统会首先判断当前类是否被加载过。已经被加载的类会直接返回,否则才会尝试加载。

  • 加载的时候,首先会把该请求委派给该父类加载器的 loadClass() 处理,因此所有的请求最终都应该传送到顶层的启动类加载器 BootstrapClassLoader 中。

  • 当父类加载器无法处理时,才由自己来处理

AppClassLoader的父类加载器为ExtensionClassLoader ExtensionClassLoader 的父类加载器为null,当父类加载器为null时,会使用启动类加载器 BootstrapClassLoader 作为父类加载器。

为什么要使用双亲委派模型

试想一种情况,我们在项目目录下,手动创建了一个java.lang 包,并在该包下创建了一个Object,这时候我们再去启动Java程序,原生Object会被篡改吗?当然是不会的!

因为Object类是Java的核心库类,由BootstrapClassLoader加载,而自定义的java.lang.Object类应该是由AppClassLoader来加载。

BootstrapClassLoader先于AppClassLoader进行加载,根据上面的双亲委派模型的概念,我们可以知道,java.lang.Object类已经被加载,并且AppClassLoader要加载类之前都要先给其父类过目,所以自己写的野类是无法撼动核心库类的。

结论

双亲委派模型保证了Java程序的稳定运行,可以避免类的重复加载,也保证了 Java 的核心 API 不被篡改。

源码分析

双亲委派模型的都集中在 java.lang.ClassLoaderloadClass() 中,相关代码如下所示:

private final ClassLoader parent;
protected Class<?> loadClass(String name, boolean resolve)
throws ClassNotFoundException
{
synchronized (getClassLoadingLock(name)) {
// 首先,检查请求的类是否已经被加载过
Class<?> c = findLoadedClass(name);
if (c == null) {
long t0 = System.nanoTime();
try {
//父加载器不为空,调用父加载器loadClass()方法处理
if (parent != null) {
c = parent.loadClass(name, false);
} else {
//父加载器为空,使用启动类加载器 BootstrapClassLoader 加载
c = findBootstrapClassOrNull(name);
}
} catch (ClassNotFoundException e) {
//抛出异常说明父类加载器无法完成加载请求
} if (c == null) {
long t1 = System.nanoTime();
//自己尝试加载
c = findClass(name); // this is the defining class loader; record the stats
sun.misc.PerfCounter.getParentDelegationTime().addTime(t1 - t0);
sun.misc.PerfCounter.getFindClassTime().addElapsedTimeFrom(t1);
sun.misc.PerfCounter.getFindClasses().increment();
}
}
if (resolve) {
resolveClass(c);
}
return c;
}
}

反双亲委派模型

双亲委派模型是Java默认的,假如我们不想用双亲委派,我们要怎么办呢?

我们可以自定义一个类加载器,除了 BootstrapClassLoader 其他类加载器均由 Java 实现且全部继承自java.lang.ClassLoader。如果我们要自定义自己的类加载器,很明显需要继承 ClassLoader

从上面的源码我们知道,双亲委派模型的都集中在 java.lang.ClassLoaderloadClass() 中,如果想打破双亲委派模型则需要重写 loadClass() 方法。

如果我们不想打破双亲委派模型,就重写 ClassLoader 类中的 findClass() 方法即可,无法被父类加载器加载的类最终会通过这个方法被加载。

参考

  • 《深入理解Java虚拟机》第三版,吹爆!吹爆!

最新文章

  1. 使用expect scp避免直接输密码
  2. ios cell时间相同隐藏算法
  3. mongodb php driver on windows
  4. Ubuntu14.04用apt在线/离线安装CDH5.1.2[Apache Hadoop 2.3.0]
  5. Nancy+BUI+SQLite自动更新服务端和客户端保护更新程序
  6. [bug] 未能加载文件或程序集“SIPEPS, Version=6.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35”或它的某一个依赖项。系统找不到指定的文件。
  7. 在共享DLL中使用MFC
  8. elcipse 中利用maven创建web工程
  9. Defining Database and Instance【数据库与实例】
  10. SQL Server 2008导出数据为SQL脚本的操作步骤
  11. tomcat log
  12. linux的cron服务及应用
  13. C#连接SQL SERVER数据库的详细步骤!
  14. MySQL数据库分表的3种方法
  15. SDN,NFV
  16. 解决 VM虚拟机网卡无法拉起 的问题
  17. ubuntu 14.04 hadoop eclipse 0配置基本环境
  18. python自动发邮件总结及实例说明
  19. grep 同时满足多个关键字、满足任意关键字和排除关键字
  20. python学习第31天

热门文章

  1. python两个字典相加
  2. 7、Spring教程之使用注解开发
  3. 关于HashMap的一些思考
  4. Java例题_38 自定义函数求字符串长度
  5. 此博客使用的CSS样式详解!
  6. 你才不是只会理论的女同学-seata实践篇
  7. 使用Vscode 开发调试 C/C++ 项目
  8. 轻松理解 Spring AOP
  9. BUAA_2020_OO_UNIT1_REVIEW
  10. oo第四单元总结及总课程回顾