深入拆解Java虚拟机

开篇词 | 为什么我们要学习Java虚拟机?

郑雨迪

Oracle 高级研究员,计算机博士

前不久我参加了一个国外程序员的讲座,讲座的副标题很有趣,叫做:“我如何学会停止恐惧,并且爱上Java虚拟机”。

这句话来自一部黑色幽默电影《奇爱博士》,电影描述了冷战时期剑拔弩张的氛围。

程序员之间的语言之争又未尝不是如此。写系统语言的鄙视托管语言低下的执行效率;写托管语言的则取笑系统语言需要手动管理内存;写动态语言的不屑于静态语言那冗余的类型系统;写静态语言的则嘲讽动态语言里面各种光怪陆离的运行时错误。

Java作为应用最广的语言,自然吸引了不少的攻击,而身为Java程序员的你,或许在口水战中落了下风,忿忿于没有足够的知识武装自己;又或许想要深入学习Java语言,却又无从下手。甚至是在实践中被Java的启动性能、内存耗费所震惊,因此对Java语言本身产生了种种的怀疑与顾虑。

别担心,我就是来解答你对Java的种种疑虑的。“知其然”也要“知其所以然”,学习Java虚拟机的本质,更多是了解Java程序是如何被执行且优化的。这样一来,你才可以从内部入手,达到高效编程的目的。与此同时,你也可以为学习更深层级、更为核心的Java技术打好基础。

我相信在不少程序员的观念里,Java虚拟机是透明的。在大家看来,我们仅需知道Java核心类库,以及第三方类库里API的用法,便可以专注于实现具体业务,并且依赖Java虚拟机自动执行乃至优化我们的应用程序。那么,我们还需要了解Java虚拟机吗?

我认为是非常有必要的。如果我们把核心类库的API比做数学公式的话,那么Java虚拟机的知识就好比公式的推导过程。掌握数学公式固然可以应付考试,但是了解背后的推导过程更加有助于记忆和理解。并且,在遇到那些没法套公式的情况下,我们也能知道如何解决。

具体来说,了解Java虚拟机有如下(但不限于)好处。

首先,Java虚拟机提供了许多配置参数,用于满足不同应用场景下,对程序性能的需求。学习Java虚拟机,你可以针对自己的应用,最优化匹配运行参数。(你可以用下面这个例子看一下自己虚拟机的参数列表。)

举例来说,macOS上的Java 10共有近千个配置参数:

$ java -XX:+PrintFlagsFinal -XX:+UnlockDiagnosticVMOptions -version | wc -l
java version "10" 2018-03-20
Java(TM) SE Runtime Environment 18.3 (build 10+46)
Java HotSpot(TM) 64-Bit Server VM 18.3 (build 10+46, mixed mode)
     812

其次,Java虚拟机本身是一种工程产品,在实现过程中自然存在不少局限性。学习Java虚拟机,可以更好地规避它在使用中的Bug,也可以更快地识别出Java虚拟机中的错误,

再次,Java虚拟机拥有当前最前沿、最成熟的垃圾回收算法实现,以及即时编译器实现。学习Java虚拟机,我们可以了解背后的设计决策,今后再遇到其他代码托管技术也能触类旁通。

最后,Java虚拟机发展到了今天,已经脱离Java语言,形成了一套相对独立的、高性能的执行方案。除了Java外,Scala、Clojure、Groovy,以及时下热门的Kotlin,这些语言都可以运行在Java虚拟机之上。学习Java虚拟机,便可以了解这些语言的通用机制,甚至于让这些语言共享生态系统。

说起写作这个专栏的初心,与我个人的经历是分不开的,我现在是甲骨文实验室的高级研究员,工作主要是负责研究如何通过程序分析技术以及动态编译技术让程序语言跑得更快。明面上,我是Graal编译器的核心开发者之一,在为HotSpot虚拟机项目拧螺丝。

这里顺便说明一下,Graal编译器是Java 10正式引入的实验性即时编译器,在国内同行口中被戏称为“甲骨文黑科技”。当然,在我看来,我们的工作同样也是分析应用程序的性能瓶颈,寻找优化空间,只不过我们的优化方式对自动化、通用性有更高的要求。

加入甲骨文之前,我在瑞士卢加诺大学攻读博士学位,研究如何更加精准地监控Java程序,以便做出更具针对性的优化。这些研究工作均已发表在程序语言方向的顶级会议上,并获得了不少同行的认可(OOPSLA 2015最佳论文奖)。

在这7年的学习工作生涯中,我拜读过许多大神关于Java虚拟机的技术博客。在受益匪浅的同时,我发觉不少文章的门槛都比较高,而且过分注重实现细节,这并不是大多数的开发人员可以受益的调优方案。这么一来,许多原本对Java虚拟机感兴趣的同学, 也因为过高的门槛,以及短时间内看不到的收益,而放弃了对Java虚拟机的学习。

在收到极客时间的邀请后,我决定也挑战一下Java虚拟机的科普工作。和其他栏目一样,我会用简单通俗的语言,来介绍Java虚拟机的实现。具体到每篇文章,我将采用一个贯穿全文的案例来阐述知识点,并且给出相应的调优建议。在文章的末尾,我还将附上一个动手实践的环节,帮助你巩固对知识点的理解。

整个专栏将分为四大模块。

  1. 基本原理:剖析Java虚拟机的运行机制,逐一介绍Java虚拟机的设计决策以及工程实现;
  2. 高效实现:探索Java编译器,以及内嵌于Java虚拟机中的即时编译器,帮助你更好地理解Java语言特性,继而写出简洁高效的代码;
  3. 代码优化:介绍如何利用工具定位并解决代码中的问题,以及在已有工具不适用的情况下,如何打造专属轮子;
  4. 虚拟机黑科技:介绍甲骨文实验室近年来的前沿工作之一GraalVM。包括如何在JVM上高效运行其他语言;如何混搭这些语言,实现Polyglot;如何将这些语言事前编译(Ahead-Of-Time,AOT)成机器指令,单独运行甚至嵌入至数据库中运行。

我希望借由这四个模块36个案例,帮助你理解Java虚拟机的运行机制,掌握诊断手法和调优方式。最重要的,是激发你学习Java虚拟机乃至其他底层工作、前沿工作的热情。

知识框架图

(点击查看高清大图,iOS用户可长按保存)

教程推荐

Matplotlib在线教程

React Native在线教程

SQLite在线教程

VI/VIM在线教程

Effective Java 第三版在线教程

JavaScript 物联网编程在线教程

随机推荐

屹嘉临YJL-4好不好,入手推荐?真实评测体验曝光!

怡颗莓蓝莓评测结果好吗?良心点测!

特仑苏牛奶乳品用户体验如何?使用体验报告分享?

4DRC遥控车好用吗?内幕评测透露。

艾惟诺婴童护肤性价比如何?3分钟了解评测报告!

艾惟诺婴童护肤可以入手吗?最真实的图文评测分享!