作为 Java 工程师的你曾被伤害过吗?你是否也遇到过这些问题?
运行着的线上系统突然卡死,系统无法访问,甚至直接 OOM !
大部分 Java 开发人员,除会在项目中使用到与 Java 平台相关的各种高精尖技术,对于 Java 技术的核心 Java 虚拟机了解甚少。
一些有一定工作经验的开发人员,打心眼儿里觉得 SSM 、微服务等上层技术才是重点,基础技术并不重要,这其实是一种本末倒置的“病态”。如果我们把核心类库的 API 比做数学公式的话,那么 Java 虚拟机的知识就好比公式的推导过程。
计算机系统体系对我们来说越来越远,在不了解底层实现方式的前提下,通过高级语言很容易编写程序代码。但事实上计算机并不认识高级语言,通过机器指令
进行识别。
架构师每天都在思考什么?
知乎上有条帖子:应该如何看招聘信息,直通年薪50万+?
为什么要学习 JVM
面试的需要(BATJ、TMD,PKQ等面试都爱问)
中高级程序员
追求极客的精神
垃圾收集机制为我们打理了很多繁琐的工作,大大提高了开发的效率,但是,垃圾收集也不是万能的,懂得 JVM内部的内存结构、工作机制,是设计高扩展性应用和诊断运行时问题的基础,也是 Java 工程师进阶的必备能力
C 语言需要自己来分配内存和回收内存,Java 全部交给 JVM 进行分配和回收。
Java 是目前应用最为广泛的软件开发平台之一。随着 Java 以及 Java 社区的不断壮大 Java 也早已不再是简简单单的一门计算机语言了,它更是一个平台、一种文化、一个社区。
每个语言都需要转换成字节码文件,最后转换的字节码文件都能通过 Java 虚拟机进行运行和处理。
随着 Java 7 的正式发布,Java 虚拟机的设计者们通过 JSR-292 规范基本实现在 Java 虚拟机平台上运行非 Java语言编写的程序
。
Java 虚拟机根本不关心运行在其内部的程序到底是使用何种编程语言编写的,它只关心“字节码”文件
。也就是说 Java 虚拟机拥有语言无关性,并不会单纯地与 Java 语言“终身绑定”,只要其他编程语言的编译结果满足并包含 Java 虚拟机的内部指令集、符号表以及其他的辅助信息,它就是一个有效的字节码文件,就能够被虚拟机所识别并装载运行。
我们平时说的 Java 字节码,指的是用 Java 语言编译成的字节码。准确的说任何能在 JVM 平台上执行的字节码格式都是一样的。所以应该统称为:JVM 字节码
。
不同的编译器,可以编译出相同的字节码文件,字节码文件也可以在不同的 JVM 上运行。
Java 虚拟机与 Java 语言并没有必然的联系,它只与特定的二进制文件格式— Class 文件格式所关联,Class 文件中包含了 Java 虚拟机指令集(或者称为字节码、Bytecodes)和符号表,还有一些其他辅助信息。
Java 平台上的多语言混合编程正成为主流,通过特定领域的语言去解决特定领域的问题是当前软件开发应对日趋复杂的项目需求的一个方向。
试想一下,在一个项目之中,并行处理用 Clojure 语言编写,展示层使用 JRuby/Rails ,中间层则是 Java ,每个应用层都将使用不同的编程语言来完成,而且,接口对每一层的开发者都是透明的,各种语言之间的交互不存在任何困难,就像使用自己语言的原生 API 一样方便,因为它们最终都运行在一个虚拟机之上。
对这些运行于 Java 虚拟机之上、Java 之外的语言,来自系统级的、底层的支持正在迅速增强,以 JSR-292 为核心的一系列项目和功能改进(如 Da Vinci Machine 项目、Nashorn 引擎、InvokeDynamic 指令、java.lang.invoke 包等),推动 Java 虚拟机从“Java 语言的虚拟机”向 “多语言虚拟机”的方向发展。
Java HotSpot Virtual Machine 正式发布,成为 Java 的默认虚拟机
。Java 平台的 Scala 正式发布,同年 Groovy 也加入了 Java 阵营
。Java 开源并建立了 OpenJDK
。顺理成章,HotSpot 虚拟机也成为了OpenJDK 中的默认虚拟机
。Java 平台迎来了新伙伴 Clojure
。得到了 JRockit 虚拟机
。获得 Java 商标和最真价值的 HotSpot 虚拟机
。此时,Oracle 拥有市场占用率最高的两款虚拟机 HotSpot 和 JRockit,并计划在未来对它们进行整合:HotRockit正式启用了新的垃圾回收器 G1
。将 G1 设置为默认 GC,替代 CMS
发布革命性的 ZGC,调整 JDK 授权许可
Shenandoah GC
在 JDK 11 之前,OracleJDK 中还会存在一些 OpenJDK 中没有的、闭源的功能。但在 JDK 11 中,我们可以认为 OpenJDK 和 OracleJDK 代码实质上已经完全一致的程度。
所谓虚拟机(Virtual Machine),就是一台虚拟的计算机。它是一款软件,用来执行一系列虚拟计算机指令。大体上,虚拟机可以分为系统虚拟机和程序虚拟机
。
完全是对物理计算机的仿真
,提供了一个可运行完整操作系统的软件平台。专门为执行单个计算机程序而设计
,在 Java 虚拟机中执行的指令我们称为 Java 字节码指令。无论是系统虚拟机还是程序虚拟机,在上面运行的软件都被限制于虚拟机提供的资源中。
Java 虚拟机是一台执行 Java 字节码的虚拟计算机,它拥有独立的运行机制,其运行的 Java 字节码也未必由 Java 语言编译而成。
JVM 平台的各种语言可以共享 Java 虚拟机带来的跨平台性、优秀的垃圾回器,以及可靠的即时编译器。
Java 技术的核心就是 Java 虚拟机
(JVM,Java Virtual Machine),因为所有的 Java 程序都运行在 Java 虚拟机内部。
作用:
Java 虚拟机就是二进制字节码的运行环境
,负责装载字节码到其内部,解释/编译为对应平台上的机器指令执行。每一条 Java 指令,Java 虚拟机规范中都有详细定义,如怎么取操作数,怎么处理操作数,处理结果放在哪里。
特点:
HotSpot VM
是目前市面上高性能虚拟机的代表作之一。它采用解释器与即时编译器并存的架构
。
只是能生成被 Java 虚拟机所能解释的字节码文件,那么理论上就可以自己设计一套代码了。
Java 编译器输入的指令流基本上是一种基于栈的指令集架构
,另外一种指令集架构则是基于寄存器的指令集架构
。具体来说:这两种架构之间的区别:
基于栈式架构的特点:
零地址指令
,其执行过程依赖于操作栈
。指令集更小,编译器容易实现。可移植性更好
,更好实现跨平台基于寄存器架构的特点
完全依赖硬件
,可移植性差
一地址指令、二地址指令和三地址指令为主
,而基于栈式架构的指令集却是以零地址指令为主同样执行2+3这种逻辑操作,其指令分别如下:
基于栈的计算流程(以Java虚拟机为例):
iconst_2 // 常量2入栈
istore_1
iconst_3 // 常量3入栈
istore_2
iload_1
iload_2
iadd //常量2/3出栈,执行相加
istore_0 // 结果5入栈
而基于寄存器的计算流程
mov eax,2 //将eax寄存器的值设为1
add eax,3 //使eax寄存器的值加3
我们编写一个简单的代码,然后查看一下字节码的反编译后的结果
public class StackStruTest {
public static void main(String[] args) {
int i = 2 + 3;
}
}
然后我们找到编译后的 class 文件,使用下列命令进行反编译
javap -v(verbose) StackStruTest.class
得到的文件为:
public static void main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)V
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=4, args_size=1
0: iconst_2
1: istore_1
2: iconst_3
3: istore_2
4: iload_1
5: iload_2
6: iadd
7: istore_3
8: return
LineNumberTable:
line 9: 0
line 10: 2
line 11: 4
line 12: 8
LocalVariableTable:
Start Length Slot Name Signature
0 9 0 args [Ljava/lang/String;
2 7 1 i I
4 5 2 j I
8 1 3 k I
总结
由于跨平台性的设计,Java 的指令都是根据栈来设计的
。不同平台 CPU 架构不同,所以不能设计为基于寄存器的。优点是跨平台,指令集小,编译器容易实现,缺点是性能下降,实现同样的功能需要更多的指令。
时至今日,尽管嵌入式平台已经不是 Java 程序的主流运行平台了(准确来说应该是 HotSpotVM 的宿主环境已经不局限于嵌入式平台了),那么为什么不将架构更换为基于寄存器的架构呢?
Java 虚拟机的启动是通过引导类加载器(bootstrap class loader)创建一个初始类(initial class)来完成的,这个类是由虚拟机的具体实现指定的。
一个运行中的 Java 虚拟机有着一个清晰的任务:执行 Java 程序。
程序开始执行时他才运行,程序结束时他就停止。
执行一个所谓的 Java 程序的时候,真真正正在执行的是一个叫做 Java 虚拟机的进程
。
有如下的几种情况:
Runtime 类
或 System 类的 exit 方法
,或 Runtime 类的 halt 方法,并且 Java 安全管理器也允许这次 exit 或 halt 操作。JNI(Java Native Interface)
规范描述了用 JNI Invocation API 来加载或卸载 Java 虚拟机时,Java 虚拟机的退出情况。早在1996年 Java1.0 版本的时候,Sun 公司发布了一款名为 Sun Classic VM 的 Java 虚拟机,它同时也是世界上第一款商用 Java 虚拟机
,JDK 1.4 时完全被淘汰。
这款虚拟机内部只提供解释器。现在还有及时编译器,因此效率比较低,而及时编译器会把热点代码缓存起来,那么以后使用热点代码的时候,效率就比较高。
如果使用 JIT 编译器,就需要进行外挂。但是一旦使用了 JIT 编译器,JIT 就会接管虚拟机的执行系统。解释器就不再工作。解释器和编译器不能配合工作。
现在 HotSpot 内置了此虚拟机。
为了解决上一个虚拟机问题,JDK 1.2 时,Sun 提供了此虚拟机。 Exact Memory Management:准确式内存管理
具备现代高性能虚拟机的维形
只在 Solaris 平台短暂使用,其他平台上还是 Classic VM,
HotSpot 历史
目前 HotSpot 占有绝对的市场地位,称霸武林。
默认介绍的虚拟机都是 HotSpot
,相关机制也主要是指 HotSpot 的 GC 机制。(比如其他两个商用虚机都没有方法区的概念)从服务器、桌面到移动端、嵌入式都有应用。
名称中的 HotSpot 指的就是它的热点代码探测技术。
专注于服务器端应用
大量的行业基准测试显示,JRockit JVM 是世界上最快的 JVM
。
优势:全面的 Java 运行时解决方案组合
2008年,JRockit 被 Oracle 收购。
Oracle 表达了整合两大优秀虚拟机的工作,大致在 JDK 8 中完成。整合的方式是在 HotSpot 的基础上,移植JRockit 的优秀特性。
高斯林:目前就职于谷歌,研究人工智能和水下机器人
全称:IBM Technology for Java Virtual Machine,简称 IT4J,内部代号:J9
市场定位与 HotSpot 接近,服务器端、桌面应用、嵌入式等多用途 VM
广泛用于 IBM 的各种 Java 产品。
目前,有影响力的三大商用虚拟机之一,也号称是世界上最快的 Java 虚拟机。
2017年左右,IBM 发布了开源 J9 VM,命名为 OpenJ9,交给 EClipse 基金会管理,也称为 Eclipse OpenJ9
OpenJDK -> 是 JDK 开源了,包括了虚拟机。
Oracle 在 Java ME 产品线上的两款虚拟机为:CDC/CLDC HotSpot Implementation VM KVM(Kilobyte)是 CLDC-HI 早期产品目前移动领域地位尴尬,智能机被 Angroid 和 IOS 二分天下。
KVM 简单、轻量、高度可移植,面向更低端的设备上还维持自己的一片市场
所有的虚拟机的原则:一次编译,到处运行
前面三大“高性能 Java 虚拟机”使用在通用硬件平台上这里 Azul VW 和 BEALiquid VM 是与特定硬件平台绑定、软硬件配合的专有虚拟机
Azul VM 是 Azul Systems 公司在 HotSpot 基础上进行大量改进,运行于 Azul Systems 公司的专有硬件 Vega系统上的 Java 虚拟机。
每个 Azul VM 实例都可以管理至少数十个 CPU 和数百GB内存的硬件资源,并提供在巨大内存范围内实现可控的 GC 时间的垃圾收集器、专有硬件优化的线程调度等优秀特性。
2010年,Azul Systems 公司开始从硬件转向软件,发布了自己的 Zing JVM,可以在通用 x86 平台上提供接近于 Vega 系统的特性。
高性能 Java 虚拟机中的战斗机。
BEA 公司开发的,直接运行在自家 Hypervisor 系统上
Liquid VM 即是现在的 JRockit VE(Virtual Edition),Liquid VM 不需要操作系统的支持,或者说它自己本身实现了一个专用操作系统的必要功能,如线程调度、文件系统、网络支持等。
随着 JRockit 虚拟机终止开发,Liquid VM 项目也停止了。
Apache 也曾经推出过与 JDK 1.5 和 JDK 1.6 兼容的 Java 运行平台 Apache Harmony。
它是 IBM 和 Intel 联合开发的开源 JVM,受到同样开源的 OpenJDK 的压制,Sun 坚决不让 Harmony 获得 JCP 认证,最终于2011年退役,IBM 转而参与 OpenJDK
虽然目前并没有 Apache Harmony 被大规模商用的案例,但是它的 Java 类库代码吸纳进了 Android SDK。
微软为了在 IE3 浏览器中支持 Java Applets,开发了 Microsoft JVM。
只能在 Windows 平台下运行。但确是当时 Windows 下性能最好的 Java VM。
1997年,Sun 以侵犯商标、不正当竞争罪名指控微软成功,赔了 Sun 很多钱。微软 Windows XP SP3 中抹掉了其 VM。现在 Windows 上安装的 JDK 都是 HotSpot。
由 AliJVM 团队发布。阿里,国内使用 Java 最强大的公司,覆盖云计算、金融、物流、电商等众多领域,需要解决高并发、高可用、分布式的复合问题。有大量的开源产品。
基于 OpenJDK 开发了自己的定制版本 AlibabaJDK
,简称 AJDK。是整个阿里 Java 体系的基石。
基于 OpenJDK HotSpot VM 发布的国内第一个优化、深度定制且开源的高性能服务器版 Java 虚拟机。
即将生命周期较长的 Java 对象从 Heap 中移到Heap 之外,并且 GC 不能管理 GCIH 内部的 Java 对象,以此达到降低 GC 的回收频率和提升 GC 的回收效率的目的
。对象还能够在多个 Java 虚拟机进程中实现共享
TaoBao VM 应用在阿里产品上性能高,硬件严重依赖 Intel 的 CPU,损失了兼容性,但提高了性能
谷歌开发的,应用于 Android 系统,并在 Android 2.2 中提供了 JIT,发展迅猛。
Dalvik 只能称作虚拟机,而不能称作“Java 虚拟机”,它没有遵循 Java 虚拟机规范
不能直接执行 Java 的 Class 文件
基于寄存器架构,不是 JVM 的栈架构。
执行的是编译以后的 dex(Dalvik Executable)文件。执行效率比较高。
Android 5.0 使用支持提前编译(Ahead of Time Compilation,AoT)的 ART VM 替换 Dalvik VM。
2018年4月,Oracle Labs 公开了 Graal VM,号称 “Run Programs Faster Anywhere”,勃勃野心。与1995年Java 的”write once,run anywhere"遥相呼应。
Graal VM 在 HotSpot VM 基础上增强而成的跨语言全栈虚拟机,可以作为“任何语言” 的运行平台使用。语言包括:Java、Scala、Groovy、Kotlin;C、C++、Javascript、Ruby、Python、R
等
支持不同语言中混用对方的接口和对象,支持这些语言使用已经编写好的本地库文件
工作原理是将这些语言的源代码或源代码编译后的中间格式,通过解释器转换为能被 Graal VM 接受的中间表示。Graal VM 提供 Truffle 工具集快速构建面向一种新语言的解释器。在运行时还能进行即时编译优化,获得比原生编译器更优秀的执行效率。
如果说 HotSpot 有一天真的被取代,Graal VM 希望最大。但是 Java 的软件生态没有丝毫变化。
具体 JVM 的内存结构,其实取决于其实现,不同厂商的 JVM,或者同一厂商发布的不同版本,都有可能存在一定差异。主要以 Oracle HotSpot VM 为默认虚拟机
。