深入理解Java虚拟机05–虚拟机类加载机制「建议收藏」

深入理解Java虚拟机05–虚拟机类加载机制「建议收藏」深入理解Java虚拟机05–虚拟机类加载机制

大家好,又见面了,我是你们的朋友全栈君。

一.前言
  我们一定心里有个疑问,我们那个多态是怎么回事?我们指定的一个接口,却可以等到运行时可以对应于不同的实现类。这是因为,Java有个特性就是依赖运行期动态加载和动态连接,这样实现了Java可以动态进行扩展。我们甚至可以从网络或者其他的地方加载一个二进制流作为程序的一部分。所以,我们通过编译器将我们写的Java文件代码编译成Class文件,程序跑起来的时候通过加载器。

二.加载过程

 深入理解Java虚拟机05--虚拟机类加载机制「建议收藏」

1、 加载(loading)
三件大事

  • 1、通过类的全限定名来定义这个类的二进制流
  • 2、将字节流代表的静态存储结构变成方法区的运行时数据结构
  • 3、在方法区生成一个java.lang.Class对象,作为方法区数据的访问入口

自定义类加载器:重写loadClass()方法

  • 一个区别:数组类本身不通过类加载器创建,而是由虚拟机直接创建,但是数组的元素还是需要类加载器创建的;

2、 连接
(1)、 验证

  • 确保Class文件的字节流中包含的信息符合当前虚拟机的要求,避免导致系统奔溃
  • 验证类型
    • 文件格式验证:保证输入的字节流能够正确的解析并存储于方法区之内,格式上符合Java类型信息;
    • 元数据验证:对元数据信息进行语义上的校验
    • 字节码验证:通过数据流和控制流分析,确定程序语义是合法的,保证方法运行时不会危害虚拟机;
    • 符号引用验证:验证类是否找到到(NoSuchMothodError),访问性是否正常等等,保证解析动作能正常运行;
  • 验证是重要但不是必须的,对于反复验证呢过的Class可以考虑使用-Xverify:none参数来关闭大部分的类验证措施;

(2)、准备:为类变量分配内存并设置初始值(如int为0)。
(3)、解析:

  • 可以放在初始化之后进行,比如需要动态加载的情况下
  • 将常量池中的符号引用替换为直接引用的过程
    • 符合引用:一组符号来描述所引用目标,与虚拟机内存布局无关;
    • 直接引用:直接指向目标的指针、相对偏移量或者是一个能间接定位到目标的句柄。和内存布局有关,目标已经在内存中;
  • invokedynamic:动态调用点限定符,程序实际运行到这条指令的时候,解析动作才能进行;
  • 解析种类
    • 类或接口的解析
    • 字段解析
    • 类方法解析
    • 接口方法解析

3、初始化

  • 必须要立即进行初始化的情况如下(主动引用:主动触发引用的类进行初始化):
    • new(实例化对象)、getstatic、putstatic(读取或者设置静态字段)、invokestatic(调用类静态方法)这4个字节码指令
    • java.lang.reflect包的方法反射调用,类若没有初始化必须先进行初始化
    • 初始化一个类,父类没有初始化,必须先初始化父类(但是接口不用,只有用到父接口时,才会初始化)
    • 虚拟机指定了main方法的类
    • JDK1.7,java.lang.invoke.MethodHandle解析的句柄为REF_ getStatic、REF_ putStatic、REF_ invokeStatic,对应的类还没有被初始化
  • 被动引用
    • 子类引用父类的静态字段,只初始化父类,而不会触发初始化子类
    • 通过数组定义来引用类,不会触发此类的初始化
    • 常量在编译阶段会存入到调用类的常量池中,本质上没有直接应用调用到定义了常量的类,因此定义了常量的这个类不会触发初始化
  • < cinit >()方法:编译器自动收集类中的类变量的赋值动作和static代码块中的程序语句,并且能自动触发父类的< cinit >()方法先进行初始化。遇到多线程并发的时候,会自动加锁,其他的线程会被阻塞。直到执行完毕。

4、 使用
5、 卸载

三.类加载器

1、唯一性

  • 对于任何一个类,都需要和这个类的加载器与这个类共同确定在Java虚拟机中的唯一性,这里说的唯一性指的是“相等”,也就是我们平时说的Class对象的equals()、isAssiganableFrom()、isInstance()方法的返回结果;

2、双亲委派模型

  • 特点:

当一个类的加载器收到了加载请求,不会自己先动手,而是委派给这个类的父类进行加载,如果找不到加载不了就反馈回来自己加载。这样的话,让Java的类一出生就有了很好的层次父子关系。当然也有一些手段去破坏这种关系而获得某种效果。

  • 破坏:

双亲委派模型可以被破坏,推荐重写findClass()方法,而不是loadClass(),应用于热部署等技术;

四.小结

  我们通过编译器先将我们写的.java代码编译为可执行的.class文件,那么如果我们需要真正的执行这个代码,还需要一个过程。这个时候加载器的角色就来了,加载器将首先要加载可执行文件,并变换数据结构。在初始化之前,我们还需要进行验证和准备。解析的过程可以在初始化之前,也可以在初始化之后(实现动态加载的时候—)。触发初始化的条件有几种,分为被动引用和主动引用两大类。我们可以理解为主动引用是我们主动的触发了本Class的初始化,比如New 这个对象的实例。 但是,也存在我们在本类中引用到了其他的类,比如说父类,其他类的常量。如果,我们的操作不是上述的主动引用,其结果是没有触发本Class的初始化,而是间接的触发了别的Class进行初始化工作。我们称这个为被动引用。对于任何一个类,我们通过类和这个类的加载器共同确定在JVM中的唯一性,为了保证父类和子类的层次关系。我们在有需求触发子类的初始化时,必须先完成父类的初始化工作,一直向上追溯,从上到下依次完成初始化。这就是所谓的双亲委派模型。双亲委派模型也是可以被破坏的,在热部署技术中有应用。

 

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请联系我们举报,一经查实,本站将立刻删除。

发布者:全栈程序员-站长,转载请注明出处:https://javaforall.net/107381.html原文链接:https://javaforall.net

(0)
上一篇 2022年4月20日 上午11:40
下一篇 2022年4月20日 下午12:00


相关推荐

  • 如何分解质因数

    如何分解质因数如何分解质因数质数 因数 合数 和倍数的知识 的结构图 在小学数学里 两个正整数相乘 那么这两个数都叫做积的因数 或称为约数质数是指只能被 1 和自己整除的自然数 其余的叫做合数 上小学的时候 我们就知道所有的自然数可以分为质数 素数 和合数两类 当然还特别规定了 1 既不是质数 也不是合数 100 以内的质数 从小到大依次是 2 3 5 7 11 13 17 19 83 89

    2026年3月19日
    3
  • docker常用命令详解_linux入门基础

    docker常用命令详解_linux入门基础Docker 基础命令

    2022年4月22日
    49
  • 测试服务器端口通不通之telnet命令

    测试服务器端口通不通之telnet命令如何测试服务器端口通不通我们在服务器上部署了服务 但是不确定接口是否开放 通不通 这个时候就可以在客户端 window 测试一下打开 cmd 并输入 telnet 然而可以发现命令不存在开启 telnet 打开控制面板 gt 程序 gt 程序和功能 gt 启用或关闭 Window 功能 gt 勾选 telnet 重新打开 cmd 并输入 telnet 进入 telnet 窗口代表已经开启成功了按 q 可以退出 然后输入 telnet 目标服务器的 IP 和端口号 验证 可以进入到 telnet 窗口代表端

    2026年3月17日
    2
  • ORACLESEQUENCE介绍「建议收藏」

    ORACLESEQUENCE介绍「建议收藏」转ORACLESEQUENCE介绍https://blog.csdn.net/tianlesoftware/article/details/4745039在oracle中sequence就是所谓的序列号,每次取的时候它会自动增加,一般用在需要按序列号排序的地方。1、CreateSequence你首先要有CREATESEQUENCE或者CREATEANYSEQUENCE权限,…

    2022年8月31日
    4
  • Linux 环境下 OpenClaw AI 助手部署实战(飞书机器人接入)

    Linux 环境下 OpenClaw AI 助手部署实战(飞书机器人接入)

    2026年3月13日
    3
  • 关于python输出换行与不换行

    关于python输出换行与不换行不换行输出 间隔一个空格 以空格代替换行 print x end 引号内没有空格就是没有间隔没有换行

    2026年3月20日
    3

发表回复

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

关注全栈程序员社区公众号