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)


相关推荐

  • (超级详细版)利用ThinkPHP3.2.3+PHPExcel实现将表格数据导入到数据库

    (超级详细版)利用ThinkPHP3.2.3+PHPExcel实现将表格数据导入到数据库

    2021年10月21日
  • 算法的力量

    算法的力量李开复 算法是计算机科学领域最重要的基石之一,但却受到了国内一些程序员的冷落。许多学生看到一些公司在招聘时要求的编程语言五花八门就产生了一种误解,认为学计算机就是学各种编程语言,

    2021年12月26日
  • 图解 Vue 响应式原理

    图解 Vue 响应式原理最近部门分享,有同学提到了Vue响应式原理,大家在讨论时,发现一些同学对这一知识理解还不够深入,不能形成一个闭环,为了帮助大家理解这个问题,我重新过了一下Vue源码,并整理了多张流程图,便于大家理解。Vue初始化模板渲染组件渲染本文Vue源码版本:2.6.11,为了便于理解,均有所删减。本文将从以下两个方面进行探索:从Vue初始化,到首次渲染生成DOM的流程。从Vue数据修改,到页面更新DOM的流程。Vue初始化先从最简单的一段Vue

  • 打包pycharm里的文件_eclipse打包成exe文件

    打包pycharm里的文件_eclipse打包成exe文件前期准备:安装pyinstaller方法一:在PyCharm中打包点击底部的【Terminal】打开终端,输入命令pyinstaller–console–onefile***.py或者输入命令pyinstaller-F-w*.py成功后在工程目录下/dist文件夹中会有打包好的exe文件方法二:在源码所在目录下,进入DOS窗口,输入pyinstaller-F-w*.py-F(注意大写)是所有库文件打包成一个exe,-w是不出黑色控制台窗口。不加-F参.

  • ods mysql_ODS数据抽取平台[通俗易懂]

    ods mysql_ODS数据抽取平台[通俗易懂]一、产品简介ODS数据抽取平台是数据仓库对数据进行精细加工的中间环节,将加工后的数据存储到ODS数据模型中,以便总账,报表,数据仓库使用。将远程网络生产数据库中的数据备份到一台备份机中(防止对生产数据的误操作),然后在可视化的第三方ETL工具中编辑ETL脚本,对备份库中的数据进行精细的加工,ETL脚本可以对网络中的任意一台数据库中任意的一张或多张表进行复杂的计算,然后将计算结果保存到ODS的数据模…

  • c++容器类_类的容器

    c++容器类_类的容器什么是容器首先,我们必须理解一下什么是容器,在C++中容器被定义为:在数据存储上,有一种对象类型,它可以持有其它对象或指向其它对像的指针,这种对象类型就叫做容器。很简单,容器就是保存其它对象的对象,当然这是一个朴素的理解,这种“对象”还包含了一系列处理“其它对象”的方法,因为这些方法在程序的设计上会经常被用到,所以容器也体现了一个好处,就是“容器类是一种对特定代码重用问题的良好的解决方案”

发表回复

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

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