JVM-透彻理解字节码以及指令

2024-01-19 07:20

本文主要是介绍JVM-透彻理解字节码以及指令,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、字节码与指令概述

package ch13_bytecode;public class HelloWorld {public static void main(String[] args) {System.out.println("hello world");}
}

生成字节码:

cafe babe 0000 0031 0022 0a00 0600 1409
0015 0016 0800 170a 0018 0019 0700 1a07
001b 0100 063c 696e 6974 3e01 0003 2829
5601 0004 436f 6465 0100 0f4c 696e 654e
756d 6265 7254 6162 6c65 0100 124c 6f63
616c 5661 7269 6162 6c65 5461 626c 6501
0004 7468 6973 0100 1a4c 6368 3133 5f62
7974 6563 6f64 652f 4865 6c6c 6f57 6f72
6c64 3b01 0004 6d61 696e 0100 1628 5b4c
6a61 7661 2f6c 616e 672f 5374 7269 6e67
3b29 5601 0004 6172 6773 0100 135b 4c6a
6176 612f 6c61 6e67 2f53 7472 696e 673b
0100 0a53 6f75 7263 6546 696c 6501 000f
4865 6c6c 6f57 6f72 6c64 2e6a 6176 610c
0007 0008 0700 1c0c 001d 001e 0100 0b68
656c 6c6f 2077 6f72 6c64 0700 1f0c 0020
0021 0100 1863 6831 335f 6279 7465 636f
6465 2f48 656c 6c6f 576f 726c 6401 0010
6a61 7661 2f6c 616e 672f 4f62 6a65 6374
0100 106a 6176 612f 6c61 6e67 2f53 7973
7465 6d01 0003 6f75 7401 0015 4c6a 6176
612f 696f 2f50 7269 6e74 5374 7265 616d
3b01 0013 6a61 7661 2f69 6f2f 5072 696e
7453 7472 6561 6d01 0007 7072 696e 746c
6e01 0015 284c 6a61 7661 2f6c 616e 672f
5374 7269 6e67 3b29 5600 2100 0500 0600
0000 0000 0200 0100 0700 0800 0100 0900
0000 2f00 0100 0100 0000 052a b700 01b1
0000 0002 000a 0000 0006 0001 0000 0003
000b 0000 000c 0001 0000 0005 000c 000d
0000 0009 000e 000f 0001 0009 0000 0037
0002 0001 0000 0009 b200 0212 03b6 0004
b100 0000 0200 0a00 0000 0a00 0200 0000
0500 0800 0600 0b00 0000 0c00 0100 0000
0900 1000 1100 0000 0100 1200 0000 0200
13

解释:

        cafe babe -  魔数

        0000 0031 - 版本号,前面大版本,后面小版本

        0022 - 常量池大小

二、JVM编译基本原理

示例:

package main.java.ch13_bytecode;import com.sun.tools.javac.parser.Scanner;
import com.sun.tools.javac.parser.ScannerFactory;
import com.sun.tools.javac.util.Context;//词法分析案例public class LexicalAnalyzeTest {public static void main(String[] args) {ScannerFactory factory = ScannerFactory.instance(new Context());Scanner scanner = factory.newScanner("int m=i+j;", false);scanner.nextToken();System.out.println(scanner.token().kind);scanner.nextToken();System.out.println(scanner.token().name());scanner.nextToken();System.out.println(scanner.token().kind);scanner.nextToken();System.out.println(scanner.token().name());scanner.nextToken();System.out.println(scanner.token().kind);scanner.nextToken();System.out.println(scanner.token().name());System.out.println(scanner.token().kind);scanner.nextToken();}
}

大白话:

        符号解析: int x = 5 ->  int 类型的字段 x值为5 以及作用域

大白话:

        处理注解以及引入(@autowired)等

大白话:

         类层面的语义合法性检查。

大白话:

        针对方法内部语法语义合法性检查。

大白话:

        第六步,去掉高级用法(比如lambda、switch-case等高级特性),转为最基本用法。

三、字节码解析上-魔数、版本和常量池解析原理

package ch13_bytecode;public class HelloWorld {public static void main(String[] args) {System.out.println("hello world");}
}
cafe babe 0000 0031 0022 0a00 0600 1409
0015 0016 0800 170a 0018 0019 0700 1a07
001b 0100 063c 696e 6974 3e01 0003 2829
5601 0004 436f 6465 0100 0f4c 696e 654e
756d 6265 7254 6162 6c65 0100 124c 6f63
616c 5661 7269 6162 6c65 5461 626c 6501
0004 7468 6973 0100 1a4c 6368 3133 5f62
7974 6563 6f64 652f 4865 6c6c 6f57 6f72
6c64 3b01 0004 6d61 696e 0100 1628 5b4c
6a61 7661 2f6c 616e 672f 5374 7269 6e67
3b29 5601 0004 6172 6773 0100 135b 4c6a
6176 612f 6c61 6e67 2f53 7472 696e 673b
0100 0a53 6f75 7263 6546 696c 6501 000f
4865 6c6c 6f57 6f72 6c64 2e6a 6176 610c
0007 0008 0700 1c0c 001d 001e 0100 0b68
656c 6c6f 2077 6f72 6c64 0700 1f0c 0020
0021 0100 1863 6831 335f 6279 7465 636f
6465 2f48 656c 6c6f 576f 726c 6401 0010
6a61 7661 2f6c 616e 672f 4f62 6a65 6374
0100 106a 6176 612f 6c61 6e67 2f53 7973
7465 6d01 0003 6f75 7401 0015 4c6a 6176
612f 696f 2f50 7269 6e74 5374 7265 616d
3b01 0013 6a61 7661 2f69 6f2f 5072 696e
7453 7472 6561 6d01 0007 7072 696e 746c
6e01 0015 284c 6a61 7661 2f6c 616e 672f
5374 7269 6e67 3b29 5600 2100 0500 0600
0000 0000 0200 0100 0700 0800 0100 0900
0000 2f00 0100 0100 0000 052a b700 01b1
0000 0002 000a 0000 0006 0001 0000 0003
000b 0000 000c 0001 0000 0005 000c 000d
0000 0009 000e 000f 0001 0009 0000 0037
0002 0001 0000 0009 b200 0212 03b6 0004
b100 0000 0200 0a00 0000 0a00 0200 0000
0500 0800 0600 0b00 0000 0c00 0100 0000
0900 1000 1100 0000 0100 1200 0000 0200
13

大白话:        

        cafe babe  - 魔数,即文件开始标志符;        

0000 0031 - Java版本号,这里的31是16进制大版本号,转换后十进制49,前面4个字节 是小版本,后面是大版本。

大白话:

        u4 magic - 魔数 4个字节

        u2 minor_version - 小版本,2个字节

        u2 major_version - 大版本, 2个字节

        u2 constant_pool_count - 常量池大小,2个字节

        cp_info constant_pool - 常量池,长度为常量池大小-1

tag - 类型对应下图

如上图,tag是1个字节,值为0a, 转为十进制,值为10,对应CONSTANT_Methodref

通过代码看到,常量池第一个常量确实是Methodref,这是个初始化方法,一般情况下绝大部分常量池第一个都是这个

具体看tag的特征(属性),比如看Float

将Java代码修改如下,看能否在字节码中找到对应的值

解释:

        CONSTANT_Utf8_Info - 真正的字符串

        CONSTANT_String_info - 索引, 指向CONSTANT_Utf8_Info

补充:

        其实上图的class类名,也是一个字符串,跟其他字符串保存方式相同,也是通过索引引用,具体见后面第四组。

四、字节码解析下-访问标记、字段、方法和属性解析原理

继续接上一节

u2 access_flags - public?private?...

比如:ACC_ENUM

ACC_ENUM - 对应0x4000, 数字4000的每个数字分别对应下图

其中在3的这4个位,对应4,4转为二进制是0100,1对应ACC_ENUM。

u2 this_class - 当前类

super_class指向CONSTANT_Class_info,指向常量池的索引,它提供了类的全限定名,如org/jamesdbloom/foo/Bar 作者:空气带糖 https://www.bilibili.com/read/cv14055954/ 出处:bilibili

u2 super_class - 父类

super_class同样指向CONSTANT_Class_info

u2 interface_count - 实现接口数量

u2 interfaces[interfaces_count] - 接口具体信息

u2 field_count - 字段或属性数量

field_info - 字段或属性具体信息

u2 methods_count - 方法数量

method_info  methods[methods_count] - 对应具体方法具体信息

指向常量池存的接口的名字,接口信息

u2 attributes_count - 属性数量

attribute_info attributes[attributes_count] - 对应具体属性信息

https://www.cnblogs.com/yuluoxingkong/p/15394825.html

五、字节码指令初步以及加载存储指令

解释:

        之所以对不同的值采用不用的指令,是为了让字节码更加紧凑。

        iconst_n - 只占一个字节

        bipush_n - 占两个字节

        sipush_n - 占三个字节

六、控制转移指令

解释:

        tableswitch、lookupswitch区别:

                case的值相对有序的话,虚拟机会采用tableswitch,查找效率会更高一些,如果是无序的case的值差异比较大,虚拟机会老老实实使用lookupswith。

三目运算符

  

七、对象创建指令

 解释:

        Java代码里边的new - 告诉JVM我要创建一个对象了;

        字节码中的new - 创建指令,dup指令(复制栈顶数值并将复制值压入栈顶),后面调用invokespecial指令,调用父方法、实例初始化方法、私有方法。

指令参考:https://www.cnblogs.com/yuluoxingkong/p/15394825.html

八、方法调用与lambda表达式基本原理screenflow

大白话:

        调用静态方法 - invokestatic指令 

        调用私有方法、构造方法、super调用的父类方法 - invokespecial指令

        调用普通方法 - invokevirtual指令

        调用接口方法 - invokeinterface指令

        调用动态方法(如lamdba、动态语音编译的字节码)- invokedynamic指令

大白话:

        调用动态方法(如lamdba、动态语音编译的字节码),会有至少两步,第一步,先将语法糖还原成invokedynamic指令,第二步再根据具体方法类型,调用具体指令。

九、synchronized指令

大白话:

        每个线程在执行的时候,先看能不能抢到锁,不能抢到锁等到,抢到锁,执行monitorenter指令,代码执行完后,再执行monitorexit指令退出,其他线程继续抢锁,抢到后继续执行这2个指令,如此往复。

这里严格来说,应该通过多线程来演示,这里简单写一下,

使用synchronized关键字,表示方式有两种:

如果synchronized加在方法上,flags会多个ACC_SYNCHRONIZED;

如果synchronized加在代码段上,

        

这篇关于JVM-透彻理解字节码以及指令的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/621655

相关文章

Spring Boot + MyBatis Plus 高效开发实战从入门到进阶优化(推荐)

《SpringBoot+MyBatisPlus高效开发实战从入门到进阶优化(推荐)》本文将详细介绍SpringBoot+MyBatisPlus的完整开发流程,并深入剖析分页查询、批量操作、动... 目录Spring Boot + MyBATis Plus 高效开发实战:从入门到进阶优化1. MyBatis

SpringCloud动态配置注解@RefreshScope与@Component的深度解析

《SpringCloud动态配置注解@RefreshScope与@Component的深度解析》在现代微服务架构中,动态配置管理是一个关键需求,本文将为大家介绍SpringCloud中相关的注解@Re... 目录引言1. @RefreshScope 的作用与原理1.1 什么是 @RefreshScope1.

Java并发编程必备之Synchronized关键字深入解析

《Java并发编程必备之Synchronized关键字深入解析》本文我们深入探索了Java中的Synchronized关键字,包括其互斥性和可重入性的特性,文章详细介绍了Synchronized的三种... 目录一、前言二、Synchronized关键字2.1 Synchronized的特性1. 互斥2.

Spring Boot 配置文件之类型、加载顺序与最佳实践记录

《SpringBoot配置文件之类型、加载顺序与最佳实践记录》SpringBoot的配置文件是灵活且强大的工具,通过合理的配置管理,可以让应用开发和部署更加高效,无论是简单的属性配置,还是复杂... 目录Spring Boot 配置文件详解一、Spring Boot 配置文件类型1.1 applicatio

Java中StopWatch的使用示例详解

《Java中StopWatch的使用示例详解》stopWatch是org.springframework.util包下的一个工具类,使用它可直观的输出代码执行耗时,以及执行时间百分比,这篇文章主要介绍... 目录stopWatch 是org.springframework.util 包下的一个工具类,使用它

Java进行文件格式校验的方案详解

《Java进行文件格式校验的方案详解》这篇文章主要为大家详细介绍了Java中进行文件格式校验的相关方案,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、背景异常现象原因排查用户的无心之过二、解决方案Magandroidic Number判断主流检测库对比Tika的使用区分zip

Java实现时间与字符串互相转换详解

《Java实现时间与字符串互相转换详解》这篇文章主要为大家详细介绍了Java中实现时间与字符串互相转换的相关方法,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、日期格式化为字符串(一)使用预定义格式(二)自定义格式二、字符串解析为日期(一)解析ISO格式字符串(二)解析自定义

Java使用Curator进行ZooKeeper操作的详细教程

《Java使用Curator进行ZooKeeper操作的详细教程》ApacheCurator是一个基于ZooKeeper的Java客户端库,它极大地简化了使用ZooKeeper的开发工作,在分布式系统... 目录1、简述2、核心功能2.1 CuratorFramework2.2 Recipes3、示例实践3

Springboot处理跨域的实现方式(附Demo)

《Springboot处理跨域的实现方式(附Demo)》:本文主要介绍Springboot处理跨域的实现方式(附Demo),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不... 目录Springboot处理跨域的方式1. 基本知识2. @CrossOrigin3. 全局跨域设置4.

springboot security使用jwt认证方式

《springbootsecurity使用jwt认证方式》:本文主要介绍springbootsecurity使用jwt认证方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地... 目录前言代码示例依赖定义mapper定义用户信息的实体beansecurity相关的类提供登录接口测试提供一