【面试题】介绍一下类加载过程,什么是双亲委派模型

背景

java 文件在运行之前,必须经过编译类加载两个过程:

  • 编译过程:把 .java 文件 编译成 .class 文件
  • 类加载过程:把 .class 文件加载到 JVM 内存里,加载完成后就会得到一个 class 对象,我们就可以使用 new 关键字 实例化这个对象

类加载器主要包含三种:

  • 启动类加载器(bootstrap classloader):负责将 JAVA_HOME/lib 下面的类库加载到内存中
  • 标准拓展类加载器(extension classloader):负责将 JAVA_HOME/lib/ext 或者由系统变量 java.ext.dir 指定位置中的类库加载到内存中
  • 应用程序类加载器(application classloader):负责将 系统类路径(CLASSPATH)中指定的类库加载到内存中

除此之外,还有自定义的类加载器,它们之间的关系被称为 类加载器的双亲委派模型。该模型要求除了顶层的启动类加载器之外,其他的类加载器都应该有自己的父类加载器。这种关系一般通过 组合关系 实现,而不是继承。


类加载过程

Class 文件需要加载到虚拟机中才能被运行和使用,系统加载Class 类型的文件主要包含三步:加载->连接->初始化。连接过程又分为 验证-> 准备 -> 解析

加载

类加载过程的第一步,主要完成下面 3 件事情:

  1. 通过全类名获取定义此类的二进制字节流
  2. 将字节流所代表的静态存储结构转换为方法区的运行时的数据结构
  3. 在内存中生成一个代表该类的 class 对象,作为方法区对这些数据的访问入口。

加载这一步主要是通过类加载器完成的。类加载器有很多种,当我们想要加载一个类的时候,具体是哪个类加载器加载由 双亲委派模型 决定。

每个 Java 类都有一个引用指向加载它的 ClassLoader 。不过,数组类不是通过 ClassLoader 创建的,而是 JVM 在需要的时候自动创建的,数组类通过 getClassLoader() 方法获取 ClassLoader 的时候和该数组的元素类型的 ClassLoader 是一致的。

一个非数组类的加载阶段(加载阶段获取类的二进制字节流的动作)是可控性最强的阶段,这一步我们可以去完成还可以自定义类加载器去控制字节流的获取方式(重写一个类加载器的 loadClass() 方法)

加载阶段与连接阶段的部分动作是交叉进行的,加载阶段尚未结束,连接阶段可能就已经开始了。

验证

验证时连接阶段的第一步,这一阶段的目的是确保 Class 文件的字节流中包含的信息符合 《JAVA 虚拟机规范》的全部约束要求,保证这些信息被当做代码运行后不会危害虚拟机自身的安全

验证阶段这一步在整个类加载过程中耗费的资源还是相对较多的,但是很有必要,可以有效防止恶意代码的执行。

不过验证阶段也不是必须要执行的阶段。如果程序运行的全部代码都已经被反复使用和验证过,在生产环境的实施阶段就可以考虑使用 -Xverify:none 参数来关闭大部分的类验证措施,以缩短虚拟机类加载的时间。

验证阶段主要由四个阶段组成:

  1. 文件格式验证(Class 文件格式检查)
  2. 元数据验证(字节码语义检查)
  3. 字节码验证(程序语义检查)
  4. 符号引用验证(类的正确性检查)

 文件格式验证这一阶段基于该类的二进制字节流进行的。主要目的是保证输入的字节流能正确地解析并存储于方法区内,格式上符合描述一个 Java 类型信息的要求。除了这一阶段之外,其余三个验证阶段都是基于方法区的存储结构上进行的,不会再直接读取、操作字节流了。

方法区是属于 JVM 运行时数据区域的一块逻辑区域,是各个线程共享的内存区域。当虚拟机要使用一个类时,它需要读取并解析 Class 文件获取相关信息,再将信息存入到方法区。方法区会存储已被虚拟机加载的 类信息、字段信息、方法信息、常量、静态变量、即时编译器编译后的代码缓存等数据

准备

准备阶段是正式为类变量分配内存并设置类变量初始值的阶段,这些内存都将在方法区中分配。对于该阶段有以下几点需要注意:

  1. 这时候进行内存分配的仅包括类变量(即静态变量,被static 关键字修饰的变量,只与类相关,因此被称为类变量),而不包含实例变量。实例变量会在对象实例化时随着对象一起分配在 Java 堆中。
  2. 理论上,类变量所使用的内存都应在 方法区 中进行分配。但是在 JDK7 及以后,HotSpot 已经把原本放在永久代的字符串常量池、静态变量等移动到了堆中,这个时候类变量会随着 Class 对象一起存放到 Java 堆中。
  3. 这里所设置的初始值 通常情况下 是数据类型默认的零值

基本数据类型的零值

 解析

解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程。解析动作主要针对 类 或 接口、字段、类方法、接口方法、方法类型、方法句柄和调用限定符 7 类符号引用进行。

初始化 

初始化阶段是执行初始化方法 <clinit>() 方法的过程,是类加载的最后一步,这一步 JVM 才开始真正执行类中定义的 Java 程序代码(字节码)

<clinit>()方法是在编译之后自动生成的

对于初始化阶段,虚拟机严格规范了有且仅有 6 种情况,必须对类进行初始化(只有主动去使用类才会初始化类)

  1. 当遇到 new 、getstatic、putstatic 或 invokestatic 这四条字节码指令时,比如 new 一个类,读取一个静态字段,或者调用一个类的静态方法时
  2. 使用 java.lang.reflect 包的方法对类进行反射调用时 。比如 Class.forname("...")
  3. 初始化一个类,如果其父类还未初始化,则先触发该父类的初始化
  4. 当虚拟机启动时,用户需要定义一个要执行的主类(包含 main 方法的类),虚拟机会先初始化这个类
  5. MethodHandle 和 VarHandle 可以看作是轻量级的反射调用机制,而要想使用这 2 个调用, 就必须先使用 findStaticVarHandle 来初始化要调用的类
  6. 当一个接口中定义了 JDK8 新加入的默认方法(被default 关键字修饰的接口方法)时,如果有这个接口的实现类发生了初始化,那该接口要在其之前被初始化。

类卸载

该类的 Class 被 GC

类卸载需要满足 3 个要求:

  1. 该类的所有实例对象都被 GC,也就是说堆中不存在该类的实例对象
  2. 该类没有在其他任何地方被引用
  3. 该类的类加载器的实例已经被 GC

所以,在 JVM生命周期内,由 JVM 自带的类加载器加载的类是不会被卸载的。但是由我们自定义的类加载器加载的类是可能被卸载的。

JDK 自带的 BootstrapClassLoader, ExtClassLoader, AppClassLoader 负责加载 JDK 提供的类,所以它们(类加载器的实例)肯定不会被回收。而我们自定义的类加载器的实例是可以被回收的,所以使用我们自定义加载器加载的类是可以被卸载掉的。


著作权归JavaGuide(javaguide.cn)所有 基于MIT协议 原文链接:https://javaguide.cn/java/jvm/class-loading-process.html


双亲委派模型

某个特定类加载器在接到加载类的请求时,首先将加载任务委托给父类加载器,依次递归,如果父类加载器可以完成加载任务,就成功返回;只有父类加载器无法完成加载任务时,才会自己加载。

使用双亲委派模型的好处是:

  • 安全性:这种层级关系实际上代表着一种优先级,也就是所有的类加载优先给到 bootstrap classloader,那么对于核心类库中的类就没办法被破坏(比如,如果自己在程序中写了一个 java.lang.Object 类,那么在程序运行的时候就有两个 Object 类。双亲委派模型可以保证加载的是 JRE 里面的那个 Object 类,而不是自定义的 Object 类。因为 AppClassLoader 在加载程序中的 Object 类的时候会委托给 ExrClassLoader ,ExtClassLoader 又会委托给 BootStrapClassLoader 。此时 BootStrapClassLoader 发现自己已经加载过 Object 类了,会直接返回,不会再重新加载 Object 类)
  • 这种层级关系的设计可以避免重复加载导致程序混乱,如果父加载器加载过了,子加载器就不会再去加载了。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/172594.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Vue快速实践总结 · 上篇

文章目录 模板语法数据绑定事件处理计算属性监视属性&#xff08;监听器&#xff09;条件渲染列表渲染数据监视原理内置指令总结生命周期组件化编程组件使用步骤组件的嵌套this指向单文件组件ref、props 脚手架(Vue CLI)render函数 参考自己的Vue专栏以及Vue官方文档 模板语法 …

目标检测YOLO实战应用案例100讲-基于改进YOLO深度学习模型的烟支外观质量检测

目录 前言 研究意义 国内外研究现状 烟支缺陷检测的研究

Java PriorityQueue

一般情况下, 我们使用队列是为了能够建造队列的先进先出 (First-In-First-Out) 模式的, 达到一种资源的公平分配, 先到达的任务 (元素) 先处理, 但有时需要在队列中基于优先级处理对象。 存入队列中的任务 (元素) 具有优先级, 需要根据优先级修复里面的数据。而在 JDK 1.5 引入…

Java 泛型知识总结

1、基础知识 泛型是 JDK5 引入的参数化类型特性&#xff0c;所谓参数化类型就是把类型当成参数一样传递&#xff0c;它使得一个类型在定义类、接口和方法时成为一个参数&#xff0c;类似于方法声明中的形式参数&#xff0c;不同之处在于形式参数的输入是值&#xff0c;而类型形…

微机原理_5

一、单项选择题(本大题共15小题,每小题3分,共45分。在每小题给出的四个备选项中,选出一个正确的答案,请将选定的答案填涂在答题纸的相应位置上。) 8086微处理器CLK引脚输入时钟信号是由(提供。 A. 8284 B. 8288 C.8287 D. 8289 2.下面4个寄存器中,不能作为间接寻址的寄存器是(…

go语言基础 break和contine区别

背景 break和continue是编程语言的标准语法&#xff0c;几乎在所有的语言都有类似的用法。 go语言及所有其他编程语言for循环或者其他循环 区别 for i : 0; i < 10; i {if i 5 {continue}fmt.Println(i)for j : 0; j < 3; j {fmt.Println(strconv.Itoa(j) "a&q…

Java + openCV更换证件照背景色

最近在小红书上看到很多更换证件照背景色的需求&#xff0c;联想到以前自己也更换过证件照背景色而且还是付费的&#xff0c;碰巧最近在看一本书《JavaOpenCV高效入门》&#xff0c;于是查找资料&#xff0c;找到了通过技术解决这个需求的办法。 先看效果图&#xff08;图片来自…

使用CMake构建

使用CMake构建 CMake是一个工具,用于简化跨不同平台的开发项目的构建过程。CMake自动生成生成系统,如Makefiles和Visual Studio项目文件。 CMake是一个自带的第三方工具证明文件。本主题描述了如何使用CMake3.1.0带Qt 5。 开始使用CMake 开始find_package找到Qt附带的库和…

java源码之变量和运算符

1、源码使用背景 2、基础讲解 1、数据类型变量 数据类型包括基本数据类型与引用数据类型。 基本数据类型&#xff1a;整数类型、浮点类型、字符类型与布尔类型&#xff08;1&#xff09;整数类型&#xff1a;byte&#xff08;1字节&#xff09;、short&#xff08;2字节&…

职场如战场!!!

一、与他们相处的经历和故事 尊重他人&#xff1a;无论是同事还是领导&#xff0c;在职场中都应该相互尊重。尊重他人的看法、意见和信仰&#xff0c;可以建立积极的工作关系&#xff0c;促进工作效率。 跟随公司文化&#xff1a;不同的公司有不同的文化&#xff0c;理解和遵循…

62 权限提升-烂土豆dll劫持引号路径服务权限

目录 演示案例:Win2012-烂士豆配合令牌窃取提权-Web权限Win2012-DLL劫持提权应用配合MSF-Web权限Win2012-不安全的服务权限配合MSF-本地权限Win2012-不带引号服务路径配合MSF-Web&#xff0c;本地权限补充说明: dll劫持提权及AlwaysInstallElevated等说明关于Windows相关知识点…

vue 中 keep-alive 组件的作用

Vue中的<keep-alive>组件主要用于缓存不活动的组件实例&#xff0c;而不是销毁它们。当组件在<keep-alive>内时&#xff0c;它的激活和停用状态会被相应的触发。这对于性能优化特别有用&#xff0c;尤其是对于那些需要大量计算或产生大量DOM操作的组件。 在<ke…

yo!这里是异常相关介绍

目录 前言 异常的概念 异常的抛出与捕获 捕获过程 重新抛出 规范 异常体系 自定义 标准库 异常的优缺点 后记 前言 对于程序运行时发生的错误&#xff0c;比如内存错误、除0错误等类型&#xff0c;你会如何处理&#xff1f;是使用assert终止程序或是使用exit返回错误…

Linux中的实时线程

目录 一、Linux线程调度策略二、SCHED_RR 为什么比 SCHED_OTHER 要实时呢三、如何使用线程调度相关API1、相关API介绍2、示例代码 一、Linux线程调度策略 在 Linux 中&#xff0c;调度策略&#xff08;scheduling policy&#xff09;是操作系统用来决定进程或线程调度顺序的算法…

Linux系统---僵尸进程、孤儿进程

顾得泉&#xff1a;个人主页 个人专栏&#xff1a;《Linux操作系统》 《C/C》 键盘敲烂&#xff0c;年薪百万&#xff01; 有了上一篇博客的学习&#xff0c;我们已经简单了解了进程的基础知识&#xff0c;今天我们再来学习两个特殊的进程&#xff0c;僵尸进程和孤儿进程。 …

7000字详解 动态代理(JDK动态代理 CGLIB动态代理)与静态代理

代理模式 1. 代理模式 概念2. 静态代理3. 动态代理3.1.JDK动态代理3.2.CGLIB动态代理3.3. JDK动态代理和CGLIB动态代理区别 4.静态代理和动态代理区别5.篇末 1. 代理模式 概念 代理模式是一种设计模式。 使用代理对象来替代真实对象&#xff0c;用代理对象去访问目标对象。这样…

虚拟化逻辑架构: LBR 网桥基础管理

目录 一、理论 1.Linux Bridge 二、实验 1.LBR 网桥管理 三、问题 1.Linux虚拟交换机如何增删 一、理论 1.Linux Bridge Linux Bridge&#xff08;网桥&#xff09;是用纯软件实现的虚拟交换机&#xff0c;有着和物理交换机相同的功能&#xff0c;例如二层交换&#…

图论 2023.11.27

Kruskal定义不同的优先级 P3623 [APIO2008] 免费道路 给定一个无向图&#xff0c;其中一些边是0&#xff0c;其他边为1 两个不同的点之间都应该一条且仅由一条边连接 并保持刚好K条0&#xff0c;求是否有解决方案 n<2e4,m<1e5 Kruskal定义不同的优先级 思路&#xff1a;…

【NGINX--6】安全控制--1

1、基于 IP 地址的访问 根据客户端的 IP 地址控制访问。 使用 HTTP 或 stream 访问模块控制对受保护资源的访问&#xff1a; location /admin/ { deny 10.0.0.1; allow 10.0.0.0/20;allow 2001:0db8::/32; deny all; }给定的 location 代码块允许来自 10.0.0.0/20 中的任何 …

centos 查看磁盘分区的文件系统类型

1 lsblk -f 这个命令是查看系统可以识别出的所有分区的文件系统类型 # lsblk -f NAME FSTYPE LABEL UUID MOUNTPOINT vda └─vda1 ext4 8c02a225-e14c-44a9-a9d8-4b60c4b…