JVM2-JVM组成、字节码文件、类的生命周期、类加载器

news2024/11/13 9:41:04

Java虚拟机的组成

Java虚拟机主要分为以下几个组成部分:

  • 类加载子系统:核心组件类加载器,负责将字节码文件中的内容加载到内存中
  • 运行时数据区:JVM管理的内存,创建出来的对象、类的信息等内容都会放在这块区域中
  • 执行引擎:包含了即时编译器、解释器、垃圾回收器,执行引擎使用解释器将字节码指令解释成机器码,使用即时编译器优化性能,使用垃圾回收器回收不再使用的对象
  • 本地接口:调用本地使用C/C++编译好的方法,本地方法在Java中声明时,都会带上native关键字,如下图所示

字节码文件

字节码文件打开方式

字节码文件中保存了源代码编译之后的内容,以二进制的方式存储,无法直接用记事本打开阅读

通过NotePad++使用十六进制插件查看class文件:

无法解读出文件里包含的内容,推荐使用 jclasslib工具查看字节码文件

 Github地址: https://github.com/ingokegel/jclasslib

字节码文件的组成

字节码文件总共可以分为以下几个部分:

  • 基础信息:魔数、字节码文件对应的Java版本号、访问标识(public final等等)、父类和接口信息
  • 常量池保存了字符串常量、类或接口名、字段名,主要在字节码指令中使用
  • 字段:当前类或接口声明的字段(变量)信息
  • 方法:当前类或接口声明的方法信息,核心内容为方法的字节码指令
  • 属性:类的属性,比如源码的文件名、内部类的列表等

基本信息

基本信息包含了jclasslib中能看到的两块内容:

Magic魔数

每个Java字节码文件的前四个字节是固定的,用16进制表示就是0xcafebabe

文件是无法通过文件扩展名来确定文件类型的,文件扩展名可以随意修改,不影响文件的内容

软件会使用文件的头几个字节(文件头)去校验文件的类型,如果软件不支持该种类型就会出错

Java字节码文件中,将文件头称为magic魔数

Java虚拟机会校验字节码文件的前四个字节是不是0xcafebabe,如果不是,该字节码文件就无法正常使用,Java虚拟机会抛出对应的错误

主副版本号

主副版本号指的是编译字节码文件时使用的JDK版本号,主版本号用来标识大版本号,JDK1.0-1.1使用了45.0-45.3,JDK1.2是46之后每升级一个大版本就加1;副版本号是当主版本号相同时作为区分不同版本的标识,一般只需要关心主版本号

1.2之后大版本号计算方法就是 : 主版本号 - 44,比如主版本号52就是JDK8

版本号的作用主要是判断当前字节码的版本和运行时的JDK是否兼容。如果使用较低版本的JDK去运行较高版本JDK的字节码文件,无法使用会显示如下错误:

有两种方案:

  1. 升级JDK版本,将图中使用的JDK6升级至JDK8即可正常运行,容易引发其他的兼容性问题,并且需要大量的测试
  2. 将第三方依赖的版本号降低或者更换依赖,以满足JDK版本的要求(建议使用这种方案)

常量池

字节码文件中常量池的作用:避免相同的内容重复定义,节省空间

常量池中的数据都有一个编号,编号从1开始。比如“我爱北京天安门”这个字符串,在常量池中的编号就是7,在字段或者字节码指令中通过编号7可以快速的找到这个字符串

字节码指令中通过编号引用到常量池的过程称之为符号引用

 

字段

字段中存放的是当前类或接口声明的字段信息

如下图中,定义了两个字段a1和a2,这两个字段就会出现在字段这部分内容中,同时还包含字段的名字、描述符(字段的类型)、访问标识(public/private static final等)

方法

字节码中的方法区域是存放字节码指令的核心位置,字节码指令的内容存放在方法的Code属性中

通过分析方法的字节码指令,可以清楚地了解一个方法到底是如何执行的

先来看如下案例:

int i = 0;
int j = i + 1;

这段代码编译成字节码指令之后是如下内容:

要理解这段字节码指令是如何执行的,首先要理解两块内存区域:操作数栈和局部变量表

操作数栈是用来存放临时数据的内容,是一个栈式的结构,先进后出

局部变量是存放方法中的局部变量,包含方法的参数、方法中定义的局部变量,在编译期就已经可以确定方法有多少个局部变量

执行流程:

1.iconst_0,将常量0放入操作数栈。此时栈上只有0

2.istore_1会从操作数栈中,将栈顶的元素弹出来,此时0会被弹出,放入局部变量表的1号位置。局部变量表中的1号位置,在编译时就已经确定是局部变量i使用的位置。完成了对局部变量i的赋值操作

3.iload_1将局部变量表1号位置的数据放入操作数栈中,此时栈中会放入0

4.iconst_1会将常量1放入操作数栈中

5.iadd会将操作数栈顶部的两个数据相加,现在操作数栈上有两个数0和1,相加之后结果为1放入操作数栈中,此时栈上只有一个数也就是相加的结果1

6.istore_2从操作数栈中将1弹出,并放入局部变量表的2号位置,2号位置是j在使用。完成了对局部变量j的赋值操作

7.return语句执行,方法结束并返回

i=i++的执行流程:结果为0

i++的字节码指令如下,其中iinc 1 by 1指令指的是将局部变量表1号位置增加1,其实就实现了i++的操作

i=++i的执行流程:结果为1

面试题:int i = 0; i = i++; 最终i的值是多少?

答:答案是0,通过分析字节码指令发现,i++先把0取出来放入临时的操作数栈中,接下来对i进行加1,i变成了1,最后再将之前保存的临时值0放入i,最后i就变成了0

属性

属性主要指的是类的属性,比如源码的文件名、内部类的列表等

字节码常用工具

javap

javap是JDK自带的反编译工具,可以通过控制台查看字节码文件的内容,适合在服务器上查看字节码文件内容

直接输入javap查看所有参数,输入javap -v 字节码文件名称 查看具体的字节码信息(如果jar包需要先使用 jar –xvf 命令解压)

jclasslib插件

jclasslib也有Idea插件版本,建议开发时使用Idea插件版本,可以在代码编译之后实时看到字节码文件内容

选中要查看的源代码文件,选择 视图(View) - Show Bytecode With Jclasslib,右侧会展示对应源代码编译后的字节码文件内容

tips:

  1. 一定要选择文件再点击视图(view)菜单,否则菜单项不会出现
  2. 文件修改后一定要重新编译之后,再点击刷新按钮

Arthas

Arthas 是一款线上监控诊断产品,通过全局视角实时查看应用 load、内存、gc、线程的状态信息,并能在不修改应用代码的情况下,对业务问题进行诊断,大大提升线上问题排查效率

官网:https://arthas.aliyun.com/doc/

Arthas的功能列表如下: 

D盘arthas文件夹,使用java -jar arthas-boot.jar 启动程序,输入需要Arthas监控的进程id,输入命令即可使用

命令1:dump

命令详解:https://arthas.aliyun.com/doc/dump.html

dump命令可以将字节码文件保存到本地,如下将java.lang.String 的字节码文件保存到了/tmp/output目录下:

$ dump -d /tmp/output java.lang.String

 HASHCODE  CLASSLOADER  LOCATION
 null                   /tmp/output/java/lang/String.class
Affect(row-cnt:1) cost in 138 ms.

命令2:jad

命令详解:https://arthas.aliyun.com/doc/jad.html

jad命令可以将类的字节码文件进行反编译成源代码,用于确认服务器上的字节码文件是否是最新的,如下将demo.MathGame的源代码进行了显示

$ jad --source-only demo.MathGame
/*
 * Decompiled with CFR 0_132.
 */
package demo;

import java.io.PrintStream;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
import java.util.Random;
import java.util.concurrent.TimeUnit;

public class MathGame {
    private static Random random = new Random();
    public int illegalArgumentCount = 0;
...

类的生命周期

概述

类的生命周期描述了一个类加载、使用、卸载的整个过程

整体可以分为:

  1. 加载
  2. 连接,其中又分为验证、准备、解析三个子阶段
  3. 初始化
  4. 使用
  5. 卸载

加载阶段

1.加载(Loading)阶段第一步是类加载器根据类的全限定名通过不同的渠道以二进制流的方式获取字节码信息,程序员可以使用Java代码拓展不同的渠道

  • 从本地磁盘上获取文件
  • 运行时通过动态代理生成,比如Spring框架
  • Applet技术通过网络获取字节码文件

2.类加载器在加载完类之后,Java虚拟机会将字节码中的信息保存到内存的方法区中

3.方法区中生成一个InstanceKlass对象,保存类的所有信息,里边还包含实现特定功能比如多态的信息

4.Java虚拟机同时会在堆上生成与方法区中数据类似的java.lang.Class对象,作用是在Java代码中去获取类的信息以及存储静态字段的数据(JDK8及之后)

对于开发者来说,只需要访问堆中的Class对象而不需要访问方法区中所有信息,这样Java虚拟机就能很好地控制开发者访问数据的范围

可以使用JDK自带的hsdb工具查看Java虚拟机内存信息,位于JDK安装目录下lib文件夹中的sa-jdi.jar中,启动命令:java -cp sa-jdi.jar sun.jvm.hotspot.HSDB

连接阶段

连接阶段分为三个子阶段:

  • 验证:验证内容是否满足《Java虚拟机规范》
  • 准备:给静态变量赋初值
  • 解析:将常量池中的符号引用替换成指向内存的直接引用

验证

验证的主要目的是检测Java字节码文件是否遵守了《Java虚拟机规范》中的约束,这个阶段一般不需要程序员参与

主要包含如下四部分,具体详见《Java虚拟机规范》:

  1. 文件格式验证,比如文件是否以0xCAFEBABE开头,主次版本号是否满足当前Java虚拟机版本要求
  2. 元信息验证,例如类必须有父类(super不能为空)
  3. 验证程序执行指令的语义,比如方法内的指令执行中跳转到不正确的位置
  4. 符号引用验证,例如是否访问了其他类中private的方法等

对版本号的验证:编译文件的主版本号不能高于运行环境主版本号,如果主版本号相等,副版本号也不能超过运行环境副版本号

准备

准备阶段为静态变量(static)分配内存并设置初始值

准备阶段只会给静态变量赋初始值,而每一种基本数据类型和引用数据类型都有其初始值

数据类型

初始值

int

0

long

0L

short

0

char

‘\u0000’

byte

0

boolean

false

double

0.0

引用数据类型

null

final修饰的基本数据类型的静态变量,准备阶段直接会将代码中的值进行赋值

解析

解析阶段主要是将常量池中的符号引用替换为直接引用

符号引用是在字节码文件中使用编号来访问常量池中的内容

直接引用不再使用编号,而是使用内存中地址进行访问具体的数据

初始化阶段

初始化阶段会执行静态代码块中的代码,并为静态变量赋值

初始化阶段会执行字节码文件中clinit部分的字节码指令

  • init方法,会在对象初始化时执行
  • main方法,主方法
  • clinit方法,类的初始化阶段执行

字节码指令:

1.iconst_1,将常量1放入操作数栈,此时栈中只有1这个数

2.putstatic指令会将操作数栈上的数弹出来,并放入堆中静态变量的位置,字节码指令中#2指向了常量池中的静态变量value,在解析阶段会被替换成变量的地址

3.后两步操作类似,执行value=2,将堆上的value赋值为2

clinit方法中的执行顺序与Java中编写的顺序是一致的

以下几种方式会导致类的初始化:

  • 访问一个类的静态变量或者静态方法,注意变量是final修饰的并且等号右边是常量不会触发初始化
  • 调用Class.forName(String className)
  • new一个该类的对象时
  • 执行Main方法的当前类

添加 -XX:+TraceClassLoading 参数可以打印出加载并初始化的类

clinit不会执行的几种情况:

1.无静态代码块且无静态变量赋值语句

2.有静态变量的声明,但是没有赋值语句

3.静态变量的定义使用final关键字,这类变量会在准备阶段直接进行初始化

直接访问父类的静态变量,不会触发子类的初始化

子类的初始化clinit调用之前,会先调用父类的clinit初始化方法

面试题1:

以下代码的输出结果是什么?

public class Test1 {
    public static void main(String[] args) {
        System.out.println("A");
        new Test1();
        new Test1();
    }

    public Test1(){
        System.out.println("B");
    }

    {
        System.out.println("C");
    }

    static {
        System.out.println("D");
    }
}

执行main方法先初始化Test1的初始化方法,输出结果DA

创建两个对象,会执行两次对象初始化的指令,构造代码块C比构造方法先执行,所以先输出C再输出B

最终结果:DACBCB 

面试题2:

以下代码的输出结果是什么?

public class Demo01 {
    public static void main(String[] args) {
        new B02();
        System.out.println(B02.a);
    }
}

class A02{
    static int a = 0;
    static {
        a = 1;
    }
}

class B02 extends A02{
    static {
        a = 2;
    }
}

分析步骤:

  1. 调用new创建对象,需要初始化B02,优先初始化父类
  2. 执行A02的初始化代码,将a赋值为1
  3. B02初始化,将a赋值为2

如果去掉new B02():

  1. 访问父类的静态变量,只初始化父类
  2. 执行A02的初始化代码,将a赋值为1

练习1:

数组的创建不会导致数组中元素的类进行初始化

public class Test2 {
    public static void main(String[] args) {
        Test2_A[] arr = new Test2_A[10];

    }
}

class Test2_A {
    static {
        System.out.println("Test2 A的静态代码块运行");
    }
}

练习2:

final修饰的变量,如果赋值的内容需要执行指令才能得出结果,会执行clinit方法进行初始化

public class Test4 {
    public static void main(String[] args) {
        System.out.println(Test4_A.a);
    }
}

class Test4_A {
    public static final int a = Integer.valueOf(1);

    static {
        System.out.println("Test3 A的静态代码块运行");
    }
}

类加载器

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

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

相关文章

有宠物用哪个牌子的宠物空气净化器,希喂、IAM哪个更值得推荐

由于很喜欢猫咪和狗狗,每天都只想和它们待在一起,一点都不想上班,经过一番深思熟虑后,决定裸辞去开了一家宠物店。还真别说,开了宠物店之后,整个人都舒爽了,还可以摸到很多不同品种的小猫小狗&a…

学习笔记之JS(0830)

1、介绍 1.1 JavaScript (是什么?) javascript是一种运行在客户端(浏览器)的编程语言,实现人机交互效果。作用(做什么?) 网页特效(监听用户的一些行为让万叶…

Java 集合框架与泛型实战指南

Collection: Collection 不唯一,无序 List 不唯一,有序 Set 唯一,无序 ArrayList:内部使用长度可变的数组,遍历查询效率高 LinkedList:采用双向链表实现,增删改效率比较高 ArrayL…

【智能排班系统】Hibernate Validator 参数校验

🎯导读:本文档介绍了参数校验的重要性及其在软件开发中的作用,强调了数据完整性、安全性、用户体验、系统稳定性及开发效率等方面的关键价值。文档详细阐述了Hibernate Validator这一流行的Java验证框架的使用方法,展示了如何利用…

适马相机cf卡剪切的数据还能恢复吗?可尝试这几种方法

“本想把适马相机CF卡里的珍贵数据剪切到电脑上,‌以备不时之需,‌但是不知道怎么回事,剪切后数据既不在电脑上,‌CF卡里也没了,这可真是让我心急如焚!‌求大神指点迷津,‌帮我找回那些重要的文…

Vue 选项式api和组合式api 路由嵌套

选项式api和组合式api是两种不同的语法习惯&#xff0c;<template>标签内还是该怎么写就怎么写&#xff0c;不一样的只是<script>里面的语法改变了。 目录 选项式api&#xff1a; 组合式api&#xff1a; 1)省略各种关键字&#xff1a; 省略前&#xff1a; 省略后…

【Qt】菜单栏

目录 菜单栏 例子&#xff1a;创建菜单栏、菜单、菜单项 例子&#xff1a;给菜单设置快捷键 例子&#xff1a;给菜单项设置快捷键 例子&#xff1a;添加子菜单 例子&#xff1a;添加分隔线 例子&#xff1a;添加图标 菜单栏 Qt中的菜单栏是通过QMenuBar这个类实现的&…

LeetCode --- 412周赛

题目列表 3264. K 次乘运算后的最终数组 I 3266. K 次乘运算后的最终数组 II 3265. 统计近似相等数对 I 3267. 统计近似相等数对 II 一、K次乘预算后的最终数组 I & II I 数据范围比较小&#xff0c;可以暴力模拟&#xff0c;代码如下 class Solution { public:vecto…

Day52 | dijkstra(堆优化版)Bellman_ford 算法

dijkstra&#xff08;堆优化版&#xff09; 题目 47. 参加科学大会 47. 参加科学大会&#xff08;第六期模拟笔试&#xff09; 题目描述 小明是一位科学家&#xff0c;他需要参加一场重要的国际科学大会&#xff0c;以展示自己的最新研究成果。 小明的起点是第一个车站&a…

vscode 未定义标识符 “uint16_t“C/C++(20) 但是可以顺利编译

这是没有指定编译器的原因 解决方法&#xff1a; 打开 或c_cpp_properties.json&#xff0c;添加编译器

★ 算法OJ题 ★ 力扣611 - 有效三角形的个数

Ciallo&#xff5e;(∠・ω< )⌒☆ ~ 今天&#xff0c;椎名日和将和大家一起做一道双指针算法题--有效三角形的个数~ 目录 一 题目 二 算法解析 三 编写算法 一 题目 二 算法解析 给三个数&#xff0c;判断是否能构成三角形的条件&#xff1a;两个较小的数相加大于…

机器学习数学公式推导之高斯分布

文章目录 1、介绍引入1.1 频率派的观点1.2 贝叶斯派的观点1.3 小结 2、数学基础2.1 二阶中心矩2.2 样本方差2.3 高斯分布2.3.1 一维情况 MLE2.3.2 多维情况 本文参考 B站UP: shuhuai008 跳转 &#x1f339;&#x1f339; 1、介绍引入 在统计学和概率论中&#xff0c; P ( x ∣ …

史上最全的MybatisPlus学习教程从入门到精通

一、MybatisPlus是什么 1.1 MyBatis-Plus简介 MyBatis-Plus&#xff08;简称MP&#xff09;是一个MyBatis的增强工具&#xff0c;它在MyBatis的基础上进行了增强&#xff0c;但并没有改变原有的MyBatis框架。MyBatis-Plus的主要目标是简化开发和提高开发效率。它提供了诸如分…

源码阅读-SpirngBoot Mybatis 自动配置

MybatisPlusAutoConfiguration ObjectProvider#getIfAvailable ObjectProvider为我们提供了拓展&#xff0c;我们可以自定义一些插件或者类型转换器&#xff0c;同时也可以定义一些Customizer用来配置SqlSessionFactoryBean,MybatisPlusProperties等。 通过源码我们可以看到最…

Redis从入门到入门(上)

1.Redis概述 文章目录 1.Redis概述1.1 什么是Redis1.2 Redis的应用场景 2.Linux下Redis的安装与使用2.1 Redis下载2.2 Redis的启动2.3 Redis配置2.4 连接Redis 1.1 什么是Redis Redis是用C语言开发的一个开源的高性能键值对&#xff08;key-value&#xff09;数据库&#xff0…

数学建模--K-Means聚类分析

目录 1.聚类分析步骤 1.1简单介绍 1.2两个概念 1.3几种距离 1.4更新质心 1.5终止条件 2.归一化处理 3.肘部法则 4.搭建K-Means分析模型 5.选择最佳K值 6.绘制3D图形 1.聚类分析步骤 1.1简单介绍 K-Means聚类分析是属于聚类分析的一种&#xff0c;这个数据机器学习的…

YOLOv8改进 | Neck篇 | YOLOv8引入Slim-Neck(超轻量)

1. Slim-Neck介绍 摘要:目标检测是计算机视觉中重要的下游任务。 对于车载边缘计算平台来说,巨大的模型很难达到实时检测的要求。 而且,由大量深度可分离卷积层构建的轻量级模型无法达到足够的精度。 我们引入了一种新的轻量级卷积技术 GSConv,以减轻模型重量但保持准确性。…

《软件工程导论》(第6版)第4章 形式化说明技术 复习笔记

第4章 形式化说明技术 一、概述 按照形式化的程度&#xff0c;可以把软件工程使用的方法划分成非形式化、半形式化和形式化3类。用自然语言描述需求规格说明&#xff0c;是典型的非形式化方法。用数据流图或实体联系图建立模型&#xff0c;是典型的半形式化方法。所谓形式化…

idea的springboot里面的resources是什么

在IDEA&#xff08;IntelliJ IDEA&#xff09;中的Spring Boot项目中&#xff0c;resources目录扮演着非常重要的角色。这个目录主要用于存放项目的非代码资源&#xff0c;包括但不限于配置文件、静态资源文件&#xff08;如图片、CSS、JavaScript等&#xff09;、模板文件&…

YOLO缺陷检测学习笔记(2)

YOLO缺陷检测学习笔记&#xff08;2&#xff09; 残差连接1. **YOLO 的残差连接结构**2. **YOLO 使用残差连接的目的**3. **YOLO 中的残差块**4. **YOLOv3 和 YOLOv4 的残差连接架构** YOLO网络架构概述1. 特征提取网络2. 预测头&#xff08;Detection Head&#xff09;3. 后处…