架构师系列- JVM(三)- 类加载

embedded/2024/10/19 9:31:51/

通过字节码,我们了解了class文件的结构

通过运行数据区,我们了解了jvm内部的内存划分及结构

接下来,让我们看看,字节码怎么进入jvm的内存空间,各自进入那个空间,以及怎么跑起来。

4.1 加载

4.1.1 概述

类的加载就是将class文件中的二进制数据读取到内存中,然后将该字节流所代表的静态数据结构转化为方法区中运行的数据结构,并且在堆内存中生成一个java.lang.Class对象作为访问方法区数据结构的入口。

注意:

  • 加载的字节码来源,不一定非得是class文件,可以是符合字节码规范的任意地方,甚至二进制流等
  • 从字节码到内存,是由加载器(ClassLoader)完成的,下面我们详细看一下加载器相关内容

4.1.2 系统加载器

jvm提供了3个系统加载器,分别是Bootstrp loaderExtClassLoaderAppClassLoader

这三个加载器互相成父子继承关系

1)Bootstrp loaderBootstrp加载器是用C++语言写的,它在Java虚拟机启动后初始化它主要负责加载以下路径的文件:%JAVA_HOME%/jre/lib/*.jar%JAVA_HOME%/jre/classes/*-Xbootclasspath参数指定的路径System.out.println(System.getProperty("sun.boot.class.path"));2)ExtClassLoader  ExtClassLoader是用Java写的,具体来说就是 sun.misc.Launcher$ExtClassLoaderExtClassLoader主要加载:%JAVA_HOME%/jre/lib/ext/*
ext下的所有classes目录
java.ext.dirs系统变量指定的路径中类库System.getProperty("java.ext.dirs")3)AppClassLoader AppClassLoader也是用Java写成的,它的实现类是 sun.misc.Launcher$AppClassLoader,另外我们知道ClassLoader中有个getSystemClassLoader方法,此方法返回的就是它。负责加载 -classpath 所指定的位置的类或者是jar文档
也是Java程序默认的类加载器System.getProperty("java.class.path")4)验证很简单,使用一段代码打印对应的property信息就可以查到当前三个类加载器所加载的目录package com.itheima.jvm.load;public class SystemLoader {public static void main(String[] args) {String[] bootstrap = System.getProperty("sun.boot.class.path").split(":");String[] ext = System.getProperty("java.ext.dirs").split(":");String[] app = System.getProperty("java.class.path").split(":");System.out.println("bootstrap:");for (String s : bootstrap) {System.out.println(s);}System.out.println();System.out.println("ext:");for (String s : ext) {System.out.println(s);}System.out.println();//app是默认加载器,注意启动控制台的 -classpath 选项System.out.println("app:");for (String s : app) {System.out.println(s);}}
}

4.1.3 自定义加载器

除了上面的系统提供的3种loader,jvm允许自己定义类加载器,典型的在tomcat上:

4.1.4 双亲委派

1)概述

类加载器加载某个类的时候,因为有多个加载器,甚至可以有各种自定义的,他们呈父子继承关系。

这给人一种印象,子类的加载会覆盖父类,其实恰恰相反!

与普通类继承属性不同,类加载器会优先调父类的load方法,如果父类能加载,直接用父类的,否则最后一步才是自己尝试加载,从源代码上可以验证。

ClassLoader.loadClass()方法:

protected Class<?> loadClass(String name, boolean resolve) throws ClassNotFoundException {synchronized (getClassLoadingLock(name)) { // 首先,检测是否已经加载 Class<?> c = findLoadedClass(name);if (c == null) {//如果没有加载,开始按如下规则执行:long t0 = System.nanoTime();try {if (parent != null) { //重点!父加载器不为空则调用父加载器的loadClass c = parent.loadClass(name, false);} else { //父加载器为空则调用Bootstrap Classloader c = findBootstrapClassOrNull(name);}} catch (ClassNotFoundException e) { }if (c == null) {long t1 = System.nanoTime(); //父加载器没有找到,则调用findclass,自己查找并加载c = findClass(name); }}if (resolve) { resolveClass(c);}return c;}}

2)为什么这么设计呢?

避免重复加载、 避免核心类篡改

采用双亲委派模式的是好处是Java类随着它的类加载器一起具备了一种带有优先级的层次关系,通过这种层级关可以避免类的重复加载,当父亲已经加载了该类时,就没有必要子ClassLoader再加载一次。

其次是考虑到安全因素,java核心api中定义类型不会被随意替换,假设通过网络传递一个名为java.lang.Integer的类,通过双亲委托模式传递到启动类加载器,而启动类加载器在核心Java。

API发现这个名字的类,发现该类已被加载,并不会重新加载网络传递的过来的java.lang.Integer,而直接返回已加载过的Integer.class

即便是父类没加载,也会优先让父类去加载特定系统目录里的class,你获取到的依然是jvm内的核心类,而不是你胡乱改写的。这样便可以防止核心API库被随意篡改。

4.2 验证

加载完成后,class里定义的类结构就进入了内存的方法区。

而接下来,验证是连接阶段的第一步。实际上,验证和上面的加载是交互进行的(比如class文件格式验证)。

而之所以把验证放在加载的后面,是因为除了基本的class文件格式,还需要其他很多验证,我们逐个来看:

4.2.1 文件格式验证

这个好理解,就是验证加载的字节码是不是符合规范

  • 是不是CAFEBABYE开头
  • 主次版本号是否在当前jvm虚拟机可运行的范围内
  • 常量池类型对不对
  • 有没有其他不可识别的信息
  • ……等

总之,根据我们上节讲的字节码分析,要满足合法的字节码约束

4.2.2 元数据验证

到java语法级别了。这个阶段主要验证属性、字段、类关系、方法等是否合规

  • 是否有父类?除了Object其他类必须有
  • 是否继承了不该被继承的类,比如final
  • 是不是抽象类,是的话,方法都完备了没
  • 字段有没问题?是不是覆盖了父类里的final
  • ……等

总之,经过这个阶段,你的类对象结构是ok的了

4.2.3 字节码验证

最复杂的一个阶段。

等等,字节码前面不是验证过了吗?咋还要验证?

上面的验证是基本字节表格式验证。而这里主要验证class里定义的方法,看方法内部的code是否合法。

  • 类型转换是不是有问题?
  • 指令是否跳到了方法外的字节码上?
  • ……

经过本阶段,可以确保你的代码执行时,不会发生大的意外

注意!不是完全不会发生。比如你写了一段代码,jvm只会知道你的方法执行时符合系统规则。

它也不知道你会不会执行很长很长时间导致系统卡死

4.2.4 符号引用验证

最后一个阶段。

这个阶段也好理解,我们上面的字节码解读时,知道字节码里有的是直接引用,有的是指向了其他的字节码地址。

而符号引用验证的就是,这些引用的对应的内容是否合法。

  • utf8里记了某个类的名字,这个类存在不?
  • 方法或字段引用,这些方法在对应的类里存在不存在?
  • 类、字段、方法等上面的可见性是否合法
  • ……

4.3 准备

这个阶段为class中定义的各种类变量分配内存,并赋初始值。

所做的事情好理解,但是要注意几点:

4.3.1 变量类型

注意是类变量,也就是类里的静态变量,而不是new的那些实例变量。new的在下面的初始化阶段

  • 类变量 = 静态变量
  • 实例变量 = 实例化new出来的那些

4.3.2 存储位置

理论上这些值都在方法区里,但是注意,方法区本身就是一个逻辑概念。

1.6里,在永久代

1.8以后,静态类变量如果是一个对象,其实它在堆里。这个上面我们讲方法区的时候验证过。

4.3.3 初始化值

这个值进入了内存,那到底内存里放的value是啥?

注意!

即便是static变量,它在这个阶段初始化进内存的依然是它的初始值!

而不是你想要什么就是什么。

看下面两个实例://普通类变量:在准备阶段为它开了内存空间,但是它的value是int的初始值,也就是 0!
//而真正的123赋值,是在类构造器,也就是下面的初始化阶段
public static int a = 123;//final修饰的类变量,编译成字节码后,是一个ConstantValue类型
//这种类型,在准备阶段,直接给定值123,后期也没有二次初始化一说
public static final int b = 123;

4.4 解析

解析阶段开始解析类之间的关系,需要关联的类被加载。

这涉及到:

  • 类或接口的解析:类相关的父子继承,实现的接口都有哪些类型?
  • 字段的解析:字段对应的类型?
  • 方法的解析:方法的参数、返回值、关联了哪些类型
  • 接口方法的解析:接口上的类型?

经过解析后,当前class里的方法字段父子继承等对象级别的关系解析完成。

这些操作上相关的类信息也被加载。

4.4 初始化

4.4.1 概述

最后一个步骤,经过这个步骤后,类信息完全进入了jvm内存,直到它被垃圾回收器回收。

前面几个阶段都是虚拟机来搞定的。我们也干涉不了,从代码上只能遵从它的语法要求。

而这个阶段,是赋值,才是我们应用程序中编写的有主导权的地方

在准备阶段,jvm已经初始化了对应的内存空间,final也有了自己的值。但是其他类变量,是在这里赋值完成的。

也就是我们说的:

public static int a = 123;  
这行代码的123才真正赋值完成。

4.4.2 两个初始化

1)类变量与实例变量的区分

注意一件事情!

这里所说的初始化是一个class类加载到内存的过程,所谓的初始化值得是类里定义的类变量。也就是静态变量。

这个初始化要和new一个类区分开来。new的是实例变量,是在执行阶段才创建的。

2)实例变量创建的过程

当我们在方法里写了一段代码,执行过程中,要new一个类的时候,会发生以下事情:

  • 在方法区中找到对应类型的类信息
  • 在当前方法栈帧的本地变量表中放置一个reference指针
  • 在堆中开辟一块空间,放这个对象的实例
  • 将指针指向堆里对象的地址!

http://www.ppmy.cn/embedded/19014.html

相关文章

Qt tcp通信(客户端+服务器一对一)

学习自《Qt5.9 C开发指南》 服务器端&#xff1a; QTcpServer *tcpServer; //TCP服务器 tcpServernew QTcpServer(this); connect(tcpServer,SIGNAL(newConnection()),this,SLOT(onNewConnection())); 当有新的客户端接入时&#xff0c;QTcpServer内部的incomingConnectio…

Day41 HTTP编程

Day41 HTTP编程 文章目录 Day41 HTTP编程HTTP概念应用场景主要方面 HTTP案例案例一&#xff1a;获取淘宝商品周边类别案例二&#xff1a;下载图片 HTTP 概念 HTTP编程指的是使用HTTP协议进行网络编程的过程。HTTP是一种用于传输超文本的应用层协议&#xff0c;通常用于在客户…

QML与C++交互

Qt 你好 | 专注于Qt的技术分享平台 QML写界面&#xff0c;业务逻辑使用C&#xff0c;既能快速的开发界面也能利用C的强大生态&#xff0c;这是目前比较被认可的方式&#xff0c;那就涉及到QML与C对象的交互。 我们以登录例子来说明&#xff0c;页面点击登录&#xff0c;将信息…

区块链技术:NFG元宇宙电商模式

大家好&#xff0c;我是微三云周丽 随着互联网技术的迅猛发展&#xff0c;电子商务行业逐渐崛起为现代经济的重要支柱。而在这一浪潮中&#xff0c;元宇宙电商以其独特的商业模式和巨大的发展潜力&#xff0c;成为行业的新宠。其中&#xff0c;NFG作为元宇宙电商模式的代表&am…

鸿蒙(HarmonyOS)性能优化实战-多线程共享内存

概述 在应用开发中&#xff0c;为了避免主线程阻塞&#xff0c;提高应用性能&#xff0c;需要将一些耗时操作放在子线程中执行。此时&#xff0c;子线程就需要访问主线程中的数据。ArkTS采用了基于消息通信的Actor并发模型&#xff0c;具有内存隔离的特性&#xff0c;所以跨线…

FSMC读取FPGA的FIFO

一、硬件说明 FSMC配置 单片机的代码如下&#xff1a; #define VALUE_ADDRESS_AD1 (__IO uint16_t *)0x60400000while (1){if(!HAL_GPIO_ReadPin(GPIOF, GPIO_PIN_8)) //数据非空{data *(__IO uint16_t *)VALUE_ADDRESS_AD1;data2 *(__IO uint16_t *)VALUE_ADDRESS_AD1…

RabbitMQ(高级)笔记

一、生产者可靠性 &#xff08;1&#xff09;生产者重连&#xff08;不建议使用&#xff09; logging:pattern:dateformat: MM-dd HH:mm:ss:SSSspring:rabbitmq:virtual-host: /hamllport: 5672host: 192.168.92.136username: hmallpassword: 123listener:simple:prefetch: 1c…

TCP关闭连接时的一些思考

TCP协议是TCP/IP栈中最复杂的协议&#xff0c;它最大的优点是传输的可靠性&#xff0c;这通过面向连接、按序传输、超时重传、流量控制等机制保证其传输的可靠性。但这并不是我们今天要讨论的重点&#xff01; TCP通信的过程分别是三个阶段&#xff1a;建立连接、传输数据、关…