【07】虚拟机类加载机制

于 2021-08-14 16:04:48 发布
阅读量170 收藏 1
点赞数
分类专栏： 深入理解jvm虚拟机
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_42653356/article/details/119603761
版权

概述

在Class文件中描述的各种信息，最终都需要加载到虚拟机中之后才能运行和使用。
虚拟机把描述类的数据从Class文件加载到内存，并对数据进行校验、转换解析和初始化，最终形成可以被虚拟机直接使用的Java类型，这就是虚拟机的类加载机制。
与那些在编译时需要进行连接工作的语言不同，在Java语言里面，类型的加载、连接和初始化过程都是在程序运行期间完成的，这种策略虽然会令类加载时稍微增加一些性能开销，但是会为Java应用程序提供高度的灵活性，Java里天生可以动态扩展的语言特性就是依赖运行期动态加载和动态连接这个特点实现的。例如，如果编写一个面向接口的应用程序，可以等到运行时再指定其实际的实现类；用户可以通过Java预定义的和自定义类加载器，让一个本地的应用程序可以在运行时从网络或其他地方加载一个二进制流作为程序代码的一部分，这种组装应用程序的方式目前已广泛应用于Java程序之中。从最基础的Applet、JSP到相对复杂的OSGi技术，都使用了Java语言运行期类加载的特性。

类加载的时机

类从被加载到虚拟机内存中开始，到卸载出内存为止，它的整个生命周期包括：

  1. 加载（Loading）
  2. 连接（Linking）：
    • 验证（Verification）
    • 准备（Preparation）
    • 解析（Resolution）
  3. 初始化（Initialization）
  4. 使用（Using）
  5. 卸载（Unloading）

主动引用

虚拟机规范严格要求有且仅有5种情况必须立即对类进行“初始化”，即开始加载

  1. 遇到new，getstatic，putstatic或invokestatic这四条字节码指令的时候，且类没有被初始化过
    • 使用new实例化对象的时候
    • 读取或者设置一个类的静态字段（被final修饰，已在编译期把结果放到常量池的静态字段除外）
    • 调用一个类的静态方法的时候。
  2. 使用java.lang.reflect包的方法对类进行反射调用的时候，如果这个类没有进行过初始化
  3. 当初始化一个类，发现其父类还没有进行初始化，需要先触发父类的初始化
  4. 当虚拟机启动时，用户需要指定一个要执行的主类（包含main()方法的那个类）
  5. 当使用JDK 1.7的动态语言支持，如果一个java.lang.invoke.MethodHandle实例最后解析结果是REF_getStatic，REF_putStatic，REF_invokeStatic的方法句柄，并且这个方法句柄对应的类没有进行过初始化。

被动引用

除主动引用的情况外，其他所有情况都属于被动引用

  • 通过其子类来引用父类中定义的静 态字段，只会触发父类的初始化而不会触发子类的初始化。

  • 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

    package org.fenixsoft.classloading；
/**
*被动使用类字段演示一：
*通过子类引用父类的静态字段，不会导致子类初始化
**/
public class SuperClass{
  static{
  	System.out.println（"SuperClass init！"）；
  }
	public static int value=123；
}
public class SubClass extends SuperClass{
  static{
  	System.out.println（"SubClass init！"）；
  }
}
/**
*非主动使用类字段演示
**/
public class NotInitialization{
  public static void main（String[]args）{
  	System.out.println（SubClass.value）；
  }
}

  • 创建数组

    1
2
3
4
5
6
7
8
9
10

    package org.fenixsoft.classloading；
/**
*被动使用类字段演示二：
*通过数组定义来引用类，不会触发此类的初始化
**/
public class NotInitialization{
  public static void main（String[]args）{
  	SuperClass[]sca=new SuperClass[10]；
  }
}

    这段代码里面触发了另外一个名为“[Lorg.fenixsoft.classloading.SuperClass”的类的初始化 阶段，对于用户代码来说，这并不是一个合法的类名称，它是一个由虚拟机自动生成的、直 接继承于java.lang.Object的子类，创建动作由字节码指令newarray触发。

    这个类代表了一个元素类型为org.fenixsoft.classloading.SuperClass的一维数组，数组中应 有的属性和方法（用户可直接使用的只有被修饰为public的length属性和clone（）方法）都实 现在这个类里。Java语言中对数组的访问比C/C++相对安全是因为这个类封装了数组元素的 访问方法[1]，而C/C++直接翻译为对数组指针的移动。在Java语言中，当检查到发生数组越界 时会抛出java.lang.ArrayIndexOutOfBoundsException异常。

  • 常量传播优化

    1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

    package org.fenixsoft.classloading；
/**
*被动使用类字段演示三：
*常量在编译阶段会存入调用类的常量池中，本质上并没有直接引用到定义常量的类，因此不会触发定义常量的类的初始化。
**/
public class ConstClass{
  static{
  	System.out.println（"ConstClass init！"）；
  }
  public static final String HELLOWORLD="hello world"；
}
/**
*非主动使用类字段演示
**/
public class NotInitialization{
  public static void main（String[]args）{
  	System.out.println（ConstClass.HELLOWORLD）；
  }
}

    上述代码运行之后，也没有输出“ConstClass init！”，这是因为虽然在Java源码中引用了 ConstClass类中的常量HELLOWORLD，但其实在编译阶段通过常量传播优化，已经将此常量 的值“hello world”存储到了NotInitialization类的常量池中，以后NotInitialization对常量 ConstClass.HELLOWORLD的引用实际都被转化为NotInitialization类对自身常量池的引用了。 也就是说，实际上NotInitialization的Class文件之中并没有ConstClass类的符号引用入口，这两 个类在编译成Class之后就不存在任何联系了。

接口与类的加载过程差异

接口的加载过程与类加载过程稍有一些不同，针对接口需要做一些特殊说明：接口也有 初始化过程，这点与类是一致的，上面的代码都是用静态语句块“static{}”来输出初始化信息 的，而接口中不能使用“static{}”语句块，但编译器仍然会为接口生成“＜clinit＞（）”类构造 器，用于初始化接口中所定义的成员变量。接口与类真正有所区别的是前面讲述的5种“有 且仅有”需要开始初始化场景中的第3种：当一个类在初始化时，要求其父类全部都已经初始 化过了，但是一个接口在初始化时，并不要求其父接口全部都完成了初始化，只有在真正使 用到父接口的时候（如引用接口中定义的常量）才会初始化。

类加载过程

加载

加载是类加载过程的一个阶段，在加载过程虚拟机需要完成3件事情：

  1. 通过一个类的全限定名来获取定义此类的二进制字节流
  2. 将一个字节流所代表的静态存储结构转化为方法区的运行时数据结构
  3. 在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问入口

数组类型的加载过程

一个数组类创建过程遵循以下规则：

  • 如果数据的组件类型是引用类型，那就递归的加载这个组件类型，数组C将在加载该组件类型 的类加载器的类名称空间上被标识（这点很重要，在7.4节会介绍到，一个类必须与类加载 器一起确定唯一性）

    组件类型：指的是数组去掉一个维度的类型

  • 如果数组的组件类型不是引用类型（例如int[]数组），Java虚拟机将会把数组C标记为与引导类加载器关联

  • 数据类的可见性与它的组件类型的可见性一致，如果组件类型不是引用类型，那数组类的可见性将默认为public

加载阶段完成后，虚拟机外部的二进制字节流就按照虚拟机所需的格式存储在方法区之中，方法区中的数据存储格式由虚拟机实现自行定义，虚拟机规范未规定此区域的具体数据结构。然后在内存中实例化一个java.lang.Class类的对象（并没有明确规定是在Java堆中，对于HotSpot虚拟机而言，Class对象比较特殊，它虽然是对象，但是存放在方法区里面），这个对象将作为程序访问方法区中的这些类型数据的外部接口。

java8之后，取消了方法区，改为元数据区

验证

  1. 文件格式验证

    a.是否以魔数0xCAFEBABE开头

    b.主、次版本号是否在当前虚拟机处理范围之内。

    c.常量池的常量中是否有不被支持的常量类型（检查常量tag标志）。

    d.指向常量的各种索引值中是否有指向不存在的常量或不符合类型的常量。

    e.CONSTANT_Utf8_info型的常量中是否有不符合UTF8编码的数据。

    f.Class文件中各个部分及文件本身是否有被删除的或附加的其他信息

    …

  2. 元数据验证

    a.这个类是否有父类（除了java.lang.Object之外，所有的类都应当有父类）。

    b.这个类的父类是否继承了不允许被继承的类（被final修饰的类）。

    c.如果这个类不是抽象类，是否实现了其父类或接口之中要求实现的所有方法。

    d.类中的字段、方法是否与父类产生矛盾（例如覆盖了父类的final字段，或者出现不符合 规则的方法重载，例如方法参数都一致，但返回值类型却不同等）。

    …

  3. 字节码验证

    第三阶段是整个验证过程中最复杂的一个阶段，主要目的是通过数据流和控制流分析， 确定程序语义是合法的、符合逻辑的。在第二阶段对元数据信息中的数据类型做完校验后， 这个阶段将对类的方法体进行校验分析，保证被校验类的方法在运行时不会做出危害虚拟机 安全的事件。

  4. 符号引用验证

    符号引用验证的校验发生在虚拟机将符号引用转化为直接引用的时候，这个转化动作将 在连接的第三阶段——解析阶段中发生。符号引用验证可以看做是对类自身以外（常量池中 的各种符号引用）的信息进行匹配性校验，通常需要校验下列内容：

    a.通过字符串描述的全限定名是否能找到对应的类

    b.在指定类中是否存在符合方法的字段的描述符以及简单名称所描述的方法和字段

    c.符号引用的类，字段，方法的访问性是否可被当前类访问

    注：如果无法通过符号引用验证，那么将会抛出一个java.lang.IncompatibleClassChangeError异常的子类：java.lang.IllegalAccessError, java.lang.NoSuchFieldError, java.lang.NoSuchMethodError等。

    通过-Xverify:none参数可以关闭大部分类验证措施

准备

准备阶段是正式为类变量分配内存并设置类变量初始值的阶段，这些变量所使用的内存 都将在方法区中进行分配。

这个阶段中有两个容易产生混淆的概念需要强调一下，首先，这 时候进行内存分配的仅包括类变量（被static修饰的变量），而不包括实例变量，实例变量将 会在对象实例化时随着对象一起分配在Java堆中。其次，这里所说的初始值“通常情况”下是 数据类型的零值。假设一个类变量的定义为：

1

public static int value = 123；

那变量value在准备阶段过后的初始值为0而不是123，因为这时候尚未开始执行任何Java 方法，而把value赋值为123的putstatic指令是程序被编译后，存放于类构造器＜clinit＞（）方 法之中，所以把value赋值为123的动作将在初始化阶段才会执行。

1

public static final int value = 123；

注：如果被final修饰，字段属性表会存在ConstantValue属性，那么准备阶段变量value就会被初始化成123.

注：所有基本数据类型的零值

数据类型零值
int0
long0L
short(short)0
char‘\u0000’
byte(byte)0
booleanfalse
float0.0f
double0.0d
refrencenull

解析

解析阶段是虚拟机将常量池中的符号引用替换为直接引用的过程

在Class文件格式中它以CONSTANT_Class_info, CONSTANT_Fiedref_info, CONTSTANT_Methodref_info等类型的常量出现，那解析阶段中所说的直接引用与符号引用又有什么关联呢？

什么是符号引用，直接引用？

符号引用

符号引用以一组符号来描述所引用的目标，符号可以是任何形式的字面量，只要使用时能够无歧义的定位到目标即可。例如，在Class文件中它以CONSTANT_Class_info、CONSTANT_Fieldref_info、CONSTANT_Methodref_info等类型的常量出现。符号引用与虚拟机的内存布局无关，引用的目标并不一定加载到内存中。在Java中，一个java类将会编译成一个class文件。在编译时，java类并不知道所引用的类的实际地址，因此只能使用符号引用来代替。比如org.simple.People类引用了org.simple.Language类，在编译时People类并不知道Language类的实际内存地址，因此只能使用符号org.simple.Language（实际中是由类似于CONSTANT_Class_info的常量来表示的）来表示Language类的地址。各种虚拟机实现的内存布局可能有所不同，但是它们能接受的符号引用都是一致的，因为符号引用的字面量形式明确定义在Java虚拟机规范的Class文件格式中。

直接引用

直接引用是和虚拟机的布局相关的，同一个符号引用在不同的虚拟机实例上翻译出来的直接引用一般不会相同。如果有了直接引用，那引用的目标必定已经被加载入内存中了。

直接引用可以有不同的实现方式：

  • 直接指向目标的指针（比如，指向“类型”【Class对象】、类变量、类方法的直接引用可能是指向方法区的指针）
  • 相对偏移量（比如，指向实例变量、实例方法的直接引用都是偏移量）
  • 一个能间接定位到目标的句柄

虚拟机规范之中并未规定解析阶段发生的具体时间，只要求了在执行

1

anewarray、 checkcast、getfield、getstatic、instanceof、invokedynamic、invokeinterface、invokespecial、 invokestatic、invokevirtual、ldc、ldc_w、multianewarray、new、putfield、putstatic

这16个用于 操作符号引用的字节码指令之前，先对它们所使用的符号引用进行解析。

所以虚拟机实现可 以根据需要来判断到底是在

1.类被加载器加载时就对常量池中的符号引用进行解析

2.还是等到 一个符号引用将要被使用前才去解析它。

除 invokedynamic 指令以外，虚拟 机实现可以对第一次解析的结果进行缓存（在运行时常量池中记录直接引用，并把常量标识 为已解析状态）从而避免解析动作重复进行。

解析动作主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点 限定符7类符号引用进行。

分别对应于常量池的

CONSTANT_Class_info

CONSTANT_Fieldref_info

CONSTANT_Methodref_info

CONSTANT_InterfaceMethodref_info

CONSTANT_MethodType_info

CONSTANT_MethodHandle_info

CONSTANT_InvokeDynamic_info

7种常量类型。

类或接口的解析

当前类为D，未解析符号引用为N，解析为一个类或者接口C的直接引用

  1. C非数组，把N的全限定名传给D的类加载器去加载C，可能触发其他相关 类的加载动作，例如加载这个类的父类或实现的接口。
  2. C是数组，并且数据元素为对象，也就是N的描述符会是类 似“[Ljava/lang/Integer”的形式，那么按上面描述加载数据元素类型，就是“java.lang.Integer”，接着由虚拟机生成一个 代表此数组维度和元素的数组对象。
  3. 上面步骤没有异常，C就是一个有效的类或者接口了，解析完成前，需要验证，确认D是否有对C的访问权限。

字段解析

解析字段符号引用，首先对字段表内的class_index项索引的CONSTANT_Class_info符号引用进行解析，如果成功，将这个类或者接口用C表示

  1. 如果C本身就包含了简单名称和字段描述符都与目标相匹配的字段，则返回这个字段的直接引用，查找结束。
  2. 否则，如果C中实现了接口，将会按照继承关系从下往上递归搜索各个接口和它的父接口，如果接口中包含了简单名称和字段描述符都与目标相匹配的字段，则返回这个字段的直接引用，查找结束。
  3. 否则，如果C不是java.lang.Object的话，将会按照继承关系从下往上递归搜索其父接口，如果父接口中包含了简单名称和字段描述符都与目标相匹配的字段，则返回这个字段的直接引用，查找结束。
  4. 否则查找结束，抛出java.lang.NoSuchFieldError异常。

成功返回后，会对这个字段做权限验证，如果发现不具备对字段 的访问权限，将抛出java.lang.IllegalAccessError异常。

类方法解析

类方法解析的第一个步骤与字段解析一样，也需要先解析出类方法表的class_index 项中 索引的方法所属的类或接口的符号引用，如果解析成功，我们依然用C表示这个类，接下来 虚拟机将会按照如下步骤进行后续的类方法搜索。

  1. 类方法和接口方法符号引用的常量类型定义是分开的，如果在类方法表中发现 class_index中索引的C是个接口，那就直接抛出java.lang.IncompatibleClassChangeError异常。

    java8以后，在接口中也可以定义方法。

  2. 如果通过了第1步，在类C中查找是否有简单名称和描述符都与目标相匹配的方法， 如果有则返回这个方法的直接引用，查找结束。

  3. 否则，在类C的父类中递归查找是否有简单名称和描述符都与目标相匹配的方法，如 果有则返回这个方法的直接引用，查找结束。

  4. 否则，在类C实现的接口列表及它们的父接口之中递归查找是否有简单名称和描述符 都与目标相匹配的方法，如果存在匹配的方法，说明类C是一个抽象类，这时查找结束，抛 出java.lang.AbstractMethodError异常。

  5. 否则，宣告方法查找失败，抛出java.lang.NoSuchMethodError。

最后，如果查找过程成功返回了直接引用，将会对这个方法进行权限验证，如果发现不 具备对此方法的访问权限，将抛出java.lang.IllegalAccessError异常。

接口方法解析

接口方法也需要先解析出接口方法表的class_index 项中索引的方法所属的类或接口的符 号引用，如果解析成功，依然用C表示这个接口，接下来虚拟机将会按照如下步骤进行后续 的接口方法搜索。

  1. 与类方法解析不同，如果在接口方法表中发现class_index中的索引C是个类而不是接 口，那就直接抛出java.lang.IncompatibleClassChangeError异常。
  2. 否则，在接口C中查找是否有简单名称和描述符都与目标相匹配的方法，如果有则返 回这个方法的直接引用，查找结束。
  3. 否则，在接口C的父接口中递归查找，直到java.lang.Object类（查找范围会包括 Object类）为止，看是否有简单名称和描述符都与目标相匹配的方法，如果有则返回这个方 法的直接引用，查找结束。
  4. 否则，宣告方法查找失败，抛出java.lang.NoSuchMethodError异常。

由于接口中的所有方法默认都是public的，所以不存在访问权限的问题，因此接口方法 的符号解析应当不会抛出java.lang.IllegalAccessError异常。

初始化

  • ()方法是由编译器自动收集类中所有类变量的赋值动作和静态语句块（static块）中的语句合并而成，编译器收集的顺序是由语句在源文件中出现的顺序所决定的。
    • 静态语句块只能访问到定义在静态语句块之前的变量，定义在它之后的变量，在前面的静态语句块可以赋值，但是不能访问
  • ()方法与类的构造函数()不同，它不需要显式的调用父类的构造器，虚拟机会保证子类的()方法之前，父类的()方法执行完毕。因此虚拟机中第一个被执行的()方法类肯定是java.lang.Object
  • 由于父类的()方法先执行，也就意味着父类的静态语句块会优先于子类赋值
  • ()方法对于类或者接口不是必须的，没有静态语句块也没有赋值的话，编译器可以不为这个类生成()方法
  • 接口中不能使用静态语句块，但仍然有变量初始化的赋值操作，因此接口与类一样都会生成()方法，但是接口和类不同的是，执行接口的()方法不需要先执行父接口的()方法。只有当父接口中定义的变量使用时，父接口才会被初始化。
  • 虚拟机会保证一个类的()方法方法在多线程环境中被正确的加锁，同步。如果一个类的()方法方法中有耗时很长的操作，有可能造成多线程阻塞。

<clinit>()方法和<init>()方法

  • <clinit>()方法

    由编译器自动收集类中所有类变量的赋值动作和静态语句块（static块）中的语句合并而成。

  • <init>()方法

    对象构造时用以初始化对象的，构造器以及非静态初始化块中的代码。

什么是向前引用

所谓向前引用，就是在定义类、接口、方法、变量之前使用它们

什么是非法向前引用

1
2
3
4
5
6
7
8
9

public class MyClass {
	static {
		i = 0; //给变量赋值可以正常通过
		System.out.println(i); //编译器提示非法向前引用
	}
	
	static int i = 1;
}

1
2
3
4
5
6
7
8
9
10

public class MyClass {
 
    int m = n;   //非法向前引用
    {
    	n = 0;
    	System.out.println(n); //非法向前引用
    }
    int n = 1;    
}

上面两个例子中都有非法向前引用的报错，即不能在变量声明之前引用这个变量，但是可以对此变量进行赋值。

为什么不允许向前引用？

这是java出于安全性考虑的：如果字段会进行初始化，一定要防止在初始化前程序中访问默认值（可以赋值但不可访问），这会导致很多意想不到的麻烦。

所以编译期会对变量还未完全初始化却在前面被引用的现象进行检查并规避。

再看下面这个demo

1
2
3
4
5
6

public class MyClass {
    int method() {return n; }  
    int m = method();  
    int n = 1;
}

这个demo，在变量n定义之前就对n进行了引用，只不过引用是在一个方法中，这时编译器不会报非法向前引用。

此时输出m和n，分别为0和1。

new MyClass()操作，jvm在堆中划分相应的空间，并为成员变量赋初值（零值），

然后执行成员变量初始化的操作，jvm会统一收集到方法中，会按照成员变量出现的顺序生成相应初始化字节码指令。

所以首先会初始化m，调用method方法，返回n时，n还没有进行初始化，所以n是默认值0，返回将m初始化为0。

然后初始化n，将n初始化为1.

为什么上面的demo中可以向前引用？

这主要是因为，这里的向前引用是在方法中，编译器对此无能为力，因为在编译期它无法知道是什么样的值赋值给了m。所以编译器并不会报错，但是我们要避免这样的现象发生。

类加载器

虚拟机设计团队把类加载阶段中的“通过一个类的全限定名来获取描述此类的二进制字 节流”这个动作放到Java虚拟机外部去实现，以便让应用程序自己决定如何去获取所需要的 类。实现这个动作的代码模块称为“类加载器”。 类加载器可以说是Java语言的一项创新，也是Java语言流行的重要原因之一，它最初是 为了满足Java Applet的需求而开发出来的。虽然目前Java Applet技术基本上已经“死掉” [1]，但 类加载器却在类层次划分、OSGi、热部署、代码加密等领域大放异彩，成为了Java技术体系 中一块重要的基石，可谓是失之桑榆，收之东隅。

类与类加载器

比较两个类是否“相等”，只有在这两个类是由同一个类加载器加载的前提下才有意 义，否则，即使这两个类来源于同一个Class文件，被同一个虚拟机加载，只要加载它们的类 加载器不同，那这两个类就必定不相等。

双亲委派模型

类加载器

  • 启动类加载器

    这个类加载器使用C++语言实现[1]，是虚拟机自身的一部分。

    这个类将器负责将存放在＜ JAVA_HOME＞\lib目录中的，或者被-Xbootclasspath参数所指定的路径中的，并且是虚拟机 识别的（仅按照文件名识别，如rt.jar，名字不符合的类库即使放在lib目录中也不会被加载） 类库加载到虚拟机内存中。启动类加载器无法被Java程序直接引用

  • 扩展类加载器

    这个加载器由sun.misc.Launcher $ExtClassLoader实现，它负责加载＜JAVA_HOME＞\lib\ext目录中的，或者被java.ext.dirs系 统变量所指定的路径中的所有类库，开发者可以直接使用扩展类加载器。

  • 应用程序类加载器

    这个类加载器由sun.misc.Launcher $AppClassLoader实现。由于这个类加载器是ClassLoader中的getSystemClassLoader（）方法的返回 值，所以一般也称它为系统类加载器。它负责加载用户类路径（ClassPath）上所指定的类 库，开发者可以直接使用这个类加载器，如果应用程序中没有自定义过自己的类加载器，一 般情况下这个就是程序中默认的类加载器。

  1. 双亲委派模型要求除了顶层的启动类加载器外，其余的类加载器都应当 有自己的父类加载器。使用组合（Composition）关系来复用父加载器的代码
  2. 如果一个类加载器收到了类加载的请求，它首先不会自己 去尝试加载这个类，而是把这个请求委派给父类加载器去完成，只有当父类加载器反馈自己无法加载这个加载请求的时候，子加载器才会尝试自己去加载。

破坏双亲委派模型

第一次破坏

JDK1.2之前并未引入双亲委派模型，所以为向前兼容，JDK1.2之前覆盖loadClass方法。

JDK 1.2之后已不提倡用户再去覆盖loadClass（）方法，而应当把自己的类加载逻辑 写到findClass（）方法中，在loadClass（）方法的逻辑里如果父类加载失败，则会调用自己 的findClass（）方法来完成加载，这样就可以保证新写出来的类加载器是符合双亲委派规则 的。

第二次破坏

双亲委派很好地解 决了各个类加载器的基础类的统一问题（越基础的类由越上层的加载器进行加载），基础类 之所以称为“基础”，是因为它们总是作为被用户代码调用的API。

如果基础类又要调用回用户的代码，那该怎么办？

个典型的例子便是JNDI服务。

它的代码由启动类加载器去加载（在JDK 1.3时放进去的rt.jar），但JNDI的目的就是对 资源进行集中管理和查找，它需要调用由独立厂商实现并部署在应用程序的ClassPath下的 JNDI接口提供者（SPI,Service Provider Interface）的代码，但启动类加载器不可能“认识”这些 代码啊！那该怎么办？

如果类A中调用了类B，那么加载B的时候，需要使用A的类加载器去加载B。

如果A是基础类，B是用户类，那么A对应的最上层类加载器，是没办法处理下层的用户类的。

线程上下文类加载 器（Thread Context ClassLoader）

为了解决这个问题，Java设计团队只好引入了一个不太优雅的设计：线程上下文类加载 器（Thread Context ClassLoader）。这个类加载器可以通过java.lang.Thread类的 setContextClassLoaser（）方法进行设置，如果创建线程时还未设置，它将会从父线程中继承 一个，如果在应用程序的全局范围内都没有设置过的话，那这个类加载器默认就是应用程序 类加载器。

有了线程上下文类加载器，就可以做一些“舞弊”的事情了。

JNDI服务使用这个线程上下 文类加载器去加载所需要的SPI代码，也就是父类加载器请求子类加载器去完成类加载的动 作，这种行为实际上就是打通了双亲委派模型的层次结构来逆向使用类加载器，实际上已经 违背了双亲委派模型的一般性原则，但这也是无可奈何的事情。Java中所有涉及SPI的加载动 作基本上都采用这种方式，例如JNDI、JDBC、JCE、JAXB和JBI等。

第三次破坏

第三次“被破坏”是由于用户对程序动态性的追求而导致的。

如：代码热替换（HotSwap）、模块热部署（Hot Deployment）等。

在OSGi环境下，类加载器不再是双亲委派模型中的树状结构，而是进一步发展为更加 复杂的网状结构

当收到类加载请求时，OSGi将按照下面的顺序进行类搜索

  1. 将以java.*开头的类委派给父类加载器加载。
  2. 否则，将委派列表名单内的类委派给父类加载器加载。
  3. 否则，将Import列表中的类委派给Export这个类的Bundle的类加载器加载。
  4. 否则，查找当前Bundle的ClassPath，使用自己的类加载器加载。
  5. 否则，查找类是否在自己的Fragment Bundle中，如果在，则委派给Fragment Bundle的 类加载器加载。
  6. 否则，查找Dynamic Import列表的Bundle，委派给对应Bundle的类加载器加载。
  7. 否则，类查找失败。

上面的查找顺序中只有开头两点仍然符合双亲委派规则，其余的类查找都是在平级的类 加载器中进行的。

精神病院长_001
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Java虚拟机类加载机制浅谈
01-20
　虚拟机将描述类的数据从Class文件加载到内存，并对数据进行校验、准备、解析和初始化，终会形成可以被虚拟机使用的Java类型，这是一个虚拟机的类加载机制。Java中的类是动态加载的，只有在运行期间使用到该类的...
Dalvik虚拟机类加载机制分析图
07-30
作者：【郭孝星】http://blog.csdn.net/allenwells 微博：【郭孝星的新浪微博】http://weibo.com/allenwells 邮箱：[email protected] 博客：http://blog.csdn.net/allenwells Github：...
java 类加载机制
xfans12000的专栏
03-12 1282
ClassLoader Mechanism 当JVM（Java虚拟机）启动时，会形成由三个类加载器组成的初始类加载器层次结构：         bootstrap classloader                  |         extension classloader                  |         system classloader boots
OSGI与SOA
phomkueng的专栏
01-30 262
我个人对soa的看法:soa是一个比面向对象，面向组件更高层次，更粗粒度的复用技术。 当我们把算法，可固化的业务逻辑封装进对象和组件时，就不得不面对随需变化，不断修正的业务规则和流程。这些业务规则和流程不仅仅是纯粹技术性的东西，它遵循的不仅仅是物理逻辑和自然哲学，而更多的是综合性的逻辑，这种综合性逻辑涉及各方各面，所以每一方面的变化都可能我们需要去修正这些业务规则和流程。另...
3.7 虚拟机类加载机制，类的生命周期，类加载器（可以尝试一下手写类加载器有被问道过）、双亲委派模型；
服务端开发进阶之路
04-08 101
虚拟机中类加载的全过程，即加载、验证、准备、解析和初始化在前面已经写了。 类的生命周期？ 在《深入理解Java虚拟机》中写道，一个类型从被加载到虚拟机内存中开始，到卸载出内存为止，它的整个生命周期将会经历加载、验证、准备、解析、初始化、使用和卸载七个阶段，其中验证、准备、解析三个部分统称为连接。 类加载器 Java虚拟机设计团队有意把类加载阶段中的“通过一个类的全限定名来获取描述该类的二进制字节流”这个动作放到Java虚拟机外部去实现，以便让应用程序自己决定如何去获取所需的类。实现这个动作的代码被被
JVM的类加载过程
weixin_45498960的博客
11-30 324
JVM的类加载机制JVM类加载的五个阶段：加载验证准备解析初始化类构造器client类加载器：启动类加载器（Bootstrap ClassLoader）扩展类加载器（Extension ClassLoader）应用程序类加载器（Application ClassLoader）双亲委派 JVM类加载的五个阶段： JVM的类加载分为五个部分：加载、验证、准备、解析、初始化 加载 加载是类加载过程中的...
虚拟机类加载机制
04-23
java类加载的机制，包括类加载的生命周期，还有每个生命周期的详细解析
虚拟机类加载机制.mmap
04-09
思维导图
深入理解Java虚拟机（第七章）：虚拟机类加载机制
时间慢慢的博客
09-02 371
Java虚拟机 类加载过程是把Class类文件加载到内存，并对Class文件中的数据进行校验、转换解析和初始化，最终形成可以被虚拟机直接使用的java类型的过程。类的生命周期： 从被加载到JVM开始，直到卸载出内存： 加载（loading）—验证（verification）—-准备（preparation）—-解析（resolution） —-初始化（initialization）—使用（u
netty 游戏服务器框图_程序员：Netty系列入门案例
weixin_39845220的博客
12-21 233
本博客 猫叔的博客，转载请申明出处阅读本文约 “15分钟”适读人群：Java 中级学习笔记，Netty系列的学习教程，可能很多部分内容是摘抄，不过自己重新做了整理，相关案例也更新了自己的理解。目录情况Netty简介官方解释：Netty是一个异步的事件驱动的网络应用程序框架，用于快速开发可维护的高性能的协议服务器和客户端。——摘自Netty:Home词义拆解：异步：无需阻塞等待线程执行结果，允许后续...
Java虚拟机类加载顺序
海阔天空
08-19 868
Java虚拟机类加载顺序 关键字: 虚拟机 引导 当JVM（Java虚拟机）启动时，会形成由三个类加载器组成的初始类加载器层次结构：  bootstrap classloader  |  extension classloader  |  system classloader  bootstrap classloade
Java类加载器机制和OSGI类加载器机制学习笔记
runningofsnail的博客
06-21 2344
参考链接：https://blog.csdn.net/fuzhongmin05/article/details/57404890               Java类加载机制类加载器        虚拟机设计团队把类加载阶段中的“通过一个类的全限定名来获取描述此类的二进制字节流”这个动作放到Java虚拟机外部去实现，以便让应用程序自己决定如何去获取所需要的类。实现这个动作的代码模块称为“类加载器...
java虚拟机类加载器
博客标题
03-14 556
类从被加载到虚拟机内存中开始，到卸装出内存为止，它的整个生命周期包括了:加载，验证，准备，解析，初始化，使用和卸载七个阶段。其中验证、准备和解析三个部分称为连接，也就是说，一个Java类从字节代码到能够在JVM中被使用，需要经过加载、链接和初始化这三个步骤 。我们看一看Java虚拟机的体系结构。 Java虚拟机的体系结构如下图所示:      类装载器子系统，它根据给定的完整类名来装载
Java 虚拟机面试题
热门推荐
点滴记录
05-27 1万+
如果对象的引用被置为null，垃圾收集器是否会立即释放对象占用的内存？ 不会，在下一个垃圾回收周期中，这个对象将是可被回收的。 也就是说当一个对象的引用变为 null 时，并不会被垃圾收集器立刻回收，而是在下一次垃圾回收时才会释放其占用的内存。 finalize()方法工作原理 一旦垃圾回收器准备好释放对象占用的存储空间，将首先调用其 finalize() 方法（如果如果覆盖了finali...
grpcio-1.47.0-cp310-cp310-linux_armv7l.whl
05-22
Python库是一组预先编写的代码模块，旨在帮助开发者实现特定的编程任务，无需从零开始编写代码。这些库可以包括各种功能，如数学运算、文件操作、数据分析和网络编程等。Python社区提供了大量的第三方库，如NumPy、Pandas和Requests，极大地丰富了Python的应用领域，从数据科学到Web开发。Python库的丰富性是Python成为最受欢迎的编程语言之一的关键原因之一。这些库不仅为初学者提供了快速入门的途径，而且为经验丰富的开发者提供了强大的工具，以高效率、高质量地完成复杂任务。例如，Matplotlib和Seaborn库在数据可视化领域内非常受欢迎，它们提供了广泛的工具和技术，可以创建高度定制化的图表和图形，帮助数据科学家和分析师在数据探索和结果展示中更有效地传达信息。
小程序项目源码-美容预约小程序.zip
05-22
小程序项目源码-美容预约小程序小程序项目源码-美容预约小程序小程序项目源码-美容预约小程序小程序项目源码-美容预约小程序小程序项目源码-美容预约小程序小程序项目源码-美容预约小程序小程序项目源码-美容预约小程序小程序项目源码-美容预约小程序v
MobaXterm 工具
最新发布
05-22
MobaXterm 工具
grpcio-1.48.0-cp37-cp37m-linux_armv7l.whl
05-22
Python库是一组预先编写的代码模块，旨在帮助开发者实现特定的编程任务，无需从零开始编写代码。这些库可以包括各种功能，如数学运算、文件操作、数据分析和网络编程等。Python社区提供了大量的第三方库，如NumPy、Pandas和Requests，极大地丰富了Python的应用领域，从数据科学到Web开发。Python库的丰富性是Python成为最受欢迎的编程语言之一的关键原因之一。这些库不仅为初学者提供了快速入门的途径，而且为经验丰富的开发者提供了强大的工具，以高效率、高质量地完成复杂任务。例如，Matplotlib和Seaborn库在数据可视化领域内非常受欢迎，它们提供了广泛的工具和技术，可以创建高度定制化的图表和图形，帮助数据科学家和分析师在数据探索和结果展示中更有效地传达信息。
NC65 客户端 虚拟机加载机制
05-30
NC65 客户端的虚拟机加载机制可以分为以下几个步骤： 1. 启动虚拟机：NC65 客户端启动后，会启动 Java 虚拟机（JVM），并指定客户端程序作为主类。 2. 加载类文件：JVM 在启动后，会根据客户端程序的类路径...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值