java类加载机制

最新推荐文章于 2024-09-16 21:37:07 发布

……獾

最新推荐文章于 2024-09-16 21:37:07 发布

阅读量755

点赞数 15

文章标签： java 开发语言

本文链接：https://blog.csdn.net/m0_73986294/article/details/142304083

版权

Java 虚拟机把描述类的数据从 Class 文件加载到内存**，并对数据进行校验、转换解析和初始化，最终形成可以被虚拟机直接使用的 Java 类型**，这个过程被称作虚拟机的类加载机制。

java中是动态加载，动态连接的，正是因为这俩个属性所以java可以动态扩展

类加载的时机

一个类型从被加载到虚拟机内存中开始，到卸载出内存为止，它的整个生命周期将会经历：加载、验证、准备、解析、初始化、使用和卸载七个阶段

在这里插入图片描述

加载、验证、准备、初始化和卸载这五个阶段的顺序是确定的，类型的加载过程必须按照这种顺序按部就班地开始，而解析阶段则不一定：它在某些情况下可以在初始化阶段之后再开始，这是为了支持 Java 语言的运行时绑定特性（也称为动态绑定或晚期绑定）

这里的各个阶段也不是简单的按顺序进行，他们通常都是交叉混合的进行，在一个阶段执行过程中调用，激活另一个阶段

对于加载这个阶段虚拟机没有强制要求，但是初始化是由强制要求的，在以下六种情况必须要立即进行初始化

遇到 new、getstatic、putstatic 或 invokestatic 这四条字节码指令时，如果类型没有进行过初始化，则需要先触发其初始化阶段。能够生成这四条指令的典型 Java 代码场景有：
1. 使用 new 关键字实例化对象的时候。
2. 读取或设置一个类型的静态字段（被 final 修饰、已在编译期把结果放入常量池的静态字段除外）的时候。
3. 调用一个类型的静态方法的时候。
使用 java.lang.reflect 包的方法对类型进行反射调用的时候，如果类型没有进行过初始化，则需要先触发其初始化。
当初始化类的时候，如果发现其父类还没有进行过初始化，则需要先触发其父类的初始化。
当虚拟机启动时，用户需要指定一个要执行的主类（包含 main()方法的那个类），虚拟机会先初始化这个主类。
当使用 JDK 7 新加入的动态语言支持时，如果一个 java.lang.invoke.MethodHandle 实例最后的解析结果为 REF_getStatic、 REF_putStatic、REF_invokeStatic、REF_newInvokeSpecial 四种类型的方法句柄，并且这个方法句柄对应的类没有进行过初始化，则需要先触发其初始化。
当一个接口中定义了 JDK 8 新加入的默认方法（被 default 关键字修饰的接口方法）时，如果有这个接口的实现类发生了初始化，那该接口要在其之前被初始化。

除了上面的六个模式之外，所有引用类型的方式都不会触发初始化，称为被动引用

类加载的过程

这里开始了解类加载的全过程，即加载，验证，准备，解析，初始化，

加载

在加载阶段java虚拟机需要完成三件事，

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

这里的获得二进制字节流没有说明从哪里获取，这样有很大的自由度，也因此诞生了很多相关的技术，可以从ZIP文件，网络中获取，运行时生成，其他文件生成，从数据库获取等、

这里注意数组类本身不通过类加载器创建，它是由 Java 虚拟机直接在内存中动态构造出来的，数组类的元素类型还是要通过类加载器实现的

加载阶段就是将一个类的二进制文件得到然后存储其数据结构到方法区，java堆中实例化一个Class类的对象作为访问数据类型的一个入口

验证

目的是确保 Class 文件的字节流中包含的信息符合《Java 虚拟机****规范》的全部约束要求，保证这些信息被当作代码运行后不会危害虚拟机自身的安全。

java语言本身是比较安全的但是，二进制文件不止可以被编译生成，还可以通过其他方法得到，所以如果不经常字节流，完全可能导致整个系统被攻击，然后崩溃

验证阶段大致上会完成下面四个阶段的检验动作：文件格式验证、元数据验证、字节码验证和符号引用验证。

文件格式验证

验证字节流是否符合Class文件格式的规范，并能被虚拟机处理

该验证阶段的主要目的是保证输入的字节流能正确地解析并存储于方法区之内，格式上符合描述一个 Java 类型信息的要求。

只有通过这一步才可以java虚拟机内存的方法区中存储，后面的三个阶段都是在方法区的存储结构上进行的，不会在直接读取字节流

元数据验证

第二阶段是对字节码描述的信息进行语义分析，以保证其描述的信息符合《Java 语言规范》的要求

第二阶段的主要目的是对类的元数据信息进行语义校验，保证不存在与《Java 语言规范》定义相悖的元数据信息。

字节码验证

这里是最复杂的，在这里需要进行对数据流，控制流的分析，确定程序语义是合法的、符合逻辑的

这阶段就要对类的方法体（Class 文件中的 Code 属性）进行校验分析，保证被校验类的方法在运行时不会做出危害虚拟机安全的行为

如果一个类型中有方法体的字节码没有通过字节码验证，那它肯定是有问题的；但如果一个方法体通过了字节码验证，也仍然不能保证它一定就是安全的（我们运行的程序中的BUG）。为了避免过多的执行时间消耗在字节码验证阶段中在JDK6之后将尽量对的校验辅助放到了javac编译器

符号引用验证

最后一个阶段的校验行为发生在虚拟机将符号引用转化为直接引用[3]的时候，这个转化动作将在连接的第三阶段——解析阶段中发生。

符号引用验证可以看作是对类自身以外（常量池中的各种符号引用）的各类信息进行匹配性校验，通俗来说就是，该类是否缺少或者被禁止访问它依赖的某些外部类、方法、字段等资源。

符号引用中通过字符串描述的全限定名是否能找到对应的类。
在指定类中是否存在符合方法的字段描述符及简单名称所描述的方法和字段。
符号引用中的类、字段、方法的可访问性（private、protected、public、）是否可被当前类访问。

整个验证阶段，只有通过和不通过俩个结果，如果已经通过那么对后续的处理没有任何影响，所以如果程序的代码已经确保没有问题（反复使用，验证过的代码），那么可以考虑关闭类验证来缩短类加载时间

准备

准备阶段是正式为类中定义的变量（即静态变量，被 static 修饰的变量）分配内存 并设置类变量初始值的阶段

从概念上讲，这些变量所使用的内存都应当在方法区中进行分配（JDK8过后将类变量放到了堆中)

这里注意设置初始值不光是实例变量设置初始值，包括一些数据类型的零值，比如int

在这里插入图片描述

解析

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

符号引用：这是类文件常量池中的一种形式，用于表示各种类型、字段、方法的引用。它们是一种抽象的、间接的引用方式，通常包括一些如类的全限定名、方法的名称和描述符等信息。符号引用依赖于类文件的结构，并不直接指向内存中的地址。
直接引用：直接引用是具体的、直接指向目标的内存地址或者是可直接使用的偏移量、指针等
类和接口的解析：JVM对类或接口的符号引用转换为该类或接口的直接引用。这通常涉及到将类的全限定名转换为对类的定义的直接引用。
字段解析：字段的符号引用（例如字段的名称和描述符）被转换成具体的字段的直接引用，这通常指向类或接口中字段的具体位置。
方法解析：方法的符号引用被转换成方法的直接引用，这可能是一个指向方法代码位置的指针，或者是一个能够直接触发方法调用的句柄。
接口方法解析：与普通方法解析类似，但特指接口中定义的方法。

初始化

前面的几个阶段都是虚拟机主导，到了这里java虚拟机才开始真正执行类中编译的java程序代码

在初始化阶段，Java 虚拟机(JVM)负责对类变量进行初始化

这里注意和准备时初始化的区别，在准备时是为变量设置默认值，这个值是类型的默认值，而初始化阶段的值是根据代码中的值进行初始化

    static int value = 123;

在准备阶段这个值会被设置为0，在初始化阶段他会设置为123

同时在虚拟机初始化时会执行静态代码块，赋值和执行代码块的操作都会通过类构造器方法**<clinit>()**来完成的

类加载器

**通过一个类的全限定名来获取描述该类的二进制字节流，**实现这个操作的代码叫做类加载器

它负责将类加载到Java虚拟机中。Java虚拟机通过类加载器读取Java应用程序的.class文件，并将这些文件转换成在JVM内部可以使用的一个个Class对象

类和类加载器

对于任意一个类，都必须由加载它的类加载器和这个类本身一起共同确立其在 Java 虚拟机中的唯一性，每一个类加载器，都拥有一个独立的类名称空间

比较俩个类是否相等，只有在俩个类是同一个加载器加载的前提下才是有意义的，如果加载他的加载器不同那么俩个类必不相等

这里的相等包括通过一些方法得到的结果如：Class 对象的 equals()方法等

双亲委派模型

为什么会有这种机制

类加载器将.class类加载到内存中时，为了避免重复加载（确保Class对象的唯一性）以及JVM的安全性，需要使用某一种方式来实现只加载一次，加载过就不能被修改或再次加载。

类加载器的层级结构

在JDK1.2之后，java保持着三层类加载器，双亲委派的类加载架构

在jdk和之前的java应用有使用三个系统提供的类加载器加载

启动加载器：负责加载Java核心库，它无法被java程序直接引用处理
扩展类加载器：负责加载扩展目录中的类库，他允许开发者在程序中调用
应用程序类加载器：负责加载应用程序类路径的类库，一般情况下这个就是程序中默认的类加载器。

在这里插入图片描述

图中展示的各种类加载器之间的层次关系被称为类加载器的“双亲委派模型”。双亲委派模型要求除了顶层的启动类加载器外，其余的类加载器都应有自己的父类加载器。

双亲委派原则

当一个类加载器收到类加载请求时，它首先不会自己去尝试加载这个类，而是把这个请求委派给其父类加载器去完成。这个过程会一直持续，直到达到启动类加载器。如果父类加载器无法完成这个请求，子加载器才会尝试自己去加载。

这样的模型下有一个层次关系，这样的情况下无论是哪一个类要加载类，最后都是委派给模型顶部的类启动加载器加载的，这样保证了Object类在程序的类加载环境下是同一个类

破坏双亲委派模型

双亲委派模型的缺陷

双亲委派模型是存在一些问题的，它虽然保证了基础类型的一致但是，在一些时候启动类加载器可能无法加载用户代码，

三次破坏

双亲委派模型没有引入时，一些一些自定义类加载器可能覆盖了loadClass()方法，设计者添加了findClass（）方法，推荐重写这个方法
双亲委派可以很好的处理基础类型一致性问题，但是可能无法处理用户代码，设计者添加了一个线程上下文类加载器解决这个问题
用户对程序动态性的追求，如代码热替换和模块热部署，导致双亲委派模型受到挑战（OSGi通过自定义类加载器机制实现模块化热部署，每个模块都有自己的类加载器，形成了网状结构，而非树状结构，这进一步破坏了双亲委派模型。）