Java 与 C/C++ 的编译器对比

前言

这两天重温了周志明的《深入理解Java虚拟机》第2版,发现第11章第4节关于 Java 编译器的内容写得太棒了~本文完全摘自《深入理解Java虚拟机》第2版 0_o

Java 与 C/C++ 编译器

大多数程序员都认为C/C++会比Java语言快,甚至觉得从Java语言诞生以来“执行速度缓慢”的帽子就应当扣在它的头顶,这种观点的出现是由于Java刚出现的时候即时编译技术还不成熟,主要靠解释器执行的Java语言性能确实比较低下。但目前即时编译技术已经十分成熟,Java语言有可能在速度上与C/C++一争高下吗?要想知道这个问题的答案,让我们从两者的编译器谈起。

Java与C/C++的编译器对比,实际上代表了最经典的即时编译器静态编译器的对比,很大程度上也决定了Java与C/C++的性能对比结果,因为无论是C/C++还是Java代码,最终编译之后被机器执行的都是本地机器码,哪种语言的性能更高,除了它们自身的API库实现地好坏之外,其余的比较就成了一场拼编译器的游戏。当然,这种比较也是剔除了开发效率的片面对比,语言孰优孰劣、谁快谁慢的问题都是很难有结果的争论,下面我们就回到正题,看看这两种语言的编译器各有何优势。

Java 编译器“劣势”的原因

Java虚拟机的即时编译器与C/C++的静态优化编译器相比,可能会由于下列原因,而导致输出的本地代码有一些劣势(下面列举的也包括一些虚拟机执行子系统的性能劣势):

第一,因为即时编译器运行占用的是用户程序的运行时间,具有很大的时间压力,它能提供的优化手段也严重受制于编译成本。如果编译速度达不到要求,那用户将在启动程序或程序的某部分察觉到重大延迟,这点使得即时编译器不敢随便引入大规模的优化技术,而编译的时间成本在静态优化编译器中并不是主要的关注点。

第二,Java语言是动态的类型安全语言,这就意味着需要由虚拟机来确保程序不会违反语言语义或访问非结构化内存。从实现层面上看,这就意味着虚拟机必须频繁地进行动态检查,如实例方法访问时检查空指针、数组元素访问时检查上下界范围、类型转换时检查继承关系等。对于这类程序代码没有明确写出的检查行为,尽管编译器会努力进行优化,但是总体上仍然要消耗不少的运行时间。

第三,Java语言中虽然没有virtual关键字,但是使用虚方法的频率却远远大于C/C++语言,这意味着运行时对方法接收者进行多态选择的频率要远远大于C/C++语言,也意味着即时编译器在进行一些优化(如方法内联)时的难度要远远大于C/C++的静态优化编译器。

第四,Java语言是可以动态扩展的语言,运行时加载新的类可能改变程序类型的继承关系,这使得很多全局的优化难以进行,因为编译器无法看清程序的全貌,许多全局的优化都只能以激进优化的方式来完成,编译器不得不时刻注意并随着类型的变化而在运行时撤销或重新进行一些优化。

第五,Java语言的对象内存是在堆上,只有方法的局部变量才能在栈上分配,而C/C++的对象则有多重内存分配方式,既可能在堆上分配,又可能在栈上分配,如果可以在栈上分配线程私有的对象,将减轻内存回收的压力。另外,C/C++中主要由用户用程序代码来回收分配的内存,这就不存在无用对象筛选的过程,因此效率上(仅是运行效率,排除开发效率)也比Java的垃圾收集机制要高。

Java 编译器的“优势”

上面所了一堆Java语言在性能上的劣势,这些都是为了换取「开发效率」上的优势而付出的代价,动态安全、动态扩展、垃圾回收这些“拖后腿”的特性,都为Java语言的开发效率做出了很大贡献。

何况,还有许多优化是Java的即时编译器能做,而C/C++的静态优化编译器不能做或者不好做的。例如,在C/C++中,别名分析(Alias Analysis)的难度就要远远高于Java。Java的类型安全保证了在类似如下代码中,只要ClassA和ClassB没有继承关系,那对象objA和objB就绝不可能是同一个对象,即不会是同一块内存两个不同别名。

void foo(ClassA objA, ClassB objB) {
    objA.x = 123;
    objB.y = 456;
    // 只要objB.y不是objA.x的别名,下面就可以保证输出为123
    print(objA.x);
}

确定了objA和objB并非对方的别名后,许多与数据依赖相关的优化才可以进行(重排序、变量替换)。具体到这个例子中,就是无需担心objB.y与objA.x指向同一块内存,这样就可以安全地确定打印语句中的objA.x为123。

Java编译器另外一个红利是由它的动态性所带来的,由于C/C++编译器所有优化都在编译期完成,以运行期性能监控为基础的优化措施它都无法进行,如:

  1. 调用频率预测:Call Frequency Prediction
  2. 分支频率预测:Branch Frequency Prediction
  3. 裁剪未被选择的分支:UNtaken Branch Pruning

这些都是Java语言独有的性能优势。

总结

随着Java JIT编译技术的发展,Java的运行速度已经足够快。Java能够在运行时动态加载类(可以从zip包、网络、运行时计算、其他文件生成),C/C++则完全做不到这一点。总的来说,Java的动态安全、动态扩展、垃圾回收等特性,使得开发效率很高,并且足够灵活;同时随着编译技术的不断发展,性能的劣势正在逐渐减小。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏java一日一条

编写高质量代码的思考

最近在看《代码大全》,可以说是一本软件开发的百科全书,特别厚,但是干货也很多。平时写代码,代码规范是一个最低的要求(很多老代码连最低要求都达不到),为什么要这样...

942
来自专栏Java技术栈

6 道 BATJ 必考的 Java 面试题

请对比 Exception 和 Error,另外,运行时异常与一般异常有什么区别?

1041
来自专栏架构师之旅

轻松学习设计模式之面向对象的设计原则

对于面向对象软件系统的设计而言,在支持可维护性的同时,提高系统的可复用性是一个至关重要的问题,如何同时提高一个软件系统的可维护性和可复用性是面向对象设计需要解决...

913
来自专栏ThoughtWorks

语言设计中的鸭子类型风格

image.png #思特沃克好声音# (图片:网络) 在动态语言的世界里一直流传着一种叫做鸭子类型的风格,其来自谚语:“如果行鸭子一样走路,像鸭子一样呱呱叫...

2967
来自专栏Android机动车

如何用五点教会你Python高效编程

我已经使用Python编程有多年了,即使今天我仍然惊奇于这种语言所能让代码表现出的整洁和对DRY编程原则的适用。

953
来自专栏王亚昌的专栏

让代码更有效率的方法

        老大总结的代码级提高代码执行效率需要注意的点,很值得和大家分享一下,在这儿也由衷地感谢下老大的总结和工作中的指导。大多数的点都在项目中验证过,比...

761
来自专栏Java编程

Java回调机制解读

在一个应用系统中,无论使用何种语言开发,必然存在模块之间的调用,调用的方式分为几种:

2956
来自专栏PHP在线

PHP 代码规范简洁之道

原文出处: Scholer 1. 统一的编码规范 编码规范往简单说其实就是三个方面: 换行 空格 变量命名 放在 PHP 里面,还有一些附加的地方,比如关键字...

3996
来自专栏take time, save time

桌面山寨版2048—优化篇

     博客近两天略惨淡啊,我会先在博客上不定时的更新,毕竟是想把博客做成自己的主要平台嘛,谢谢支持啦!希望大家能猛戳http://www.richinmem...

2715
来自专栏idealclover的填坑日常

C语言循环和switch中的break和continue

问题的关键在于循环和switch中的break和continue的不同。在switch中是响应break但不响应continue的,换句话说,在switch中使...

1331

扫码关注云+社区