6 JVM类加载机制

类加载

JVM 类加载机制分为五个部分:加载、验证、准备、解析、初始化,如图:

JVM类加载机制

流程说明

加载

加载阶段会在内存中生成一个代表该类的 java.lang.Class 对象,作为方法区中这个类的数据入口。

可获取加载对象的方法如下:

  1. 从 Class 文件获取
  2. 从 zip 包中读取(如 jar、war)
  3. 运行时计算生成(动态代理)
  4. 由其他文件生成(如 JSP)

验证

验证阶段的主要目的是为了确保 Class 文件的字节流中包含的信息是否符合当前虚拟机的要求,并且不会危害虚拟机的自身安全

准备

准备阶段是正是为类变量分配内存并设置类变量的初始值,即在方法区中分配这些变量所用的内存空间。

注意,此处的“初始值”根据情况而定,如下:

定义第一个类变量:public static int v1 = 100;

变量 v1 在准备阶段的初始值为 0(在程序被编译后,由 put static 指定进行 100 的赋值,该方法存放于类构造器 <client> 中)

定义第二个类变量:public static final int v2 = 100;

变量 v2 在编译阶段会生成 ConstantValue 属性,虚拟机在“准备阶段”根据 ConstantValue 属性将 v2 赋值为 100

解析

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

符号引用包括:

  1. CONSTANT_Class_info
  2. CONSTANT_Field_info
  3. CONSTANT_Method_info

符号引用

符号引用与虚拟机实现的布局无关,引用的目的并一定要已经加载到内存中。各种虚拟机实现的内存布局各不相同,但都必须符合符号引用的规范

直接引用

直接引用可以是指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。如果有直接引用,那引用的目标必定已经在内存中存在

初始化

初始化阶段是类加载的最后一个阶段,之前的阶段中,除了在加载阶段可以自定义类加载器以外,其他操作都由 JVM 主导。

到了初始化阶段,才开始真正执行类中定义的 Java 程序代码。

类构造器 <client>

初始化阶段是执行类构造器 <client> 方法(构造方法)的过程。

构造方法是编译器自动收集类中的类变量的赋值操作和静态语句块中的语句合并而成。虚拟机会保证子构造方法执行之前,父类构造方法已经执行完毕。如果一个类中没有对静态变量赋值,且没有静态代码块,那么编译器可以不为这个类生成构造方法。

以下情况不会执行类初始化:

  1. 通过子类引用父类的静态字段,只会触发父类的初始化,不会触发子类初始化
  2. 定义对象数组,不会触发初始化
  3. 常量在编译期间会存入调用类的常量池中,本质上没有直接引用定义常量的类,不会触发定义常量的类的初始化
  4. 通过类名获取 Class 对象,不会触发类的初始化
  5. 通过 Class.forName() 加载指定类时,如果指定参数 initializefalse,则不会触发该类的初始化
  6. 通过 ClassLoader 默认的 loadClass() 方法,不会触发被调用类的初始化

类加载器

虚拟机设计团队将加载动作放到 JVM 外部实现,以便让应用程序自行决定如何获取所需的类。JVM 提供了 3 种类加载器。

启动类构造器(Bootstrap ClassLoader)

负责加载 JAVA_HOME\lib 目录中的,或通过 -Xbootclasspath 参数指定路径中的,且被虚拟机认可的类(按文件名识别,如 rt.jar)

扩展类构造器(Extension ClassLoader)

负责加载 JAVA_HOME\lib\ext 目录中的,或通过 java.ext.dirs 系统变量指定路径中的类库

应用程序类加载器(Application ClassLoader)

负责加载用户路径 classpath 上的类库。

JVM 通过双亲委派模型进行类的加载,可通过继承 java.lang.ClassLoader 实现自定义的类加载器

JVM 双亲委派模型

双亲委派

双亲委派流程

当一个类收到了类加载请求,他首先不会尝试自己去加载这个类,而是把这个请求委派给父类去完成,每一个层次类加载器都是如此,因此所有的加载请求都应该传送到启动类加载其中,只有当父类加载器反馈自己无法完成这个请求的时候(在它的加载路径下没有找到所需加载的 Class),子类加载器才会尝试自己去加载。

采用双亲委派的一个好处是比如加载位于 rt.jar 包中的类 java.lang.Object,不管是哪个加载器加载这个类,最都是委托给顶层的启动类加载器进行加载,这样就保证了使用不同的类加载器最终得到的都是同样一个 Object 对象。

OSGi 动态模型系统

OSGi(Open Service Gateway Initiative)是面向 Java 的动态模型系统,是 Java 动态化模块化系统的一系列规范

动态改造构造

OSGi 服务平台提供在多种网络设备上无需重启的动态改变构造的功能。

为了最小化耦合度和促使这些耦合度可管理, OSGi 技术提供一种面向服务的架构,它能使这些组件动态地发现对方。

模块化编程与热插拔

OSGi 旨在为实现 Java 程序的模块化编程提供基础条件,基于 OSGi 的程序可以实现模块级的热插拔功能,当程序升级更新时,可以只停用、重新安装然后启动程序的其中一部分,这对企业级程序开发来说是非常具有诱惑力的特性。

OSGi 描绘了一个很美好的模块化开发目标,而且定义了实现这个目标所需要的服务与架构,同时也有成熟的框架进行实现支持。但并非所有的应用都适合采用 OSGi 作为基础架构,它在提供强大功能同时,也引入了额外的复杂度,因为它不遵守类加载的双亲委托模型。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章