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加在代码段上,

        

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

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

相关文章

适用于电动汽车充电站箱变的电气安全物联监测系统设计方案——安科瑞赵嘉敏

摘 要: 基于物联网技术架构提出了一种适用于电动汽车充电站箱变的电气安全物联监测系统设计方案。该系统由 电气安全智能感知设备、通信网关、电气安全物联网监测平台等构成,可支持充电站箱变充电桩出线回路电流、电缆 温度、剩余电流、故障电弧、短路…

PostgreSQL教程--实现类似于MySQL的show create table功能

背景 在MySQL数据库中,可以通过show create table查询表的create sql 语句, 但在PostgreSQL数据库中,没有类似的命令,但可以通过function 来实现 1、show create table函数 CREATE OR REPLACE FUNCTION "public".&qu…

MySQL--删除数据库(2)

使用普通用户登陆 MySQL 服务器,你可能需要特定的权限来创建或者删除 MySQL 数据库,所以我们这边使用 root 用户登录,root 用户拥有最高权限。 在删除数据库过程中,务必要十分谨慎,因为在执行删除命令后,所…

JAVA 学习 面试(四)垃圾回收篇

Java中的每个对象都经历了创建、使用和最终被回收的过程。从对象实例化开始,它可能被程序的多个部分引用,直到最后一个引用消失,对象成为垃圾,等待回收。 JVM垃圾查找算法 (1)引用计数法:已淘…

(十一)Head first design patterns状态模式(c++)

状态模式 如何去描述状态机? 假设你需要实例化一台电梯,并模仿出电梯的四个状态:开启、关闭、运行、停止。也许你会这么写 class ILift{ public:virtual void open(){}virtual void close(){}virtual void run(){}virtual void stop(){} }…

为什么电脑降价了?

周末,非常意外地用不到3000元买到了一款2023年度发布的华为笔记本I5,16G,500G,基本是主流配置,我非常意外,看了又看,不是什么Hwawii,或者Huuawe。然后也不是二手。为什么呢?因为在ALU和FPU之外&…

Java和Redis实现一个简单的热搜功能

1. 前言 我们有一个简单的需求: 搜索栏展示当前登陆的个人用户的搜索历史记录,删除个人历史记录。用户在搜索栏输入某字符,则将该字符记录下来 以zset格式存储的redis中,记录该字符被搜索的个数以及当前的时间戳 (用…

Qt Linux安装qt5.9全过程

1 准备好安装包 qt安装包下载官网:https://download.qt.io/archive/qt 2 将安装包放到Linux环境下 我这里使用WinSCP将windows下的文件传输到Linux 3 ./qt-opensource-linux-x64-5.9.0.run 3-0 运行时目录的所有权错误wrong ownership on runtime directory 解决:切换roo…

K8S的helm

helm的作用 在没有helm之前,deploymen service ingress ,helm的作用就是通过打包的方式,把deployment,service,ingress 这些打包在一块,一键式的部署服务,类似yum 官方提供的一个类似于安装仓库…

大数据开发之Scala

第 1 章:scala入门 1.1 概述 scala将面向对象和函数式编程结合成一种简洁的高级语言 特点 1、scala和java一样属于jvm语言,使用时都需要先编译为class字节码文件,并且scala能够直接调用java的类库 2、scala支持两种编程范式面向对象和函数式…

Maven工程继承和聚合关系

1. Maven工程继承关系 1.1 继承概念 Maven 继承是指在 Maven 的项目中,让一个项目从另一个项目中继承配置信息的机制。继承可以让我们在多个项目中共享同一配置信息,简化项目的管理和维护工作。 1.2 继承作用 在父工程中统一管理项目中的依赖信息。 …

初识 JVM

什么是JVM JVM 全称是 J ava V irtual M achine,中文译名 Java虚拟机 。 JVM 本质上是一个运行在计算机上的程序,他的职责是运行 Java字节码文件 。 JVM的功能 Java语言如果不做任何优化,性能不如C、C等语言。 Java需要实时解释&…