Java代码是怎么运行的「建议收藏」

Java代码是怎么运行的「建议收藏」Java代码有很多运行方式。在开发工具中运行双击jar文件运行在命令行中运行在网页中运行当然,上述运行方式都离不开JRE, 也就是Java运行时环境。JRE仅包含Java程序的必须组件,包括Java虚拟机以及Java核心类库…

大家好,又见面了,我是你们的朋友全栈君。

Java代码有很多运行方式。

  1. 在开发工具中运行
  2. 双击jar文件运行
  3. 在命令行中运行
  4. 在网页中运行

当然,上述运行方式都离不开JRE, 也就是Java运行时环境。

JRE仅包含Java程序的必须组件,包括Java虚拟机以及Java核心类库等。

而我们Java程序员经常接触到的JDK(Java开发工具包)同样包含了JRE, 并且还附带了一系列开发、诊断工具。

然而,运行C++程序则无需额外的运行时环境,C++编译器往往把C++代码编译成CPU能够理解的机器码。

那么,既然C++的运行方式如此成熟,我们为什么要在JVM里运行Java代码呢?

为什么Java要在虚拟机里运行?

Java作为一门高级程序语言,它的语法复杂,抽象程度也很高。因此在硬件上运行Java代码并不现实,所以运行Java程序之前,我们需要对其进行一番转换。

当前进行转换的主要思路是:设计一个面向Java语言特性的虚拟机,并通过编译器将Java程序转换层该虚拟机所能识别的指令序列(Java字节码)。之所以这么取名,是因为Java字节码指令的操作码被固定成一个字节。

Java虚拟机可以由硬件实现

https://en.wikipedia.org/wiki/Java_processor

当然,更多时候还是在各个现有平台(Windows_x64,Linux_aarch64)上提供软件实现。这么做的目的在于,一旦一个程序被编译成Java字节码,那么它变可以在不同平台上的虚拟机实现里运行。这也就是平时我们所说的Java的跨平台特性。

虚拟机的另外一个好处是它带来了一个托管环境(Managed Runtime)。这个托管环境能够代替我们处理一些代码中冗长而且容易出错的部分。其中最广为人知的当属自动内存管理与垃圾回收,这部分内容甚至催生了一波垃圾回收调优的业务。

除此之外,托管环境还提供了诸如数组越界,动态类型、安全权限等等的动态监测,使我们免于书写这些无关业务逻辑的代码。

Java虚拟机具体是怎么运行Java字节码的?

以标准JDK中的HotSpot虚拟机为例,从虚拟机和底层硬件两个角度,剖析该问题。

从虚拟机的角度来看,执行Java代码首先需要将它编译而成的class文件加载到Java虚拟机中。加载后的Java类会被存放于方法区(Method Area)中。实际运行时,虚拟机会执行方法区内的代码。

如果你熟悉X86的话,你会发现这和段式存储管理中的代码段类似。而且,Java虚拟机同样也会在内存中划分出堆和栈来存储运行时的数据。不同的是,Java虚拟机会将栈细分为面向Java方法的Java方法栈面向本地方法(用C++写的native方法)的本地方法栈,以及存放各个线程执行位置的PC寄存器

Java代码是怎么运行的「建议收藏」

 

在运行过程中,每当调用进入一个Java方法,Java虚拟机会在当前线程的Java方法栈中生成一个栈帧,用以存放局部变量以及字节码的操作数。这个栈帧的大小是提前计算好的,而且Java虚拟机不要求栈帧在内存空间里连续分布。

当退出当前执行的方法时,不管是正常返回还是异常返回,Java虚拟机均会弹出当前线程的栈帧,并将之舍弃。

在HotSpot里面,上述翻译过程有两种形式

  1. 解释执行,即逐条将字节码翻译成机器码并执行。
  2. 即时编译(Just-In-Time compilation, JIT), 即将一个方法中包含的所有字节码编译成机器码后再执行。

Java代码是怎么运行的「建议收藏」

前者的优势是无需等待编译,而后者的优势在于实际的运行速度更快。

HotSpot默认采用混合模式,综合了解释执行和即时编译两者的优点。

它会首先解释字节码。然后将其中反复执行的热点代码,以方法为单位即时编译

Java虚拟机的运行效率究竟是怎么样的?

HotSpot采用了多种技术来提升峰值性能,上文提到的即时编译技术便是其中最重要的技术之一。

即时编译建立在程序符合二八定律的假设上。

二八定律:20%的代码占用了程序执行过程中80%的资源。

对于占据大部分的不常用的代码,我们无需耗费时间将其编译成机器码,而是采用解释执行的方式。

另一方面,对于仅占据小部分的热点代码,我们则可以将其编译成机器码,打到理想的运行速度。

理论上讲,即时编译后的Java程序的执行效率,是可以超过C++程序的。这是因为与静态编译相比,即时编译拥有程序的运行时信息,并且能够根据这个信息做出相应的优化。(实际上,编译时会插入一些有关jvm的代码)

举个例子,我们知道虚方法是用来实现面向对象语言多态性的。对于一个虚方法调用,尽管它有很多个目标方法,但在实际运行过程中他可能只调用了其中的一个,这个信息便可以被即时编译器所利用,来规避虚方法调用的开销从而达到比静态编译的C++程序更高的性能。

为了满足不同用户场景的需要,HotSpot内置了多个即时编译器:C1、C2和Graal。 Graal是Java 10正式引入的实验性即时编译器。

之所以引入多个即时编译器,是为了在编译时间和生成代码的执行效率之间做取舍。 C1又叫做Client编译器,面向的是对启动性能有要求的客户端GUI程序,采用的优化手段相对简单,因此编译时间较短。C2又叫做Server编译器,面向的是对峰值性能有要求的服务端程序,采用的优化手段相对复杂,因此编译时间较长,但同时生成代码的执行效率较高。

从Java 7开始,HotSpot默认采用分层编译的方式:热点方法首先被C1编译,而后热点方法中的热点会进一步被C2编译。

为了不干扰应用的正常运行,HotSpot的即时编译是放在额外的编译线程中进行的。HotSpot会根据CPU的数量设置编译线程的数目,并且按1:2的比例配置给C1及C2编译器。

在计算资源充足的情况下,字节码的解释执行和即时编译可同时进行。编译完成后的机器码后再下次调用时启用,以替换原本的解释执行。

我们来完成老师布置的作业:了解Java语言和Java虚拟机看待boolean类型的方式是否不同。

首先,撰写代码Foo.java


 
 
 
  1. public class Foo {
  2. public static void main(String[] args){
  3. boolean flag = true;
  4. if(flag)
  5. System.out.println( "Hello, Java!!");
  6. if(flag == true)
  7. System.out.println( "Hello, JVM!!!");
  8. }
  9. }

 
 
 
  1. javac Foo.java
  2. java Foo

显然,它的执行结果是:

Hello, Java!!
Hello, JVM!!!

我们使用asmtools.jar对其进行反汇编(此命令JDK7无法运行, 需要升级到JDK8)

下载地址:https://download.csdn.net/download/ti_an_di/10555815

java -cp ./asmtools.jar org.openjdk.asmtools.jdis.Main Foo.class > Foo.jasm.1
 
 
 

我们得到它的反汇编代码(在Foo.jasm.1 中)


  1. super public class Foo
  2. version 52:0
  3. {
  4. public Method "<init>": "()V"
  5. stack 1 locals 1
  6. {
  7. aload_0;
  8. invokespecial Method java/lang/Object. "<init>": "()V";
  9. return;
  10. }
  11. public static Method main: "([Ljava/lang/String;)V"
  12. stack 2 locals 2
  13. {
  14. iconst_1; //看这里
  15. istore_1;
  16. iload_1;
  17. ifeq L14;
  18. getstatic Field java/lang/System.out: "Ljava/io/PrintStream;";
  19. ldc String "Hello, Java!!";
  20. invokevirtual Method java/io/PrintStream.println: "(Ljava/lang/String;)V";
  21. L14: stack_frame_type append;
  22. locals_map int;
  23. iload_1;
  24. iconst_1;
  25. if_icmpne L27;
  26. getstatic Field java/lang/System.out: "Ljava/io/PrintStream;";
  27. ldc String "Hello, JVM!!!";
  28. invokevirtual Method java/io/PrintStream.println: "(Ljava/lang/String;)V";
  29. L27: stack_frame_type same;
  30. return;
  31. }
  32. } // end Class Foo

在运行指令

awk 'NR==1,/iconst_1/{sub(/iconst_1/, "iconst_2")} 1' Foo.jasm.1 > Foo.jasm

其作用是将Foo.jasm.1文件中第一个iconst_1 替换为iconst_2, 输出到文件Foo.jasm中


  1. super public class Foo
  2. version 52: 0
  3. {
  4. public Method "<init>": "()V"
  5. stack 1 locals 1
  6. {
  7. aload_0;
  8. invokespecial Method java/lang/Object. "<init>": "()V";
  9. return;
  10. }
  11. public static Method main: "([Ljava/lang/String;)V"
  12. stack 2 locals 2
  13. {
  14. iconst_2; //看这里
  15. istore_1;
  16. iload_1;
  17. ifeq L14;
  18. getstatic Field java/lang/System. out: "Ljava/io/PrintStream;";
  19. ldc String "Hello, Java!!";
  20. invokevirtual Method java/io/PrintStream.println: "(Ljava/lang/String;)V";
  21. L14: stack_frame_type append;
  22. locals_map int;
  23. iload_1;
  24. iconst_1;
  25. if_icmpne L27;
  26. getstatic Field java/lang/System. out: "Ljava/io/PrintStream;";
  27. ldc String "Hello, JVM!!!";
  28. invokevirtual Method java/io/PrintStream.println: "(Ljava/lang/String;)V";
  29. L27: stack_frame_type same;
  30. return;
  31. }
  32. } // end Class Foo

我们现在将flag的值由1改为了2, 将修改后的代码汇编到Foo.class文件中

java -cp ./asmtools.jar org.openjdk.asmtools.jasm.Main Foo.jasm

再次运行Foo类


  1. java Foo
  2. Hello, Java!!

可见JVM将true视为1, 不等于修改为2的flag,使用if_icmpne指令判断他们不相等,直接跳到L27执行,所以Hello, JVM!!!不会输出。而第一次判断是使用ifeq判断flag的值是否为0,所以Hello,Java!!会输出。

此文从极客时间专栏《深入理解Java虚拟机》搬运而来,撰写此文的目的:

  1. 对自己的学习总结归纳

  2. 此篇文章对想深入理解Java虚拟机的人来说是非常不错的文章,希望大家支持一下郑老师。

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/156796.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)
blank

相关推荐

  • webpack配置文件_reconfig

    webpack配置文件_reconfig前言上一篇文章我们使用webpack打包成功了,但是每次都要自己手动输入打包的文件地址和打包到哪里去的地址,非常麻烦,所以这里介绍使用配置文件进行打包webpack.config.js首先我们创

  • 代码主题darcula_如何在带有Darcula主题的黑暗模式下使用NetBeans「建议收藏」

    代码主题darcula_如何在带有Darcula主题的黑暗模式下使用NetBeans「建议收藏」本文概述默认情况下,NetBeans仅为代码编辑器提供一个深色高亮主题,没有什么令人愉快的”城市之光”:如你所见,它仍然使用NetBeans的默认light主题,简直太可怕了。在本文中,我们将向你展示如何为NetBeans安装和使用最佳的深色主题之一,类似于PHPStorm的深色主题。1.下载DarculaLAF(Look&Feel)对于NetBeans,最好的深色主题是Dar…

  • 0xc0000225无法进系统_电脑无法启动,出现0xc0000225一到错误,该怎样解决!

    0xc0000225无法进系统_电脑无法启动,出现0xc0000225一到错误,该怎样解决!展开全部根据系统提示是引导选择失败,因为需要的设备不可访问。由此可知,可e69da5e887aa3231313335323631343130323136353331333363386666能是硬盘或者引导有故障。可依照以下步骤进行一一排查并修复。第一步,制作一个U盘启动盘,1、事先准备4G以上U盘一个,网上下载pe软件(譬如大白菜、u当家、老毛桃等等)程序。2、首先要把U盘制成pe启动盘,百度搜索…

  • JS 匿名函数——几种不同的调用方式[通俗易懂]

    JS 匿名函数——几种不同的调用方式[通俗易懂]匿名函数有两种用法: 1.赋值 vara=function(){}; 2.自我执行这里我总结了4种匿名函数调用方法: //1. functionshow(){ document.write(‘nihao’); } show(); //2. (function(){ document.write(‘wohao’); })();…

  • redis 乐观锁_什么时候用乐观锁

    redis 乐观锁_什么时候用乐观锁文章目录GeospatialHyperloglogBitmapsRedis事务悲观锁和乐观锁JedisSpringboot继承RedisGeospatial存储地理位置的数据结构应用场景朋友的定位,附近的人,打车距离计算Geospatial底层使用的是Zset127.0.0.1:6379> geoadd city 116.23 40.22 beijing 添加一个数据127.0.0.1:6379> geoadd city 121.47 31.23 shanghai 118.77

  • 树莓派python编程指南_树莓派python软件

    树莓派python编程指南_树莓派python软件一:格式化SD卡SD卡插入读卡器连接电脑,使用SDFormatter对SD卡进行格式化(重装烧录也要进行着SD卡格式化操作)二:下载官方镜像http://downloads.raspberrypi.org/raspbian_latest三:烧录SD卡使用Win32DiskImager将镜像烧录到格式化后的SD卡SD卡盘根目录(/boot)下新建一个命名为ssh的…

    2022年10月15日

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号