本文介绍: JVM类加载机制

JVM类加载机制

加载

​ 在JVM虚拟机实现规范中,通过ClassLoader加载*.class字节文件文件流)加载内存,并对字节文件内容进行验证准备解析初始化,最终形成可以虚拟机直接使用java.lang.Class对象,这个过程被称作类加载

​ 类是在运行期间第一次使用时,被类加载动态加载至JVM。JVM不会一次加载所有类。因为如果一次性加载,那么占用很多的内存

类的生命周期

在这里插入图片描述

类的声明周期包括一下7个阶段

结束生命周期几种场景

类加载过程

类加载过程包括:加载、验证、准备解析初始化

可以通过一句谐音来记忆:“家宴准备了西式菜”,家(加载)宴(验证)准备(准备)了西(解析)式(初始化)菜

加载

​ 在加载阶段,JVM主要完成以下三件事:


由于 JVM 虚拟机对加载*.class字节文件的来源并未做限制,所以出现了以下的 *.class
节码文件加载方式

  1. 本地文件系统直接读取

  2. 网络中通过服务器响应读取例如: web Applet 技术

  3. 从 JAR 、 EAR 、 WAR 等压缩文件中读取

  4. 运行时通过动态代理技术生成字节码文件例如: 在 java.lang.reflect.Proxy 使用

    ProxyGenerator.generateProxyClass 的代理类的二进制节流

  5. 由其他文件容器生成例如: 由tomcat*.jsp文件翻译*.java 文件后,编译生成对应.Class字节码文件


​ 在加载阶段完成之后,*.class字节码文件的类信息数据就会存储在元空间,同时在JVM虚拟机堆中生成一个该类的Class对象

验证

在验证阶段,JVM主要确保*.class字节码文件中包含信息复合当前虚拟机的要求,并不会危害虚拟机安全

​ 验证阶段会完成下面四个阶段的检验:

  1. **文件格式验证:**验证字节流是否符合*.class字节码文件 格式规范,且能被当前版本虚拟机处理
  2. **元数据验证:**对字节码描述信息进行语义分析,以保证其描述信息符合Java语言规范的要求
  3. **字节码验证:**通过数据流控制流分析,确保程序语义是合法的,符合逻辑
  4. **符号引用验证:**生在虚拟机将符号引用转化为直接引用时候,这个转化动作将在连接第三个阶段一一解析阶段中发生。确保解析动作能正常执行

为什么需要验证?

Java语言本身是相对安全语言,但*.class字节码文件并不一定要求用Java源码编译而来,可以使用任何途径,甚至可以十六进制编译器直接编写来产生*.class字节码文件

​ 类的加载是 JVM 针对 *.class 字节码文件的读取加载机制,所以虚拟机如果不检查输入的字节流,可能会因为载入了有害的字节流而导致系统崩溃,所以验证是虚拟机对自身保护的一项重要工作
​ 另外,通过类加载机制的验证环节,可以增强解释器的运行期执行性能。因为,解释器在运行期间无需再对每条执行指令进行检查

准备

例如:下面的类变量value初始化为0而不是123

public static int value =123;

如果类变量是常量,那么它将初始化表达式定义的值不是0

例如:下面的常量value被初始化为123而不是0

public static final int value =123;

解析

​ 将常量池的符号引用替换为直接引用。(就是把常量池中值的地址直接替换为值)

初始化

初始化阶段才真正开始执行类中定义的 Java 程序代码。初始化阶段是虚拟机执行类构造<clinit>()方法的过程。在准备阶段,类变量已经赋过一次系统要求的初始值,而在初始化阶段,根据程序员通过程序指定的主观计划去初始化类变量和其他资源

<clinit&gt;()是由编译器自动收集类中所有类变量的赋值动作静态语句块中的语句合并产生的,编译器收集顺序语句源文件中出现的顺序决定。所以,静态语句块只能访问到定义在它之前的类变量,定义在它之后的类变量只能赋值,不能访问

例如:以下代码中静态变量i只能赋值,不能访问,因为i定义在静态代码块的后开你

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

由于父类的<clinit&gt;()方法先执行,也就意味着父类中定义的静态语句块的执行要优先子类。例如下面代码:

public class Parent{
  public static int A =1 ;
 	static {
    A=2;
  }
  static class Sub extends Parent{
    public static int B=A;
  }
  public static void main(String[] args){
    System.out.println(Sub.B);    // 2
  }
}

<clinit>线程安全

虚拟机会保证一个<clinin>()方法在多线程环境下被正确加锁同步,如果多个线程同时初始化一个类,只会有一个线程执行这个类<clinit>()方法,其他线程都会阻塞等待,直到活动线程执行<clinit>()方法完毕。如果在一个类的<clinit>()方法中有耗时的操作,就可能造成多个线程阻塞,在实际过程中,该阻塞非常隐蔽,几乎不会被察觉

类加载的时机

主动引用

虚拟规范中并没有强制约束何时进行加载,但是规范严格规定了只有下列六种情况必须对类进行加载:

被动引用

​ 除主动引用之外,所有引用类的方式都不会触发加载,成为被动引用

被动引用常见例子包括:

  1. 通过子类引用父类的静态字段,不会导致子类加载

    System.out.println(SubClass.value);  // value字段在SubClass类的父类中定义
    
  2. 通过数组定义引用类,不会触发此类的加载。该过程会对数组进行加载,数组类是一个由虚拟机自动生成的,直接继承自Object的子类,其中包含数组属性和方法

    SuperClass[] sca = new SuperClass[10];
    
  3. 常量在编译阶段会存入调用类的常量池,本质没有直接引用到定义常量的类,因此不会触发定义常量的类的加载

    System.out.println(ConstClass.HELLOWORLD);
    

类加载器

类加载器

在类加载过程的加载阶段,通过类的完全限定名,获取描述 类的二进制流的实现类,被称为“类加载器”

类加载器分类

从JVM虚拟机的角度来讲,只存在两种不同的类加载器:

  1. **启动类加载器:**使用C++实现,是虚拟机的一部分
  2. **其他类的加载器:**使用java实现,独立于虚拟机,继承自抽象类java.lang.ClassLoader

从Java开发人员的角度来看,类架子啊其可以划分得更细致一些:

  1. 启动类加载器:

    类加载器负责存放<JRE_HOME> lib目录中的,或者被 -Xbootclasspath 参数指定路径中的,并且是虚拟机识别的(仅按照文件名识别,如 rt.jar名字不符合的类库即使放在 ib 目录中也不会被加载)类库加载到虚拟机内存中。例如java.util.*,java.io.**java.lang.* 类等常用基础库都是由启动类加载器加载。启动类加载器无法被 java程序直接引用。

  2. 扩展类加载器:

    该类加载器是由 ExtClassLoader ( sun.misc.Launcher$ExtclassLoader ) 实现,负责<JRE HOME>/lib/ext 或者被 java.ext.dir 系统变量所指定路径中的所有类库加载到内存中,例如 swing 系列内置js引擎xm 解析器等以 javax 开头的扩展类库都是由扩展类加载器加载,开发者可以直接使用扩展类加载器。

  3. 应用程序类加载器:

    类加载器是由 AppclassLoader(sun.misc.Launcher$AppclassLoader ) 实现。由于这个类加载器是 ClassLoader 中的 getSystemclassLoader() 方法的返回值,因此也被称为系统类加载器。它负责加载用户路径 ( ClassPath ) 上所指定的类库,比如: 我们自己编写自定义类或第三方 jar 包。开发者可以直接使用这个类加载器,如果应用程序没有自定义自己的类加载器,一般情况下这个就是程序中默认的类加载器

在这里插入图片描述

在这里插入图片描述

什么情况下需要自定义类加载器

  1. 隔离加载类。在某些框架内进行中间件应用模块之间进行隔离,把类加载到不同的环境
  2. 修改类加载方式
  3. 扩展加载源。比如: 从数据库网络、电视机顶盒进行类加载
  4. 防止源码泄漏。比如: 编译时字节码进行加密需要通过自定义类加载器对字节码进行解密还原

双亲委派模型

应用程序是由三种类加载器相互配合,从而实现类加载,除此之外还可以加入自己定义的类加载器

类加载器之间的层级关系,称之为双亲委派模型。该模型要求除了顶层的启动类加载器外,其他的类加载器都要有自己的父类加载器,这里的父子关系一般通过组合关系来实现,而不是继承关系

在这里插入图片描述

双亲委派工作机制

一个类加载器首先将类加载请求转发到父类加载器,只有当父类加载器无法完成时才尝试自己加载

双亲委派的作用

  1. 每个类只会加载一次解决了各个类加载器加载基础类的统一问题(基础类库由上层的加载器进行加载)
  2. 防止恶意破坏的类加载,内存中不会出现多份同样的字节码的系统类,保证Java程序安全稳定运行

例如:java.lang.Object存放rt.jar 中,如果编写另外一个java.lang.Object 并放到ClassPath 中,程序可以编译通过。由于双亲委派模型存在,所以在 rt.jar 中的 Object 比在ClassPath 中的 Obiect 优先级更高,因为 rt.jar 中的 Object 使用的是启动类加载器,而 ClassPath 中的 Object 使用的是应用程序类加载器。 rt.jar 中的 object 优先级更高,那么程序中使用的所有的Object,都是由启动类加载器所加载的Object。

双亲委派的实现源码

​ 以下是抽象类java.lang.ClassLoadr的代码片段,其中的loadClass()方法允许过程如下:先检查是否已经加载过,如果没有则让父类加载器去加载。当父类加载器加载失败时抛出ClassNotFoundException,此时尝试自己去加载

在这里插入图片描述

SPI打破双亲委派

SPI是一种服务发现机制,它通过ClassPath路径下的META-INF/services文件夹查找文件自动加载文件里所定义的类

下图:SPI核心类定义在rt.jar中(例如:java.lang.Driver接口),所以java.lang.Driver接口本身是由启动类加载器加载,调用java.lang.Driver接口的实现时,启动类加载器无法加载实现类,这个时候就提供了线程上下文类加载器(Thread Context ClassLoader)加载实现类,ThreadContextClassLoader是可以通过java.lang.Thread#setContextClassLoader方法设置类加载器,这样就打破了双亲委派的类加载模式

在这里插入图片描述

对象的创建过程

Step1:类加载检查

虚拟机遇到一条 new 指令时,首先将去检查这个指令的参数是否能在常量池中定位到这个类的符号引用,并且检查这个符号引用代表的类是否已被加载过、解析和初始化过。如果没有,那必须先执行相应的类加载过程

Step2:分配内存

在类加载检查通过后,接下来虚拟机将为新生对象分配内存。对象所需的内存大小在类加载完成后便可确定,为对象分配空间任务等同于把一块确定大小的内存从 Java 堆中划分出来。内存分配的查找方式有“指针碰撞”和“空闲列表” 两种

在这里插入图片描述

选择以上两种方式中的哪一种,取决于Java堆内存是否规整,而Java堆内存是否规整,取决于GC收集器算法是‘标记-清楚’,还是‘标记整理

Step3:初始化零值

内存分配完成后,虚拟机需要将分配到的内存空间都初始化为零值(不包括对象头),这一步操作保证了对象的实例字段在 Java 代码中可以不赋初始值就直接使用,程序能访问到这些字段的数据类型所对应的零值。

Step4:设置对象头

初始化零值完成之后,虚拟机要对对象进行必要的设置,例如这个对象是哪个类的实例如何才能找到类的元数据信息、对象的哈希码、对象的 GC 分代年龄等信息。 这些信息存放在对象头中。另外根据虚拟机当前运行状态的不同,如是否启用偏向锁等,对象头会有不同的设置方式

Step5:执行init构造方法

在上面工作都完成之后,从虚拟机的视角来看,一个新的对象已经产生了,但从 Java 程序的视角来看,对象创建才刚开始,<init> 构造方法没有执行,目前所有的字段都还为零。所以一般来说,执行 new 指令之后会接着执行 <int> 构造方法,把对象按照程序逻辑的意愿进行初始化,这样一个真正可用的对象才算完整创建出来

原文地址:https://blog.csdn.net/HakerDONG/article/details/134663223

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任

如若转载,请注明出处:http://www.7code.cn/show_21982.html

如若内容造成侵权/违法违规/事实不符,请联系代码007邮箱suwngjj01@126.com进行投诉反馈,一经查实,立即删除

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注