网络推广网站培训,网站全栰培训,android软件开发,娃哈哈软文推广JVM概述
问题引出 你是否也遇到过这些问题#xff1f; 运行着的线上系统突然卡死#xff0c;系统无法访问#xff0c;甚至直接OOM#xff01;想解决线上JVM GC问题#xff0c;但却无从下手。新项目上线#xff0c;对各种JVM参数设置一脸茫然#xff0c;直接默认吧…JVM概述
问题引出 你是否也遇到过这些问题 运行着的线上系统突然卡死系统无法访问甚至直接OOM想解决线上JVM GC问题但却无从下手。新项目上线对各种JVM参数设置一脸茫然直接默认吧然后就JJ了每次面试之前都要重新背一遍JVM的一些原理概念性的东西然而面试官却经常问你在实际项目中如何调优JVM参数如何解决GC、OOM等问题一脸懵逼。 Java语言及Java生态圈 Oracle JDK与Open JDK迭代关系 1. Oracle JDK版本将每三年发布一次LTS版本而OpenJDK版本每三个月发布一次。 2. Oracle JDK将更多地关注稳定性它重视更多的企业级用户而OpenJDK经常发布以支持其他性能这可能会导致不稳定。 3. Oracle JDK支持长期发布的更改而Open JDK仅支持计划和完成下一个发行版。 4. Oracle JDK根据二进制代码许可协议获得许可而OpenJDK根据GPL v2许可获得许可。 使用Oracle平台时会产生一些许可影响。如Oracle 宣布的那样在没有商业许可的情况下在2019年1月之后发布的Oracle Java SE 8的公开更新将无法用于商业商业或生产用途。但是OpenJDK是完全开源的可以自由使用。 5. Oracle JDK的构建过程基于OpenJDK因此OpenJDK与Oracle JDK之间没有技术差异。 6. 顶级公司正在使用Oracle JDK例如Android StudioMinecraft和IntelliJ IDEA开发工具其中Open JDK不太受欢迎。 7. Oracle JDK具有Flight RecorderJava Mission Control和Application Class-Data Sharing功能Open JDK具有Font Renderer功能这是OpenJDK与Oracle JDK之间的显着差异。 8. Oracle JDK具有良好的GC选项和更好的渲染器而OpenJDK具有更少的GC选项并且由于其包含自己的渲染器的分布因此具有较慢的图形渲染器选项。 9. 在响应性和JVM性能方面Oracle JDK与OpenJDK相比提供了更好的性能。 10. 与OpenJDK相比Oracle JDK的开源社区较少OpenJDK社区用户的表现优于Oracle JDK发布的功能以提高性能。 11. 如果使用Oracle JDK会产生许可影响而OpenJDK没有这样的问题并且可以以任何方式使用以满足完全开源和免费使用。 12. Oracle JDK在运行JDK时不会产生任何问题而OpenJDK在为某些用户运行JDK时会产生一些问题。 13. 根据使用方的使用和许可协议现有应用程序可以从Oracle JDK迁移到Open JDK反之亦然。 14. Oracle JDK将从其10.0.X版本将收费用户必须付费或必须依赖OpenJDK才能使用其免费版本。 15. Oracle JDK不会为即将发布的版本提供长期支持用户每次都必须通过更新到最新版本获得支持来获取最新版本。 16. Oracle JDK以前的1.0版以前的版本是由Sun开发的后来被Oracle收购并为其他版本维护而OpenJDK最初只基于Java SDK或JDK版本7。 17. Oracle JDK发布时大多数功能都是开源的其中一些功能免于开源并且根据Sun的许可授权而OpenJDK发布了所有功能如开源和免费。 18. Oracle JDK完全由Oracle公司开发而Open JDK项目由IBMAppleSAP AGRedhat等顶级公司加入和合作。 JDK与JVM是什么关系 如何理解Java是跨平台的语言 “write once, run anywhere.” 即 “一处编写处处运行” 当Java源代码成功编译成字节码后如果想在不同的平台上面运行则无须再次编译这个优势不再那么吸引人了。Python、PHP、Perl、Ruby、Lisp等有强大的解释器。跨平台似乎已经快成为一门语言必选的特性。 如何理解JVM跨语言的平台 Java虚拟机根本不关心运行在其内部的程序到底是使用何种编程语言编写的它只关心“字节码”文件。 Java不是最强大的语言但是JVM是最强大的虚拟机。 Java不存在内存溢出内存泄漏 java (c)--; 垃圾收集机制为我们打理了很多繁琐的工作大大提高了开发的效率但是垃圾收集也不是万能的懂得JVM内部的内存结构、工作机制是设计高扩展性应用和诊断运行时问题的基础也是Java工程师进阶的必备能力。 Java发展的几个重大事件 2000年JDK 1.3发布Java HotSpot Virtual Machine正式发布成为Java的默认虚拟机。2002年JDK 1.4发布古老的Classic虚拟机退出历史舞台。2003年年底Java平台的Scala正式发布同年Groovy也加入了 Java阵营。2006年JDK 6发布。同年Java开源并建立了 OpenJDK。顺理成章Hotspot虚拟机也成为了 OpenJDK中的默认虚拟机。2007年Java平台迎来了新伙伴Clojure。2008 年Oracle 收购了 BEA,得到了 JRockit 虚拟机。2009年Twitter宣布把后台大部分程序从Ruby迁移到Scala这是Java平台的又一次大规模应用。2010年Oracle收购了Sun获得Java商标和最具价值的HotSpot虚拟机。此时Oracle拥有市场占用率最高的两款虚拟机HotSpot和JRockit并计划在未来对它们进行整合HotRockit. JCP组织管理Java语言2011年JDK7发布。在JDK 1.7u4中正式启用了新的垃圾回收器G1。2017年JDK9发布。将G1设置为默认GC替代CMS (被标记为Deprecated)同年IBM的J9开源形成了现在的Open J9社区2018年Android的Java侵权案判决Google赔偿Oracle计88亿美元同年JDK11发布LTS版本的JDK,发布革命性的ZGC,调整JDK授权许可2019年JDK12发布加入RedHat领导开发的Shenandoah GC JVM的生命周期 虚拟机的启动Java虚拟机的启动是通过引导类加载器(bootstrap class loader)创建一个初始类(initial class)来完成的这个类是由虚拟机的具体实现指定的。 虚拟机的退出有如下的几种情况 某线程调用Runtime类或System类的exit方法或 Runtime类的halt方法并且Java安全管理器也允许这次exit或halt操作。程序正常执行结束程序在执行过程中遇到了异常或错误而异常终止由于操作系统出现错误而导致Java虚拟机进程终止 重点说下HotSpot? SUN的JDK版本从1.3.1开始运用HotSpot虚拟机 2006年底开源主要使用C实现JNI接口部分用C实现。HotSpot是较新的Java虚拟机使用JIT(Just in Time)编译器可以大大提高Java运行的性能。 Java原先是把源代码编译为字节码在虚拟机执行这样执行速度较慢。而HotSpot将常用的部分代码编译为本地(原生native)代码这样显着提高了性能。 HotSpot JVM 参数可以分为规则参数(standard options)和非规则参数(non-standard options)。 规则参数相对稳定在JDK未来的版本里不会有太大的改动。 非规则参数则有因升级JDK而改动的可能。 VM的架构与知识脉络图 面试题 什么是Java虚拟机墨迹天气JVM的组成凡预科技、杭州比智公司JVM的组成字节跳动什么是Java虚拟机(JVM)为什么要使用JVM ! Japanese Vedios Man 阿里 虚拟机指以软件的方式模拟具有完整硬件系统功能、运行在一个完全隔离环境中的完整计算机系统 是物理机的软件实现。常用的虚拟机有VMWareVisual BoxJava Virtual MachineJava虚拟机简称JVM说说Java虚拟机的体系结构阿里 JVM架构图 这个架构可以分成三层看 最上层javac编译器将编译好的字节码class文件通过java 类装载器执行机制把对象或class文件存放在 jvm划分内存区域。中间层称为Runtime Data Area主要是在Java代码运行时用于存放数据的从左至右为方法区(永久代、元数据区)、堆(共享,GC回收对象区域)、栈、程序计数器、寄存器、本地方法栈(私有)。最下层解释器、JIT(just in time)编译器和 GCGarbage Collection垃圾回收器 JVM知识脉络 字节码文件概述
字节码文件是跨平台的吗 Java 虚拟机不和包括 Java 在内的任何语言绑定它只与“Class 文件”这种特定的二进制文件格式所关联。无论使用何种语言进行软件开发只要能将源文件编译为正确的Class文件那么这种语言就可以在Java虚拟机上执行。可以说统一而强大的Class文件结构就是Java虚拟机的基石、桥梁。 想要让一个Java程序正确地运行在JVM中Java源码就必须要被编译为符合JVM规范的字节码。
官网Java SE规范 所有的JVM全部遵守Java虚拟机规范也就是说所有的JVM环境都是一样的这样一来字节码文件可以在各种JVM上运行。从Java虚拟机的角度看通过Class文件可以让更多的计算机语言支持Java虚拟机平台。因此Class文件结构不仅仅是Java虚拟机的执行入口更是Java生态圈的基础和核心。 class文件里是什么 源代码经过编译器编译之后便会生成一个字节码文件字节码是一种二进制的类文件它的内容是JVM的指令而不像C、C经由编译器直接生成机器码。 随着Java平台的不断发展在将来Class文件的内容也一定会做进一步的扩充但是其基本的格式和结构不会做重大调整。 能介绍下生成class文件的编译器吗 1. 从位置上理解 前端编译器 vs 后端编译器 半编译半解释型语言 javac ... java ... 2. 前端编译器的种类 Java源代码的编译结果是字节码那么肯定需要有一种编译器能够将Java源码编译为字节码承担这个重要责任的就是配置在path环境变量中的javac编译器。javac是一种能够将Java源码编译为字节码的前端编译器。 HotSpot VM并没有强制要求前端编译器只能使用javac来编译字节码其实只要编译结果符合JVM规范都可以被JVM所识别即可。 在Java的前端编译器领域除了javac之外还有一种被大家经常用到的前端编译器那就是内置在Eclipse中的ECJ (Eclipse Compiler for Java)编译器。和Javac的全量式编译不同ECJ是一种增量式编译器。 在Eclipse中当开发人员编写完代码后使用“CtrlS”快捷键时ECJ编译器所釆取的编译方案是把未编译部分的源码逐行进行编译而非每次都全量编译。因此ECJ的编译效率会比javac更加迅速和高效当然编译质量和javac相比大致还是一样的。ECJ不仅是Eclipse的默认内置前端编译器在Tomcat中同样也是使用ECJ编译器来编译jsp文件。由于ECJ编译器是釆用GPLv2的开源协议进行源代码公开所以大家可以登录eclipse官网下载ECJ编译器的源码进行二次开发。默认情况下IntelliJ IDEA 使用 javac 编译器。(还可以自己设置为AspectJ编译器 ajc) 3. 前端编译器的任务 前端编译器的主要任务就是负责将符合Java语法规范的Java代码转换为符合JVM规范的字节码文件。 javac编译器的编译步骤 javac编译器在将Java源码编译为一个有效的字节码文件过程中经历了4个步骤分别是词法解析、语法解析、语义解析以及生成字节码。 大部分的程序代码转换成物理机的目标代码或虚拟机能执行的指令集之前都需要经过上图中的各个步骤。 目前前端编译器的局限性 前端编译器并不会直接涉及编译优化等方面的技术而是将这些具体优化细节移交给HotSpot的JIT编译器负责。 AOT(静态提前编译器Ahead Of Time Compiler) jdk9引入了AOT编译器(静态提前编译器Ahead Of Time Compiler)Java 9 引入了实验性 AOT 编译工具jaotc。它借助了 Graal 编译器将所输入的 Java 类文件转换为机器码并存放至生成的动态共享库之中。 所谓 AOT 编译是与即时编译相对立的一个概念。我们知道即时编译指的是在程序的运行过程中将字节码转换为可在硬件上直接运行的机器码并部署至托管环境中的过程。而 AOT 编译指的则是在程序运行之前便将字节码转换为机器码的过程。 .java - .class - .so最大好处 Java虚拟机加载已经预编译成二进制库可以直接执行。不必等待即时编译器的预热减少Java应用给人带来“第一次运行慢”的不良体验。 缺点 破坏了java“一次编译到处运行”必须为每个不同硬件、OS编译对应的发行包。 降低了Java链接过程的动态性加载的代码在编译期就必须全部已知。 那些类型对应有Class的对象
1class外部类成员(成员内部类静态内部类)局部内部类匿名内部类
2interface接口
3[]数组
4enum枚举
5annotation注解interface
6primitive type基本数据类型
7void
Test
public void test(){Class c1 Object.class;Class c2 Comparable.class;Class c3 String[].class;Class c4 int[][].class;Class c5 ElementType.class;Class c6 Override.class;Class c7 int.class;Class c8 void.class;Class c9 Class.class;int[] a new int[10];int[] b new int[100];Class c10 a.getClass();Class c11 b.getClass();// 只要元素类型与维度一样就是同一个ClassSystem.out.println(c10 c11);
} 字节码指令 面试题 实例1 public class ByteCodeInterview {//面试题 i和i有什么区别Testpublic void test1(){int i 10;i;//i;System.out.println(i);}Testpublic void test2(){int i 10;i i;System.out.println(i);}Testpublic void test3(){int i 2;i * i;System.out.println(i);}Testpublic void test4(){int k 10;k k (k) (k);System.out.println(k);}//包装类对象的缓存问题Testpublic void test5(){
// Integer x 5;
// int y 5;Integer i1 10;Integer i2 10;System.out.println(i1 i2);Integer i3 128;Integer i4 128;System.out.println(i3 i4);Boolean b1 true;Boolean b2 true;System.out.println(b1 b2);}Testpublic void test6(){String str new String(hello) new String(world);String str1 helloworld;System.out.println(str str1);}
} 实例2 class Father {int x 10;public Father() {this.print();x 20;}public void print() {System.out.println(Father.x x);}
}class Son extends Father {int x 30;public Son() {this.print();x 40;}public void print() {System.out.println(Son.x x);}
}public class SonTest {public static void main(String[] args) {Father f new Son();System.out.println(f.x);}
} 什么是字节码指令 Java虚拟机的指令由一个字节长度的、代表着某种特定操作含义的操作码opcode以及跟随其后的零至多个代表此操作所需参数的操作数operand所构成。虚拟机中许多指令并不包含操作数只有一个操作码。 比如 如何解读class文件
方式一一个一个二进制的看。这里用到的是Notepad,需要安装一个HEX-Editor插件或者使用Binary Viewer 方式二使用javap指令jdk自带的反解析工具
方式三使用IDEA插件jclasslib 或jclasslib bytecode viewer客户端工具。可视化更好 或者 Class文件结构细节
官网文档类文件格式 Class 类的本质 任何一个Class文件都对应着唯一一个类或接口的定义信息但反过来说Class文件实际上它并不一定以磁盘文件的形式存在。Class 文件是一组以8位字节为基础单位的二进制流。 Class文件格式 Class 的结构不像 XML 等描述语言由于它没有任何分隔符号。所以在其中的数据项无论是字节顺序还是数量都是被严格限定的哪个字节代表什么含义长度是多少先后顺序如何都不允许改变。 Class 文件格式采用一种类似于 C语言结构体的方式进行数据存储这种结构中只有两种数据类型无符号数和表。 无符号数属于基本的数据类型以 u1、u2、u4、u8 来分别代表 1 个字节、2 个字节、4 个字节和 8 个字节的无符号数无符号数可以用来描述数字、索引引用、数量值或者按照 UTF-8 编码构成字符串值。表是由多个无符号数或者其他表作为数据项构成的复合数据类型所有表都习惯性地以“_info”结尾。表用于描述有层次关系的复合结构的数据整个 Class 文件本质上就是一张表。 由于表没有固定长度所以通常会在其前面加上个数说明 代码举例 public class Demo {private int num 1;public int add(){num num 2;return num;}
} 对应的字节码文件 换句话说充分理解了每一个字节码文件的细节自己也可以反编译出Java源文件来。 class文件结构细节概述 Class文件的结构并不是一成不变的随着Java虚拟机的不断发展总是不可避免地会对Class文件结构做出一些调整但是其基本结构和框架是非常稳定的。
Class文件的总体结构如下
魔数Class文件版本常量池访问标识(或标志)类索引父类索引接口索引集合字段表集合方法表集合属性表集合 这是一张Java字节码总的结构表我们按照上面的顺序逐一进行解读就可以了。 class文件的魔数是什么
Magic Number魔数class文件的标志
每个 Class 文件开头的4个字节的无符号整数称为魔数Magic Number它的唯一作用是确定这个文件是否为一个能被虚拟机接受的有效合法的Class文件。即魔数是Class文件的标识符。魔数值固定为0xCAFEBABE。不会改变。
如果一个Class文件不以0xCAFEBABE开头虚拟机在进行文件校验的时候就会直接抛出以下错误 Error: A JNI error has occurred, please check your installation and try again Exception in thread main java.lang.ClassFormatError: Incompatible magic value 1885430635 in class file StringTest 使用魔数而不是扩展名来进行识别主要是基于安全方面的考虑因为文件扩展名可以随意地改动。 如何确保高版本的JVM可执行低版本的class文件
不同版本的Java编译器编译的Class文件对应的版本是不一样的。目前高版本的Java虚拟机可以执行由低版本编译器生成的Class文件,但是低版本的Java虚拟机不能执行由高版本编译器生成的Class文件。否则JVM会抛出java.lang.UnsupportedClassVersionError异常。 向下兼容在实际应用中由于开发环境和生产环境的不同可能会导致该问题的发生。因此需要我们在开发时特别注意开发编译的JDK版本和生产环境中的JDK版本是否一致。
class文件版本号
紧接着魔数的 4 个字节存储的是 Class 文件的版本号。同样也是4个字节。第5个和第6个字节所代表的含义就是编译的副版本号minor_version而第7个和第8个字节就是编译的主版本号major_version。它们共同构成了class文件的格式版本号。譬如某个 Class 文件的主版本号为 M副版本号为 m那么这个Class 文件的格式版本号就确定为 M.m。版本号和Java编译器的对应关系如下表 Java 的版本号是从45开始的JDK 1.1之后的每个JDK大版本发布主版本号向上加1。虚拟机JDK版本为1.k k 2时对应的class文件格式版本号的范围为45.0 - 44k.0 含两端。 常量池class.文件的基石作用是
常量池存放所有常量
常量池是Class文件中内容最为丰富的区域之一。常量池对于Class文件中的字段和方法解析也有着至关重要的作用。常量池可以理解为Class文件之中的资源仓库它是Class文件结构中与其他项目关联最多的数据类型后面的很多数据类型都会指向此处也是占用Class文件空间最大的数据项目之一。常量池表项中用于存放编译时期生成的各种字面量和符号引用这部分内容将在类加载后进入方法区的运行时常量池中存放。 在版本号之后紧跟着的是常量池的数量以及若干个常量池表项。常量池中常量的数量是不固定的所以在常量池的入口需要放置一项u2类型的无符号数代表常量池容量计数值constant_pool_count。与Java中语言习惯不一样的是这个容量计数是从1而不是0开始的。 由上表可见Class文件使用了一个前置的容量计数器constant_pool_count加若干个连续的数据项constant_pool的形式来描述常量池内容。我们把这一系列连续常量池数据称为常量池集合。 1-为什么需要常量池计数器 constant_pool_count 常量池计数器 由于常量池的数量不固定时长时短所以需要放置两个字节来表示常量池容量计数值。常量池容量计数值u2类型从1开始表示常量池中有多少项常量。即constant_pool_count1表示常量池中有0个常量项。Demo的值为 其值为0x0016,掐指一算也就是22。 需要注意的是这实际上只有21项常量。索引为范围是1-21。为什么呢 通常我们写代码时都是从0开始的但是这里的常量池却是从1开始因为它把第0项常量空出来了。这是为了满足后面某些指向常量池的索引值的数据在特定情况下需要表达“不引用任何一个常量池项目”的含义这种情况可用索引值0来表示。 2-常量池表 constant_pool []常量池 constant_pool是一种表结构以 1 ~ constant_pool_count - 1为索引。表明了后面有多少个常量项。常量池主要存放两大类常量字面量Literal和符号引用Symbolic References它包含了class文件结构及其子结构中引用的所有字符串常量、类或接口名、字段名和其他常量。常量池中的每一项都具备相同的特征。第1个字节作为类型标记用于确定该项的格式这个字节称为tag byte 标记字节、标签字节。 2.1-字面量和符号引用 在对这些常量解读前我们需要搞清楚几个概念。常量池主要存放两大类常量字面量Literal和符号引用Symbolic References。如下表 例String str xxx; 或 final int NUM 10; 2.1.1-全限定名 com/abc/test/Demo这个就是类的全限定名仅仅是把包名的.替换成/为了使连续的多个全限定名之间不产生混淆在使用时最后一般会加入一个“;”表示全限定名结束。 2.1.2-简单名称 简单名称是指没有类型和参数修饰的方法或者字段名称上面例子中的类的add()方法和num字段的简单名称分别是add和num。 2.1.3-描述符 描述符的作用是用来描述字段的数据类型、方法的参数列表包括数量、类型以及顺序和返回值。根据描述符规则基本数据类型byte、char、double、float、int、long、short、boolean以及代表无返回值的void类型都用一个大写字符来表示而对象类型则用字符L加对象的全限定名来表示详见下表: 数据类型基本数据类型 、 引用数据类型 用描述符来描述方法时按照先参数列表后返回值的顺序描述参数列表按照参数的严格顺序放在一组小括号“()”之内。如 方法java.lang.String toString()的描述符为() Ljava/lang/String; 方法int abc(int[] x, int y)的描述符为([II) I 谈谈你对符号引用、直接引用的理解 Java代码在进行Javac编译的时候并不像C和C那样有“连接”这一步骤而是在虚拟机加载Class文件的时候进行动态链接。也就是说在Class文件中不会保存各个方法、字段的最终内存布局信息因此这些字段、方法的符号引用不经过运行期转换的话无法得到真正的内存入口地址也就无法直接被虚拟机使用。当虚拟机运行时需要从常量池获得对应的符号引用再在类创建时或运行时解析、翻译到具体的内存地址之中。 虚拟机在加载Class文件时才会进行动态链接也就是说Class文件中不会保存各个方法和字段的最终内存布局信息因此这些字段和方法的符号引用不经过转换是无法直接被虚拟机使用的。当虚拟机运行时需要从常量池中获得对应的符号引用再在类加载过程中的解析阶段将其替换为直接引用并翻译到具体的内存地址中。 这里说明下符号引用和直接引用的区别与关联 符号引用符号引用以一组符号来描述所引用的目标符号可以是任何形式的字面量只要使用时能无歧义地定位到目标即可。符号引用与虚拟机实现的内存布局无关引用的目标并不一定已经加载到了内存中。直接引用直接引用可以是直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。直接引用是与虚拟机实现的内存布局相关的同一个符号引用在不同虚拟机实例上翻译出来的直接引用一般不会相同。如果有了直接引用那说明引用的目标必定已经存在于内存之中了。 2.2-常量类型和结构 常量池中每一项常量都是一个表JDK1.7之后共有14种不同的表结构数据。如下表格所示 根据上图每个类型的描述我们也可以知道每个类型是用来描述常量池中哪些内容主要是字面量、符号引用的。比如CONSTANT_Integer_info是用来描述常量池中字面量信息的而且只是整型字面量信息。 标志为15、16、18的常量项类型是用来支持动态语言调用的jdk1.7时才加入的。 细节说明 CONSTANT_Class_info 结构用于表示类或接口CONSTANT_Fieldref_info、CONSTANT_Methodref_info和CONSTANT_InterfaceMethodref_info结构表示字段、方法和接口方法CONSTANT_String_info结构用于表示String类型的常量对象CONSTANT_Integer_info和CONSTANT_Float_info 表示4字节int和float的数值常量CONSTANT_Long_info和CONSTANT_Double_info结构表示8字节(long和double)的数值常量在class文件的常量池表中所有的8字节常量均占两个表成员项的空间。如果一个CONSTANT_Long_info或CONSTANT_Double_info结构的项在常量池表中的索引位n则常量池表中下一个可用项的索引位n2此时常量池表中索引为n1的项仍然有效但必须视为不可用的。CONSTANT_NameAndType_info结构用于表示字段或方法但是和之前的3个结构不同CONSTANT_NameAndType_info结构没有指明该字段或方法所属的类或接口。CONSTANT_Utf8_info用于表示字符常量的值CONSTANT_MethodHandle_info结构用于表示方法句柄CONSTANT_MethodType_info结构表示方法类型CONSTANT_InvokeDynamic_info结构用于表示invokedynamic指令所用到的引导方法(bootstrap method)、引导方法所用到的动态调用名称(dynamic invocation name)、参数和返回类型并可以给引导方法传入一系列称为静态参数(static argument)的常量。 解析方式 一个字节一个字节的解析使用javap命令解析javap -verbose Demo.class 或 jclasslib工具会更方便。 总结 这14种表或者常量项结构的共同点是表开始的第一位是一个u1类型的标志位tag代表当前这个常量项使用的是哪种表结构即哪种常量类型。在常量池列表中CONSTANT_Utf8_info常量项是一种使用改进过的UTF-8编码格式来存储诸如文字字符串、类或者接口的全限定名、字段或者方法的简单名称以及描述符等常量字符串信息。这14种常量项结构还有一个特点是其中13个常量项占用的字节固定只有CONSTANT_Utf8_info占用字节不固定其大小由length决定。为什么呢因为从常量池存放的内容可知其存放的是字面量和符号引用最终这些内容都会是一个字符串这些字符串的大小是在编写程序时才确定比如你定义一个类类名可以取长取短所以在没编译前大小不固定编译后通过utf-8编码就可以知道其长度。 访问标识
访问标识(access_flag、访问标志、访问标记)
在 常量池后紧跟着访问标记。该标记使用两个字节表示用于识别一些类或者接口层次的访问信息包括这个 Class 是类还是接口是否定义为 public 类型是否定义为 abstract 类型如果是类的话是否被声明为 final 等。各种访问标记如下所示 类的访问权限通常为 ACC_ 开头的常量。每一种类型的表示都是通过设置访问标记的32位中的特定位来实现的。比如若是public final的类则该标记为ACC_PUBLIC | ACC_FINAL。使用ACC_SUPER可以让类更准确地定位到父类的方法super.method(),现代编译器都会设置并且使用这个标记。
补充说明
1. 带有ACC_INTERFACE标志的class文件表示的是接口而不是类反之则表示的是类而不是接口。 1如果一个class文件被设置了 ACC_INTERFACE 标志那么同时也得设置ACC_ABSTRACT 标志。同时它不能再设置 ACC_FINAL、ACC_SUPER 或 ACC_ENUM 标志。 2如果没有设置ACC_INTERFACE标志那么这个class文件可以具有上表中除 ACC_ANNOTATION外的其他所有标志。当然ACC_FINAL和ACC_ABSTRACT这类互斥的标志除外。这两个标志不得同时设置。
2. ACC_SUPER标志用于确定类或接口里面的invokespecial指令使用的是哪一种执行语义。针对Java虚拟机指令集的编译器都应当设置这个标志。对于Java SE 8及后续版本来说无论class文件中这个标志的实际值是什么也不管class文件的版本号是多少Java虚拟机都认为每个class文件均设置了ACC_SUPER标志。 1ACC_SUPER标志是为了向后兼容由旧Java编译器所编译的代码而设计的。目前的 ACC_SUPER标志在由JDK 1.0.2之前的编译器所生成的access_flags中是没有确定含义的如果设置了该标志那么Oracle的Java虚拟机实现会将其忽略。
3. ACC_SYNTHETIC标志意味着该类或接口是由编译器生成的而不是由源代码生成的。
4. 注解类型必须设置ACC_ANNOTATION标志。如果设置了 ACC_ANNOTATION标志 那么也必须设置ACC_INTERFACE标志。
5. ACC_ENUM标志表明该类或其父类为枚举类型。
6. 表中没有使用的access_flags标志是为未来扩充而预留的这些预留的标志在编译器中应该设置为0, Java虚拟机实现也应该忽略它们。 类索引、父类索引、接口索引集合
在访问标记后会指定该类的类别、父类类别以及实现的接口格式如下 这三项数据来确定这个类的继承关系。
类索引用于确定这个类的全限定名父类索引用于确定这个类的父类的全限定名。由于 Java语言不允许多重继承所以父类索引只有一个除了java.lang.Object 之外所有的Java类都有父类因此除了java.lang.Object 外所有Java类的父类索引都不为 0。接口索引集合就用来描述这个类实现了哪些接口这些被实现的接口将按 implements 语句如果这个类本身是一个接口则应当是 extends 语句后的接口顺序从左到右排列在接口索引集合中。
1.this_class类索引 2字节无符号整数指向常量池的索引。它提供了类的全限定名,如com/abc/java1/Demo。this_class的值必须是对常量池表中某项的一个有效索引值。常量池在这个索引处的成员必须为CONSTANT_Class_info类型结构体该结构体表示这个class文件所定义的类或接口。
2.super_class 父类索引 2字节无符号整数指向常量池的索引。它提供了当前类的父类的全限定名。如果我们没有继承任何类其默认继承的是java/lang/Object类。同时由于Java不支持多继承所以其父类只有一个。 superclass指向的父类不能是final。
3. interfaces 指向常量池索引集合它提供了一个符号引用到所有已实现的接口 由于一个类可以实现多个接口因此需要以数组形式保存多个接口的索引表示接口的每个索引也是一个指向常量池的CONSTANT_Class (当然这里就必须是接口而不是类)。
3.1 interfaces_count (接口计数器) interfaces_count项的值表示当前类或接口的直接超接口数量。
3.2 interfaces [](接口索引集合) interfaces []中每个成员的值必须是对常量池表中某项的有效索引值它的长度为 interfaces_count。 每个成员 interfaces[i]必须为 CONSTANT_Class_info结构其中 0 i interfaces_count。在 interfaces[]中各成员所表示的接口顺序和对应的源代码中给定的接口顺序从左至右一样即 interfaces[0]对应的是源代码中最左边的接口。 字段表集合
fields
用于描述接口或类中声明的变量。字段field包括类级变量以及实例级变量但是不包括方法内部、代码块内部声明的局部变量。(local variables)字段叫什么名字、字段被定义为什么数据类型这些都是无法固定的只能引用常量池中的常量来描述。它指向常量池索引集合它描述了每个字段的完整信息。比如字段的标识符、访问修饰符public、private或protected、是类变量还是实例变量static修饰符、是否是常量final修饰符等。
注意事项
字段表集合中不会列出从父类或者实现的接口中继承而来的字段但有可能列出原本Java代码之中不存在的字段。譬如在内部类中为了保持对外部类的访问性会自动添加指向外部类实例的字段。在Java语言中字段是无法重载的两个字段的数据类型、修饰符不管是否相同都必须使用不一样的名称但是对于字节码来讲如果两个字段的描述符不一致那字段重名就是合法的。 1-字段计数器 fields_count 字段计数器 fields_count的值表示当前class文件fields表的成员个数。使用两个字节来表示。fields表中每个成员都是一个field_info结构用于表示该类或接口所声明的所有类字段或者实例字段不包括方法内部声明的变量也不包括从父类或父接口继承的那些字段。 2-字段表 fields []字段表 fields表中的每个成员都必须是一个fields_info结构的数据项用于表示当前类或接口中某个字段的完整描述。一个字段的信息包括如下这些信息。这些信息中各个修饰符都是布尔值要么有要么没有。 作用域public、private、protected修饰符 是实例变量还是类变量static修饰符 可变性final 并发可见性volatile修饰符是否强制从主内存读写 可否序列化transient修饰符 字段数据类型基本数据类型、对象、数组 字段名称 字段表结构 字段表作为一个表同样有他自己的结构 字段表访问标识: 我们知道一个字段可以被各种关键字去修饰比如作用域修饰符public、private、protected、static修饰符、final修饰符、volatile修饰符等等。因此其可像类的访问标志那样使用一些标志来标记字段。字段的访问标志有如下这些 字段名索引: 根据字段名索引的值查询常量池中的指定索引项即可。 描述符索引: 描述符的作用是用来描述字段的数据类型、方法的参数列表包括数量、类型以及顺序和返回值。根据描述符规则基本数据类型byte,char,double,float,int,long,short,boolean及代表无返回值的void类型都用一个大写字符来表示而对象则用字符L加对象的全限定名来表示如下所示 属性表集合: 一个字段还可能拥有一些属性用于存储更多的额外信息。比如初始化值、一些注释信息等。属性个数存放在attribute_count中属性具体内容存放在attributes数组中。 以常量属性为例结构为 ConstantValue_attribute{ u2 attribute_name_index; u4 attribute_length; u2 constantvalue_index; } 说明对于常量属性而言attribute_length值恒为2。 方法表集合
methods指向常量池索引集合它完整描述了每个方法的签名。
在字节码文件中每一个method_info项都对应着一个类或者接口中的方法信息。比如方法的访问修饰符(public、private或protected),方法的返回值类型以及方法的参数信息等。如果这个方法不是抽象的或者不是native的那么字节码中会体现出来。一方面methods表只描述当前类或接口中声明的方法不包括从父类或父接口继承的方法。另一方面methods表有可能会出现由编译器自动添加的方法最典型的便是编译器产生的方法信息(比如类(接口)初始化方法clinit()和实例初始化方法init())。
使用注意事项 在Java语言中要重载(Overload)一个方法除了要与原方法具有相同的简单名称之外还要求必须拥有一个与原方法不同的特征签名特征签名就是一个方法中各个参数在常量池中的字段符号引用的集合也就是因为返回值不会包含在特征签名之中因此Java语言里无法仅仅依靠返回值的不同来对一个已有方法进行重载。但在Class文件格式中特征签名的范围更大一些只要描述符不是完全一致的两个方法就可以共存。也就是说如果两个方法有相同的名称和特征签名但返回值不同那么也是可以合法共存于同一个class文件中。 也就是说尽管Java语法规范并不允许在一个类或者接口中声明多个方法签名相同的方法但是和Java语法规范相反字节码文件中却恰恰允许存放多个方法签名相同的方法唯一的条件就是这些方法之间的返回值不能相同。 1-方法计数器 methods_count 方法计数器 methods_count的值表示当前class文件methods表的成员个数。使用两个字节来表示。methods 表中每个成员都是一个method_info结构。 2-方法表 methods []方法表 methods表中的每个成员都必须是一个method_info结构用于表示当前类或接口中某个方法的完整描述。如果某个method_info结构的access_flags项既没有设置 ACC_NATIVE 标志也没有设置ACC_ABSTRACT标志那么该结构中也应包含实现这个方法所用的Java虚拟机指令。method_info结构可以表示类和接口中定义的所有方法包括实例方法、类方法、实例初始化方法和类或接口初始化方法方法表的结构实际跟字段表是一样的方法表结构如下 方法表访问标志 跟字段表一样方法表也有访问标志而且他们的标志有部分相同部分则不同方法表的具体访问标志如下 方法名索引 根据方法名索引的值查询常量池中的指定索引项即可。 描述符索引 根据描述符索引的值查询常量池中的指定索引项即可。 属性计数器 根据属性计数器的值判断出方法中属性的个数。 属性表 属性计数器后面就是属性表了由于只有一个属性所以这里也只有一个属性表。 属性表集合
属性表集合(attributes) 方法表集合之后的属性表集合指的是class文件所携带的辅助信息比如该 class 文件的源文件的名称。以及任何带有RetentionPolicy.CLASS 或者RetentionPolicy.RUNTIME的注解。这类信息通常被用于Java虚拟机的验证和运行以及Java程序的调试一般无须深入了解。此外字段表、方法表都可以有自己的属性表。用于描述某些场景专有的信息。 属性表集合的限制没有那么严格不再要求各个属性表具有严格的顺序并且只要不与已有的属性名重复任何人实现的编译器都可以向属性表中写入自己定义的属性信息但Java虚拟机运行时会忽略掉它不认识的属性。 1-属性计数器 attributes_count 属性计数器 attributes_count的值表示当前class文件属性表的成员个数。属性表中每一项都是一个attribute_info结构。 2-属性表 attributes []属性表 属性表的每个项的值必须是attribute_info结构。属性表的结构比较灵活各种不同的属性只要满足以下结构即可。 属性的通用格式: 即只需说明属性的名称以及占用位数的长度即可属性表具体的结构可以去自定义。 属性类型: 属性表实际上可以有很多类型上面看到的Code属性只是其中一种Java8里面定义了23种属性。 下面这些是虚拟机中预定义的属性 或查看官网 ①ConstantValue属性 ConstantValue 属性表示一个常量字段的值。位于 field_info结构的属性表中。 ConstantValue_attribute {u2 attribute_name_index;u4 attribute_length;u2 constantvalue_index;//字段值在常量池中的索引常量池在该索引处的项给出该属性表示的常量值。例如值是long型的在常量池中便是CONSTANT_Long
} ②Deprecated属性 Deprecated 属性是在 JDK 1.1 为了支持注释中的关键词deprecated 而引入的。 Deprecated_attribute {u2 attribute_name_index;u4 attribute_length;
} ③Code属性 Code属性就是存放方法体里面的代码。但是并非所有方法表都有Code属性。像接口或者抽象方法他们没有具体的方法体因此也就不会有Code属性了。 Code属性表的结构,如下图 可以看到Code属性表的前两项跟属性表是一致的即Code属性表遵循属性表的结构后面那些则是他自定义的结构。④InnerClasses属性 为了方便说明特别定义一个表示类或接口的 Class 格式为 C。如果 C 的常量池中包含某个CONSTANT_Class_info 成员且这个成员所表示的类或接口不属于任何一个包那么 C 的ClassFile 结构的属性表中就必须含有对应的 InnerClasses 属性。InnerClasses 属性是在 JDK 1.1 中为了支持内部类和内部接口而引入的,位于 ClassFile结构的属性表。⑤LineNumberTable属性 LineNumberTable 属性是可选变长属性位于 Code结构的属性表。 LineNumberTable属性是用来描述Java源码行号与字节码行号之间的对应关系。这个属性可以用来在调试的时候定位代码执行的行数。 start_pc,即字节码行号;line_number即Java源代码行号。 在 Code 属性的属性表中,LineNumberTable 属性可以按照任意顺序出现此外多个 LineNumberTable属性可以共同表示一个行号在源文件中表示的内容即 LineNumberTable 属性不需要与源文件的行一一对应。 LineNumberTable属性表结构: ⑥LocalVariableTable属性 LocalVariableTable 是可选变长属性位于 Code属性的属性表中。它被调试器用于确定方法在执行过程中局部变量的信息。在 Code 属性的属性表中LocalVariableTable 属性可以按照任意顺序出现。 Code 属性中的每个局部变量最多只能有一个 LocalVariableTable 属性。 start pc length表示这个变量在字节码中的生命周期起始和结束的偏移位置this生命周期从头0到结尾 index就是这个变量在局部变量表中的槽位槽位可复用 name就是变量名称 Descriptor表示局部变量类型描述 LocalVariableTable 属性表结构: ⑦Signature属性 Signature 属性是可选的定长属性位于 ClassFile field_info 或 method_info结构的属性表中。在 Java 语言中任何类、 接口、 初始化方法或成员的泛型签名如果包含了类型变量 Type Variables 或参数化类型 Parameterized Types则 Signature 属性会为它记录泛型签名信息。⑧SourceFile属性 SourceFile属性结构 可以看到其长度总是固定的8个字节。⑨其他属性 Java虚拟机中预定义的属性有20多个这里就不一一介绍了通过上面几个属性的介绍只要领会其精髓其他属性的解读也是易如反掌。 小结 oracle官方的反解析工具javap
解析字节码的作用 通过反编译生成的字节码文件我们可以深入的了解java代码的工作机制。但是自己分析类文件结构太麻烦了除了使用第三方的jclasslib工具之外oracle官方也提供了工具javap。 javap是jdk自带的反解析工具。它的作用就是根据class字节码文件反解析出当前类对应的code区字节码指令、局部变量表、异常表和代码行偏移量映射表、常量池等信息。 通过局部变量表我们可以查看局部变量的作用域范围、所在槽位等信息甚至可以看到槽位复用等信息。
javac -g操作 解析字节码文件得到的信息中有些信息如局部变量表、指令和代码行偏移量映射表、常量池中方法的参数名称等等需要在使用javac编译成class文件时指定参数才能输出。 比如你直接javac xx.java就不会在生成对应的局部变量表等信息如果你使用javac -g xx.java就可以生成所有相关信息了。如果你使用的eclipse或IDEA则默认情况下eclipse、IDEA在编译时会帮你生成局部变量表、指令和代码行偏移量映射表等信息的。
javap的用法
用法格式javap options classes
其中classes就是你要反编译的class文件。在命令行中直接输入javap或javap -help可以看到javap的options有如下选项 这里重组一下 一般常用的是-v -l -c三个选项。
javap -l 会输出行号和本地变量表信息。
javap -c 会对当前class字节码进行反编译生成汇编代码。
javap -v classxx 除了包含-c内容外还会输出行号、局部变量表信息、常量池等信息。
使用举例
public class JavapTest {private int num;boolean flag;protected char gender;public String info;public static final int COUNTS 1;static{String url www.atguigu.com;}{info java;}public JavapTest(){}private JavapTest(boolean flag){this.flag flag;}private void methodPrivate(){}int getNum(int i){return num i;}protected char showGender(){return gender;}public void showInfo(){int i 10;System.out.println(info i);}
}
希望输出的信息比较完整的话使用如下操作javap -v -p JavapTest.class
对应的内容信息为
Classfile /C:/Users/songhk/Desktop/2/JavapTest.classLast modified 2020-9-6; size 1358 bytesMD5 checksum 526b4a845e4d98180438e4c5781b7e88Compiled from JavapTest.javapublic class com.atguigu.java1.JavapTestminor version: 0major version: 52flags: ACC_PUBLIC, ACC_SUPERConstant pool:#1 Methodref #16.#46 // java/lang/Object.init:()V#2 String #47 // java#3 Fieldref #15.#48 // com/atguigu/java1/JavapTest.info:Ljava/lang/String;#4 Fieldref #15.#49 // com/atguigu/java1/JavapTest.flag:Z#5 Fieldref #15.#50 // com/atguigu/java1/JavapTest.num:I#6 Fieldref #15.#51 // com/atguigu/java1/JavapTest.gender:C#7 Fieldref #52.#53 // java/lang/System.out:Ljava/io/PrintStream;#8 Class #54 // java/lang/StringBuilder#9 Methodref #8.#46 // java/lang/StringBuilder.init:()V#10 Methodref #8.#55 // java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;#11 Methodref #8.#56 // java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;#12 Methodref #8.#57 // java/lang/StringBuilder.toString:()Ljava/lang/String;#13 Methodref #58.#59 // java/io/PrintStream.println:(Ljava/lang/String;)V#14 String #60 // www.atguigu.com#15 Class #61 // com/atguigu/java1/JavapTest#16 Class #62 // java/lang/Object#17 Utf8 num#18 Utf8 I#19 Utf8 flag#20 Utf8 Z#21 Utf8 gender#22 Utf8 C#23 Utf8 info#24 Utf8 Ljava/lang/String;#25 Utf8 COUNTS#26 Utf8 ConstantValue#27 Integer 1#28 Utf8 init#29 Utf8 ()V#30 Utf8 Code#31 Utf8 LineNumberTable#32 Utf8 LocalVariableTable#33 Utf8 this#34 Utf8 Lcom/atguigu/java1/JavapTest;#35 Utf8 (Z)V#36 Utf8 methodPrivate#37 Utf8 getNum#38 Utf8 (I)I#39 Utf8 i#40 Utf8 showGender#41 Utf8 ()C#42 Utf8 showInfo#43 Utf8 clinit#44 Utf8 SourceFile#45 Utf8 JavapTest.java#46 NameAndType #28:#29 // init:()V#47 Utf8 java#48 NameAndType #23:#24 // info:Ljava/lang/String;#49 NameAndType #19:#20 // flag:Z#50 NameAndType #17:#18 // num:I#51 NameAndType #21:#22 // gender:C#52 Class #63 // java/lang/System#53 NameAndType #64:#65 // out:Ljava/io/PrintStream;#54 Utf8 java/lang/StringBuilder#55 NameAndType #66:#67 // append:(Ljava/lang/String;)Ljava/lang/StringBuilder;#56 NameAndType #66:#68 // append:(I)Ljava/lang/StringBuilder;#57 NameAndType #69:#70 // toString:()Ljava/lang/String;#58 Class #71 // java/io/PrintStream#59 NameAndType #72:#73 // println:(Ljava/lang/String;)V#60 Utf8 www.atguigu.com#61 Utf8 com/atguigu/java1/JavapTest#62 Utf8 java/lang/Object#63 Utf8 java/lang/System#64 Utf8 out#65 Utf8 Ljava/io/PrintStream;#66 Utf8 append#67 Utf8 (Ljava/lang/String;)Ljava/lang/StringBuilder;#68 Utf8 (I)Ljava/lang/StringBuilder;#69 Utf8 toString#70 Utf8 ()Ljava/lang/String;#71 Utf8 java/io/PrintStream#72 Utf8 println#73 Utf8 (Ljava/lang/String;)V{private int num;descriptor: Iflags: ACC_PRIVATEboolean flag;descriptor: Zflags:protected char gender;descriptor: Cflags: ACC_PROTECTEDpublic java.lang.String info;descriptor: Ljava/lang/String;flags: ACC_PUBLICpublic static final int COUNTS;descriptor: Iflags: ACC_PUBLIC, ACC_STATIC, ACC_FINALConstantValue: int 1public com.atguigu.java1.JavapTest();descriptor: ()Vflags: ACC_PUBLICCode:stack2, locals1, args_size10: aload_01: invokespecial #1 // Method java/lang/Object.init:()V4: aload_05: ldc #2 // String java7: putfield #3 // Field info:Ljava/lang/String;10: returnLineNumberTable:line 20: 0line 18: 4line 22: 10LocalVariableTable:Start Length Slot Name Signature0 11 0 this Lcom/atguigu/java1/JavapTest;private com.atguigu.java1.JavapTest(boolean);descriptor: (Z)Vflags: ACC_PRIVATECode:stack2, locals2, args_size20: aload_01: invokespecial #1 // Method java/lang/Object.init:()V4: aload_05: ldc #2 // String java7: putfield #3 // Field info:Ljava/lang/String;10: aload_011: iload_112: putfield #4 // Field flag:Z15: returnLineNumberTable:line 23: 0line 18: 4line 24: 10line 25: 15LocalVariableTable:Start Length Slot Name Signature0 16 0 this Lcom/atguigu/java1/JavapTest;0 16 1 flag Zprivate void methodPrivate();descriptor: ()Vflags: ACC_PRIVATECode:stack0, locals1, args_size10: returnLineNumberTable:line 28: 0LocalVariableTable:Start Length Slot Name Signature0 1 0 this Lcom/atguigu/java1/JavapTest;int getNum(int);descriptor: (I)Iflags:Code:stack2, locals2, args_size20: aload_01: getfield #5 // Field num:I4: iload_15: iadd6: ireturnLineNumberTable:line 30: 0LocalVariableTable:Start Length Slot Name Signature0 7 0 this Lcom/atguigu/java1/JavapTest;0 7 1 i Iprotected char showGender();descriptor: ()Cflags: ACC_PROTECTEDCode:stack1, locals1, args_size10: aload_01: getfield #6 // Field gender:C4: ireturnLineNumberTable:line 33: 0LocalVariableTable:Start Length Slot Name Signature0 5 0 this Lcom/atguigu/java1/JavapTest;public void showInfo();descriptor: ()Vflags: ACC_PUBLICCode:stack3, locals2, args_size10: bipush 102: istore_13: getstatic #7 // Field java/lang/System.out:Ljava/io/PrintStream;6: new #8 // class java/lang/StringBuilder9: dup10: invokespecial #9 // Method java/lang/StringBuilder.init:()V13: aload_014: getfield #3 // Field info:Ljava/lang/String;17: invokevirtual #10 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;20: iload_121: invokevirtual #11 // Method java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;24: invokevirtual #12 // Method java/lang/StringBuilder.toString:()Ljava/lang/String;27: invokevirtual #13 // Method java/io/PrintStream.println:(Ljava/lang/String;)V30: returnLineNumberTable:line 36: 0line 37: 3line 38: 30LocalVariableTable:Start Length Slot Name Signature0 31 0 this Lcom/atguigu/java1/JavapTest;3 28 1 i Istatic {};descriptor: ()Vflags: ACC_STATICCode:stack1, locals1, args_size00: ldc #14 // String www.atguigu.com2: astore_03: returnLineNumberTable:line 15: 0line 16: 3LocalVariableTable:Start Length Slot Name Signature}SourceFile: JavapTest.java
总结
1、通过javap命令可以查看一个java类反汇编得到的Class文件版本号、常量池、访问标识、变量表、指令代码行号表等等信息。不显示类索引、父类索引、接口索引集合、clinit()、init()等结构。
2、通过对前面例子代码反汇编文件的简单分析可以发现一个方法的执行通常会涉及下面几块内存的操作
1java栈中局部变量表、操作数栈。
2java堆。通过对象的地址引用去操作。
3常量池。
4其他如帧数据区、方法区的剩余部分等情况测试中没有显示出来这里说明一下。
3、平常我们比较关注的是java类中每个方法的反汇编中的指令操作过程这些指令都是顺序执行的可以参考官方文档查看每个指令的含义很简单Java虚拟机指令集 字节码指令集与解析概述 Java字节码对于虚拟机就好像汇编语言对于计算机属于基本执行指令。Java 虚拟机的指令由一个字节长度的、代表着某种特定操作含义的数字称为操作码Opcode以及跟随其后的零至多个代表此操作所需参数称为操作数Operands而构成。由于 Java 虚拟机采用面向操作数栈而不是寄存器的结构所以大多数的指令都不包含操作数只有一个操作码。由于限制了 Java 虚拟机操作码的长度为一个字节即 0255这意味着指令集的操作码总数不可能超过 256 条。官方文档Java虚拟机指令集。熟悉虚拟机的指令对于动态字节码生成、反编译Class文件、Class文件修补都有着非常重要的价值。因此阅读字节码作为了解 Java 虚拟机的基础技能需要熟练掌握常见指令。 字节码与数据类型 在Java虚拟机的指令集中大多数的指令都包含了其操作所对应的数据类型信息。例如iload指令用于从局部变量表中加载int型的数据到操作数栈中而fload指令加载的则是float类型的数据。 对于大部分与数据类型相关的字节码指令它们的操作码助记符中都有特殊的字符来表明专门为哪种数据类型服务 i代表对int类型的数据操作l代表long类型的数据操作s代表short类型的数据操作b代表byte类型的数据操作c代表char类型的数据操作f代表float类型的数据操作d代表double类型的数据操作 也有一些指令的助记符中没有明确地指明操作类型的字母如arraylength指令它没有代表数据类型的特殊字符但操作数永远只能是一个数组类型的对象。 还有另外一些指令如无条件跳转指令goto则是与数据类型无关的。 大部分的指令都没有支持整数类型byte、char和short甚至没有任何指令支持boolean类型。编译器会在编译期或运行期将byte和short类型的数据带符号扩展Sign-Extend为相应的int类型数据将boolean和char类型数据零位扩展Zero-Extend为相应的int类型数据。与之类似在处理boolean、byte、short和char类型的数组时也会转换为使用对应的int类型的字节码指令来处理。因此大多数对于boolean、byte、short和char类型数据的操作实际上都是使用相应的int类型作为运算类型。 指令分类 这里将JVM中的字节码指令集按用途大致分成 9 类 加载与存储指令算术指令类型转换指令对象的创建与访问指令方法调用与返回指令操作数栈管理指令控制转移指令异常处理指令同步控制指令 (说在前面)在做值相关操作时 一个指令可以从局部变量表、常量池、堆中对象、方法调用、系统调用中等取得数据这些数据可能是值可能是对象的引用被压入操作数栈。一个指令也可以从操作数栈中取出一到多个值pop多次完成赋值、加减乘除、方法传参、系统调用等等操作。 字节码指令
面试题 知道字节码吗字节码指令都有哪些百度 int a 1;JVM如何取得a的值圆通 Integer x 5;int y 5;比较 x y 都经过哪些步骤百度 Java中的参数传递是传值呢还是传引用 (阿里) Java虚拟机中数据类型可以分为哪几类 (阿里) 1. Java虚拟机是通过某些数据类型来执行计算的数据类型可以分为两种基本类型和引用类型基本类型的变量持有原始值而引用类型的变量持有引用值。 2. Java语言中的所有基本类型同样也都是Java虚拟机中的基本类型。但是boolean有点特别虽然Java虚拟机也把boolean看做基本类型但是指令集对boolean只有很有限的支持当编译器把Java源代码编译为字节码时它会用int或者byte来表示boolean。在Java虚拟机中false是由整数零来表示的所有非零整数都表示true涉及boolean值的操作则会使用int。另外boolean数组是当做byte数组来访问的。 3. Java虚拟机还有一个只在内部使用的基本类型returnAddressJava程序员不能使用这个类型这个基本类型被用来实现Java程序中的finally子句。该类型是jsr, ret以及jsr_w指令需要使用到的它的值是JVM指令的操作码的指针。returnAddress类型不是简单意义上的数值不属于任何一种基本类型并且它的值是不能被运行中的程序所修改的。 4. Java虚拟机的引用类型被统称为“引用reference”有三种引用类型类类型、接口类型、以及数组类型它们的值都是对动态创建对象的引用。类类型的值是对类实例的引用数组类型的值是对数组对象的引用在Java虚拟机中数组是个真正的对象而接口类型的值则是对实现了该接口的某个类实例的引用。还有一种特殊的引用值是null它表示该引用变量没有引用任何对象。 为什么不把基本类型放堆中呢 (阿里) 首先是栈、堆的特点不同。堆比栈要大但是栈比堆的运算速度要快。 将复杂数据类型放在堆中的目的是为了不影响栈的效率而是通过引用的方式去堆中查找。八大基本类型的大小创建时候已经确立大小。三大引用类型创建时候无法确定大小 简单数据类型比较稳定并且它只占据很小的内存将它放在空间小、运算速度快的栈中能够提高效率。 Java中有没有指针的概念 (阿里) 指针具有您可能或可能不会通常使用的额外操作引用缺少这些操作因为这些操作可能不安全。例如如果您使用指针来索引数组的第一个元素如下所示int squares[] {1, 4, 9, 16, 25, 36, 49};int* intPointer squares;您可能想要取消引用指针并获取值“ 1”。还可以继续intPointer获得值“4”intPointer获得值“9”。这是因为操作将指针在内存中向前移动了一个“单位”。指针将一个地址存储在内存中并且操作将适当数量的字节添加到该地址。在许多系统上int会加四个字节但是如果指针是char指针则只能加一个字节。由于指针的基础数据类型是内存中的地址因此以下内容是合法的但不建议这样做char* charPointer squares;charPointer;void* voidPointer squares;voidPointer。 加载与存储指令 1、作用 加载和存储指令用于将数据从栈帧的局部变量表和操作数栈之间来回传递。 2、常用指令 上面所列举的指令助记符中有一部分是以尖括号结尾的例如iload_n。这些指令助记符实际上代表了一组指令例如 iload_n代表了iload_0、iload_1、iload_2和iload_3这几个指令。这几组指令都是某个带有一个操作数的通用指令例如 iload的特殊形式对于这若干组特殊指令来说它们表面上没有操作数不需要进行取操作数的动作但操作数都隐含在指令中。 比如 iload_0:将局部变量表中索引为0位置上的数据压入操作数栈中。 iload 0:将局部变量表中索引为0位置上的数据压入操作数栈中。 iload 4:将局部变量表中索引为4位置上的数据压入操作数栈中。 除此之外它们的语义与原生的通用指令完全一致例如 iload_0的语义与操作数为0时的 iload 指令语义完全一致。在尖括号之间的字母指定了指令隐含操作数的数据类型n代表非负的整数 i 代表是int类型数据l 代表long类型f代表float类型d 代表double类型。 操作byte、char、short和boolean类型数据时经常用int类型的指令来表示。 操作数栈与局部变量表
a、操作数栈(Operand Stacks) 我们知道Java字节码是Java虚拟机所使用的指令集。因此它与Java虚拟机基于栈的计算模型是密不可分的。在解释执行过程中每当为Java方法分配栈桢时Java虚拟机往往需要开辟一块额外的空间作为操作数栈来存放计算的操作数以及返回结果。具体来说便是执行每一条指令之前Java 虚拟机要求该指令的操作数已被压入操作数栈中。在执行指令时Java 虚拟机会将该指令所需的操作数弹出并且将指令的结果重新压入栈中。 以加法指令 iadd 为例。假设在执行该指令前栈顶的两个元素分别为 int 值 1 和 int 值 2那么 iadd 指令将弹出这两个 int并将求得的和 int 值 3 压入栈中。 由于 iadd 指令只消耗栈顶的两个元素因此对于离栈顶距离为 2 的元素即图中的问号iadd 指令并不关心它是否存在更加不会对其进行修改。
b、局部变量表(Local Variables) Java 方法栈桢的另外一个重要组成部分则是局部变量区字节码程序可以将计算的结果缓存在局部变量区之中。实际上Java 虚拟机将局部变量区当成一个数组依次存放 this 指针仅非静态方法所传入的参数以及字节码中的局部变量。和操作数栈一样long 类型以及 double 类型的值将占据两个单元其余类型仅占据一个单元。 举例
public void foo(long l, float f) {{int i 0;}{String s Hello, World;}
}
对应的图示 在栈帧中与性能调优关系最为密切的部分就是局部变量表。局部变量表中的变量也是重要的垃圾回收根节点只要被局部变量表中直接或间接引用的对象都不会被回收。
在方法执行时虚拟机使用局部变量表完成方法的传递。 1-局部变量压栈指冷
局部变量压栈指令将给定的局部变量表中的数据压入操作数栈。
这类指令大体可以分为 xload_n (x为i、l、f、d、an为 0 到 3) xload (x为i、l、f、d、a) 说明在这里x的取值表示数据类型。
指令xload_n表示将第n个局部变量压入操作数栈比如iload_1、fload_0、aload_0等指令。其中aload_n表示将一个对象引用压栈。
指令xload通过指定参数的形式把局部变量压入操作数栈当使用这个命令时表示局部变量的数量可能超过了4个比如指令iload、fload等。 2-常量入栈指令
常量入栈指令的功能是将常数压入操作数栈根据数据类型和入栈内容的不同又可以分为const系列、push系列和ldc指令。
指令const系列用于对特定的常量入栈入栈的常量隐含在指令本身里。指令有iconst_i (i从-1到5)、lconst_l (l从0到1)、fconst_f (f从0到2)、dconst_d (d从0到1)、aconst_null。
比如: iconst_m1将-1压入操作数栈 iconst_xx为0到5将x压入栈 lconst_0、lconst_1分别将长整数0和1压入栈 fconst_0、fconst_1、fconst_2分别将浮点数0、1、2压入栈 dconst_0和dconst_1分别将double型0和1压入栈。 aconst_null将null压入操作数栈
从指令的命名上不难找出规律指令助记符的第一个字符总是喜欢表示数据类型i表示整数l表示长整数f表示浮点数d表示双精度浮点习惯上用a表示对象引用。如果指令隐含操作的参数会以下划线形式给出。 int i 3; iconst_3 int j 6; iconst 6? bipush 6? int k 32768 ldc ?
指令push系列主要包括bipush和sipush。它们的区别在于接收数据类型的不同bipush接收8位整数作为参数sipush接收16位整数它们都将参数压入栈。
指令ldc系列如果以上指令都不能满足需求那么可以使用万能的ldc指令它可以接收一个8位的参数该参数指向常量池中的int、float或者String的索引将指定的内容压入堆栈。类似的还有ldc_w它接收两个8位参数能支持的索引范围大于ldc。
如果要压入的元素是long或者double类型的,则使用ldc2_w指令使用方式都是类似的。
总结如下 3-出栈装入局部变量表指令
出栈装入局部变量表指令用于将操作数栈中栈顶元素弹岀后装入局部变量表的指定位置用于给局部变量赋值。
这类指令主要以store的形式存在比如xstore x为i、l、f、d、a、 xstore_n x 为 i、l、f、d、a, n 为 0 至 3。
其中指令istore_n将从操作数栈中弹出一个整数并把它赋值给局部变量索引n位置。指令xstore由于没有隐含参数信息故需要提供一个byte类型的参数类指定目标局部变量表的位置。
说明 一般说来类似像store这样的命令需要带一个参数用来指明将弹出的元素放在局部变量表的第几个位置。但是为了尽可能压缩指令大小使用专门的istore_1指令表示将弹出的元素放置在局部变量表第1个位置。类似的还有istore_0、istore_2、istore_3,它们分别表示从操作数栈顶弹出一个元素存放在局部变量表第0、2、3个位置。 由于局部变量表前几个位置总是非常常用因此这种做法虽然增加了指令数量但是可以大大压缩生成的字节码的体积。如果局部变量表很大需要存储的槽位大于3,那么可以使用istore指令外加一个参数用来表示需要存放的槽位位置。 算术指令 1、作用 算术指令用于对两个操作数栈上的值进行某种特定运算并把结果重新压入操作数栈。 2、分类 大体上算术指令可以分为两种对整型数据进行运算的指令与对浮点类型数据进行运算的指令。 3、byte、short、char和boolean类型说明 在每一大类中都有针对Java虚拟机具体数据类型的专用算术指令。但没有直接支持byte、short、char和boolean类型的算术指令对于这些数据的运算都使用int类型的指令来处理。此外在处理boolean、byte、short和char类型的数组时也会转换为使用对应的int类型的字节码指令来处理。 4、运算时的溢出 数据运算可能会导致溢出例如两个很大的正整数相加结果可能是一个负数。其实Java虚拟机规范并无明确规定过整型数据溢出的具体结果仅规定了在处理整型数据时只有除法指令以及求余指令中当出现除数为0时会导致虚拟机抛出异常ArithmeticException。 5、运算模式 向最接近数舍入模式JVM要求在进行浮点数计算时所有的运算结果都必须舍入到适当的精度非精确结果必须舍入为可被表示的最接近的精确值如果有两种可表示的形式与该值一样接近将优先选择最低有效位为零的 向零舍入模式将浮点数转换为整数时采用该模式该模式将在目标数值类型中选择一个最接近但是不大于原值的数字作为最精确的舍入结果 6、NaN值使用 当一个操作产生溢出时将会使用有符号的无穷大表示如果某个操作结果没有明确的数学定义的话将会使用 NaN值来表示。而且所有使用NaN值作为操作数的算术操作结果都会返回 NaN 所有算术指令
加法指令iadd、ladd、fadd、dadd 减法指令isub、lsub、fsub、dsub 乘法指令:imul、lmul、 fmul、dmul 除法指令idiv、ldiv、fdiv、ddiv 求余指令irem、lrem、frem、drem //remainder:余数 取反指令ineg、lneg、fneg、dneg //negation:取反 自增指令iinc 位运算指令又可分为 位移指令ishl、ishr、iushr、lshl、lshr、lushr 按位或指令ior、lor 按位与指令iand、land 按位异或指令ixor、lxor 比较指令dcmpg、dcmpl、fcmpg、fcmpl、lcmp
举例
public static int bar(int i) {return ((i 1) - 2) * 3 / 4;
}
字节码指令对应的图示 案例1
public void add(){byte i 15;int j 8;int k i j;
}
字节码对应的内存解析: 案例2
public static void main(String[] args) {int x 500;int y 100;int a x / y;int b 50;System.out.println(a b);
}
字节码对应的内存解析: 比较指令的说明
比较指令的作用是比较栈顶两个元素的大小并将比较结果入栈。比较指令有dcmpg, dcmpl、fcmpg、fcmpl、lcmp。 与前面讲解的指令类似首字符d表示double类型f表示float,l表示long。对于double和float类型的数字由于NaN的存在各有两个版本的比较指令。以float为例有fcmpg和fcmpl两个指令它们的区别在于在数字比较时若遇到NaN值处理结果不同。指令dcmpl和dcmpg也是类似的根据其命名可以推测其含义在此不再赘述。指令lcmp针对long型整数由于long型整数没有NaN值故无需准备两套指令。
举例 指令fcmpg和fcmpl都从栈中弹出两个操作数并将它们做比较设栈顶的元素为v2,栈顶顺位第2位的元素为v1,若v1v2,则压入0若v1v2则压入1若v1v2则压入-1。 两个指令的不同之处在于如果遇到NaN值fcmpg会压入1,而fcmpl会压入-1。 数值类型的数据才可以谈大小 byte\short\char\intlong\float\double) boolean、引用数据类型不能比较大小。 类型转换指令 ① 类型转换指令可以将两种不同的数值类型进行相互转换。 ② 这些转换操作一般用于实现用户代码中的显式类型转换操作或者用来处理字节码指令集中数据类型相关指令无法与数据类型一一对应的问题。 1-宽化类型转换
宽化类型转换Widening Numeric Conversions
a.转换规则 Java虚拟机直接支持以下数值的宽化类型转换widening numeric conversion小范围类型向大范围类型的安全转换。也就是说并不需要指令执行包括
从int类型到long、float或者double类型。对应的指令为i2l、i2f、i2d从long类型到float、double类型。对应的指令为l2f、l2d从float类型到double类型。对应的指令为f2d 简化为int -- long -- float -- doube
b. 精度损失问题 宽化类型转换是不会因为超过目标类型最大值而丢失信息的例如从int转换到 long或者从int转换到double都不会丢失任何信息转换前后的值是精确相等的。 从int、long类型数值转换到float或者long类型数值转换到double时将可能发生精度丢失— —可能丢失掉几个最低有效位上的值转换后的浮点数值是根据IEEE754最接近舍入模式所得到的正确整数值。 尽管宽化类型转换实际上是可能发生精度丢失的但是这种转换永远不会导致Java虚拟机抛出运行时异常。
c.补充说明 从byte、char和short类型到int类型的宽化类型转换实际上是不存在的。对于byte类型转为int,虚拟机并没有做实质性的转化处理只是简单地通过操作数栈交换了两个数据。而将byte转为long时使用的是i2l,可以看到在内部byte在这里已经等同于int类型处理类似的还有short类型这种处理方式有两个特点 一方面可以减少实际的数据类型如果为short和byte都准备一套指令那么指令的数量就会大增而虚拟机目前的设计上只愿意使用一个字节表示指令因此指令总数不能超过256个为了节省指令资源将short和byte当做int处理也在情理之中。另一方面由于局部变量表中的槽位固定为32位无论是byte或者short存入局部变量表都会占用32位空间。从这个角度说也没有必要特意区分这几种数据类型。 2-窄化类型转换
窄化类型转换Narrowing Numeric Conversion
a.转换规则 Java虚拟机也直接支持以下窄化类型转换
从int类型至byte、short或者char类型。对应的指令有i2b、i2s、i2c从long类型到int类型。对应的指令有l2i从float类型到int或者long类型。对应的指令有f2i、f2l从double类型到int、long或者float类型。对应的指令有d2i、d2l、d2f
b. 精度损失问题 窄化类型转换可能会导致转换结果具备不同的正负号、不同的数量级因此转换过程很可能会导致数值丢失精度。 尽管数据类型窄化转换可能会发生上限溢出、下限溢出和精度丢失等情况但是Java虚拟机规范中明确规定数值类型的窄化转换指令永远不可能导致虚拟机抛出运行时异常。
c. 补充说明 当将一个浮点值窄化转换为整数类型TT限于int或long类型之一的时候将遵循以下转换规则
如果浮点值是NaN那转换结果就是int或long类型的0。如果浮点值不是无穷大的话浮点值使用IEEE 754的向零舍入模式取整获得整数值v如果v在目标类型Tint或long的表示范围之内那转换结果就是v。否则将根据v的符号转换为T所能表示的最大或者最小正数。 当将一个 double 类型窄化转换为 float 类型时将遵循以下转换规则 通过向最接近数舍入模式舍入一个可以使用float类型表示的数字。最后结果根据下面这3条规则判断
如果转换结果的绝对值太小而无法使用 float来表示将返回 float类型的正负零。如果转换结果的绝对值太大而无法使用 float来表示将返回 float类型的正负无穷大。对于double 类型的 NaN值将按规定转换为 float类型的 NaN值。 对象的创建与访问指令 Java是面向对象的程序设计语言虚拟机平台从字节码层面就对面向对象做了深层次的支持。有一系列指令专门用于对象操作可进一步细分为创建指令、字段访问指令、数组操作指令、类型检查指令。
1-创建指令 虽然类实例和数组都是对象但Java虚拟机对类实例和数组的创建与操作使用了不同的字节码指令
a. 创建类实例的指令 创建类实例的指令new 它接收一个操作数为指向常量池的索引表示要创建的类型执行完成后将对象的引用压入栈。
b. 创建数组的指令 创建数组的指令newarray、anewarray、multianewarray。 newarray创建基本类型数组 anewarray创建引用类型数组 multianewarray创建多维数组
上述创建指令可以用于创建对象或者数组由于对象和数组在Java中的广泛使用这些指令的使用频率也非常高。 2-字段访问指令 对象创建后就可以通过对象访问指令获取对象实例或数组实例中的字段或者数组元素。
访问类字段static字段或者称为类变量的指令getstatic、putstatic访问类实例字段非static字段或者称为实例变量的指令getfield、putfield
举例 以getstatic指令为例它含有一个操作数为指向常量池的Fieldref索引它的作用就是获取Fieldref指定的对象或者值并将其压入操作数栈。
public void sayHello() {System.out.println(hello);
}
对应的字节码指令 0 getstatic #8 java/lang/System.out 3 ldc #9 hello 5 invokevirtual #10 java/io/PrintStream.println 8 return 图示 3-数组操作指令 数组操作指令主要有xastore和xaload指令。具体为
把一个数组元素加载到操作数栈的指令baload、caload、saload、iaload、laload、faload、daload、aaload将一个操作数栈的值存储到数组元素中的指令bastore、 castore、 sastore、iastore、 lastore、fastore、dastore、aastore
即 取数组长度的指令arraylength 该指令弹出栈顶的数组元素获取数组的长度将长度压入栈。
说明:
指令xaload表示将数组的元素压栈比如saload、caload分别表示压入short数组和char数组。指令xaload在执行时要求操作数中栈顶元素为数组索引i,栈顶顺位第2个元素为数组引用a,该指令会弹岀栈顶这两个元素并将a[i]重新压入栈。xastore则专门针对数组操作以iastore为例它用于给一个int数组的给定索引赋值。在iastore执行前操作数栈顶需要以此准备3个元素值、索引、数组引用iastore会弹出这3个值并将值赋给数组中指定索引的位置。 4-类型检查指令 检查类实例或数组类型的指令instanceof、checkcast。
指令checkcast用于检查类型强制转换是否可以进行。如果可以进行那么checkcast指令不会改变操作数栈否则它会抛出ClassCastException异常。指令instanceof用来判断给定对象是否是某一个类的实例它会将判断结果压入操作数栈。 方法调用与返回指令
1-方法调用指令
方法调用指令invokevirtual、invokeinterface、invokespecial、invokestatic 、invokedynamic
以下5条指令用于方法调用
invokevirtual指令用于调用对象的实例方法根据对象的实际类型进行分派虚方法分派支持多态。这也是Java语言中最常见的方法分派方式。invokeinterface指令用于调用接口方法它会在运行时搜索由特定对象所实现的这个接口方法并找出适合的方法进行调用。invokespecial指令用于调用一些需要特殊处理的实例方法包括实例初始化方法构造器、私有方法和父类方法。这些方法都是静态类型绑定的不会在调用时进行动态派发。invokestatic指令用于调用命名类中的类方法static方法。这是静态绑定的。invokedynamic调用动态绑定的方法这个是JDK 1.7后新加入的指令。用于在运行时动态解析出调用点限定符所引用的方法并执行该方法。前面4条调用指令的分派逻辑都固化在 java 虚拟机内部而 invokedynamic指令的分派逻辑是由用户所设定的引导方法决定的。
举例
import java.util.Comparator;public class MethodInvokeTest {public static void main(String[] args) {Father f new Father();Son s new Son();System.out.println(f.getInfo());System.out.println(s.getInfo());ComparatorInteger comparator new ComparatorInteger() {Overridepublic int compare(Integer o1, Integer o2) {return 0;}};//comparator Integer::compare;comparator.compare(12,32);}
}class Father {private String info atguigu;public void setInfo(String info) {this.info info;}public String getInfo() {return info;}
}class Son extends Father {private String info 尚硅谷;public void setInfo(String info) {this.info info;}public String getInfo() {return info;}} 2-方法返回指令
方法调用结束前需要进行返回。方法返回指令是根据返回值的类型区分的。
包括ireturn当返回值是 boolean、byte、char、short和int 类型时使用、lreturn、freturn、dreturn和areturn另外还有一条return 指令供声明为 void的方法、实例初始化方法以及类和接口的类初始化方法使用。 举例 通过ireturn指令,将当前函数操作数栈的顶层元素弹出并将这个元素压入调用者函数的操作数栈中因为调用者非常关心函数的返回值所有在当前函数操作数栈中的其他元素都会被丢弃。 如果当前返回的是synchronized方法那么还会执行一个隐含的monitorexit指令退出临界区。 最后会丢弃当前方法的整个帧恢复调用者的帧并将控制权转交给调用者。 对应的代码
public int methodReturn(){int i 500;int j 200;int k 50;return (i j) / k;
} 操作数栈管理指令
如同操作一个普通数据结构中的堆栈那样JVM提供的操作数栈管理指令可以用于直接操作操作数栈的指令。
这类指令包括如下内容
将一个或两个元素从栈顶弹出并且直接废弃 poppop2复制栈顶一个或两个数值并将复制值或双份的复制值重新压入栈顶 dup, dup2, dup_x1, dup2_x1, dup_x2, dup2_x2 将栈最顶端的两个Slot数值位置交换 swap。Java虚拟机没有提供交换两个64位数据类型long、double数值的指令。指令nop,是一个非常特殊的指令它的字节码为0x00。和汇编语言中的nop一样它表示什么都不做。这条指令一般可用于调试、占位等。
这些指令属于通用型对栈的压入或者弹出无需指明数据类型。
说明
不带_x的指令是复制栈顶数据并压入栈顶。包括两个指令dup和dup2。dup的系数代表要复制的Slot个数。 dup开头的指令用于复制1个Slot的数据。例如1个int或1个reference类型数据 dup2开头的指令用于复制2个Slot的数据。例如1个long或2个int或1个int1个float类型数据带_x的指令是复制栈顶数据并插入栈顶以下的某个位置。共有4个指令,dup_x1, dup2_x1, dup_x2, dup2_x2。对于带_x的复制插入指令只要将指令的dup和x的系数相加结果即为需要插入的位置。因此 dup_x1插入位置112即栈顶2个Slot下面 dup_x2插入位置123即栈顶3个Slot下面 dup2_x1插入位置213即栈顶3个Slot下面 dup2_x2插入位置224即栈顶4个Slot下面pop将栈顶的1个Slot数值出栈。例如1个short类型数值pop2将栈顶的2个Slot数值出栈。例如1个double类型数值或者2个int类型数值 控制转移指令
程序流程离不开条件控制为了支持条件跳转虚拟机提供了大量字节码指令大体上可以分为 1)比较指令、2)条件跳转指令、3)比较条件跳转指令、4)多条件分支跳转指令、5)无条件跳转指令等。
1-条件跳转指令
条件跳转指令通常和比较指令结合使用。在条件跳转指令执行前一般可以先用比较指令进行栈顶元素的准备然后进行条件跳转。
条件跳转指令有 ifeq, iflt, ifle, ifne, ifgt, ifge, ifnull, ifnonnull。这些指令都接收两个字节的操作数用于计算跳转的位置(16位符号整数作为当前位置的offset)。
它们的统一含义为弹出栈顶元素测试它是否满足某一条件如果满足条件则跳转到给定位置。
具体说明 注
a. 与前面运算规则一致
对于boolean、byte、char、short类型的条件分支比较操作都是使用int类型的比较指令完成对于long、float、double类型的条件分支比较操作则会先执行相应类型的比较运算指令运算指令会返回一个整型值到操作数栈中随后再执行int类型的条件分支比较操作来完成整个分支跳转
b. 由于各类型的比较最终都会转为 int 类型的比较操作所以Java虚拟机提供的int类型的条件分支指令是最为丰富和强大的。 2-比较条件跳转指令
比较条件跳转指令类似于比较指令和条件跳转指令的结合体它将比较和跳转两个步骤合二为一。
这类指令有if_icmpeq、if_icmpne、if_icmplt、if_icmpgt、if_icmple、if_icmpge、if_acmpeq和if_acmpne。其中指令助记符加上“if_”后以字符“i”开头的指令针对int型整数操作(也包括short和byte类型)以字符“a”开头的指令表示对象引用的比较。
具体说明 这些指令都接收两个字节的操作数作为参数用于计算跳转的位置。同时在执行指令时栈顶需要准备两个元素进行比较。指令执行完成后栈顶的这两个元素被清空且没有任何数据入栈。如果预设条件成立则执行跳转否则继续执行下一条语句。 3-多条件分支跳转
多条件分支跳转指令是专为switch-case语句设计的主要有tableswitch和lookupswitch。 从助记符上看两者都是switch语句的实现它们的区别:
tableswitch要求多个条件分支值是连续的它内部只存放起始值和终止值以及若干个跳转偏移量通过给定的操作数index, 可以立即定位到跳转偏移量位置因此效率比较高。指令lookupswitch内部存放着各个离散的case-offset对每次执行都要搜索全部的case-offset对找到匹配的case值并根据对应的offset计算跳转地址因此效率较低。
指令tableswitch的示意图如下图所示。由于tableswitch的case值是连续的因此只需要记录最低值和最高值以及每一项对应的offset偏移量根据给定的index值通过简单的计算即可直接定位到offset。 指令lookupswitch处理的是离散的case值但是出于效率考虑将case-offset对按照case 值大小排序给定index时需要査找与index相等的case,获得其offset,如果找不到则跳转到default。指令lookupswitch 如下图所示。 4-无条件跳转
目前主要的无条件跳转指令为goto。指令goto接收两个字节的操作数共同组成一个带符号的整数用于指定指令的偏移量指令执行的目的就是跳转到偏移量给定的位置处。
如果指令偏移量太大超过双字节的带符号整数的范围则可以使用指令goto_w,它和goto有相同的作用但是它接收4个字节的操作数可以表示更大的地址范围。
指令jsr、jsr_w、ret虽然也是无条件跳转的但主要用于 try-finally语句且已经被虚拟机逐渐废弃故不在这里介绍这两个指令。 异常处理指令
1-抛出异常指令
(1)athrow指令 在Java程序中显示抛出异常的操作throw语句都是由athrow指令来实现。除了使用throw语句显示抛出异常情况之外JVM规范还规定了许多运行时异常会在其他Java虚拟机指令检测到异常状况时自动抛出。例如在之前介绍的整数运算时当除数为零时虚拟机会在 idiv或 ldiv指令中抛出 ArithmeticException异常。
(2)注意 正常情况下操作数栈的压入弹出都是一条条指令完成的。唯一的例外情况是在抛异常时Java 虚拟机会清除操作数栈上的所有内容而后将异常实例压入调用者操作数栈上。
##############
异常及异常的处理 过程一异常对象的生成过程 --- throw (手动 / 自动) --- 指令athrow 过程二异常的处理抓抛模型。 try-catch-finally --- 使用异常表 2-异常处理与异常表
a、处理异常 在Java虚拟机中处理异常catch语句不是由字节码指令来实现的早期使用jsr、ret指令而是采用异常表来完成的。
b、异常表 如果一个方法定义了一个try-catch 或者try-finally的异常处理就会创建一个异常表。它包含了每个异常处理或者finally块的信息。异常表保存了每个异常处理信息。比如
起始位置结束位置程序计数器记录的代码处理的偏移地址被捕获的异常类在常量池中的索引 当一个异常被抛出时JVM会在当前的方法里寻找一个匹配的处理如果没有找到这个方法会强制结束并弹出当前栈帧并且异常会重新抛给上层调用的方法(在调用方法栈帧)。如果在所有栈帧弹出前仍然没有找到合适的异常处理这个线程将终止。如果这个异常在最后一个非守护线程里抛出将会导致JVM自己终止比如这个线程是个main线程。 不管什么时候抛出异常如果异常处理最终匹配了所有异常类型代码就会继续执行。在这种情况下如果方法结束后没有抛出异常仍然执行finally块在return前它直接跳到finally块来完成目标 同步控制指令
组成java虚拟机支持两种同步结构方法级的同步 和 方法内部一段指令序列的同步这两种同步都是使用monitor来支持的。
1-方法级的同步
方法级的同步是隐式的 即无须通过字节码指令来控制它实现在方法调用和返回操作之中。虚拟机可以从方法常量池的方法表结构中的 ACC_SYNCHRONIZED 访问标志得知一个方法是否声明为同步方法
当调用方法时调用指令将会检查方法的ACC_SYNCHRONIZED访问标志是否设置。
如果设置了执行线程将先持有同步锁然后执行方法。最后在方法完成无论是正常完成还是非正常完成时释放同步锁。在方法执行期间执行线程持有了同步锁其他任何线程都无法再获得同一个锁。如果一个同步方法执行期间抛出了异常并且在方法内部无法处理此异常那这个同步方法所持有的锁将在异常抛到同步方法之外时自动释放。
举例
private int i 0;
public synchronized void add(){i;
}
对应的字节码 0 aload_0 1 dup 2 getfield #2 com/atguigu/java1/SynchronizedTest.i 5 iconst_1 6 iadd 7 putfield #2 com/atguigu/java1/SynchronizedTest.i 10 return 说明 这段代码和普通的无同步操作的代码没有什么不同没有使用monitorenter和monitorexit进行同步区控制。这是因为对于同步方法而言当虚拟机通过方法的访问标示符判断是一个同步方法时会自动在方法调用前进行加锁当同步方法执行完毕后不管方法是正常结束还是有异常抛岀均会由虚拟机释放这个锁。因此对于同步方法而言monitorenter 和monitorexit指令是隐式存在的并未直接出现在字节码中。 2-方法内指定指令序列的同步
同步一段指令集序列通常是由java中的synchronized语句块来表示的。jvm的指令集有 monitorenter 和 monitorexit 两条指令来支持 synchronized关键字的语义。
当一个线程进入同步代码块时它使用monitorenter指令请求进入。如果当前对象的监视器计数器为0,则它会被准许进入若为1,则判断持有当前监视器的线程是否为自己如果是则进入否则进行等待直到对象的监视器计数器为0,才会被允许进入同步块。
当线程退岀同步块时需要使用monitorexit声明退出。在Java虚拟机中任何对象都有一个监视器与之相关联用来判断对象是否被锁定当监视器被持有后对象处于锁定状态。
指令monitorenter和monitorexit在执行时都需要在操作数栈顶压入对象,之后monitorenter和monitorexit的锁定和释放都是针对这个对象的监视器进行的。
下图展示了监视器如何保护临界区代码不同时被多个线程访问只有当线程4离开临界区后线程1、2、3才有可能进入。 举例
private int i 0;public void subtract(){synchronized (this){i--;}
}
对应的字节码 0: aload_0 1: dup 2: astore_1 3: monitorenter 4: aload_0 5: dup 6: getfield #2 // Field i:I 9: iconst_1 10: isub 11: putfield #2 // Field i:I 14: aload_1 15: monitorexit 16: goto 24 19: astore_2 20: aload_1 21: monitorexit 22: aload_2 23: athrow 24: return Exception table: from to target type 4 16 19 any 19 22 19 any 编译器必须确保无论方法通过何种方式完成方法中调用过的每条monitorenter指令都必须执行其对应的monitorexit指令而无论这个方法是正常结束还是异常结束。
为了保证在方法异常完成时monitorenter和monitorexit指令依然可以正确配对执行编译器会自动产生一个异常处理器这个异常处理器声明可处理所有的异常它的目的就是用来执行monitorexit指令。
