引言
这是一个跨世纪的梗,Java VS C++。
此问题回答摘自 quora,原文链接:http://www.quora.com/In-what-cases-is-Java-slower-than-C-by-a-big-margin。由 paddx@ImportNew.com 翻译,原译文地址: http://www.importnew.com/16218.html。特此转载。
答:Ben Maurer
为了回答这个问题,需要先将该问题分成几个可能引起慢的原因:
1. 垃圾回收器。这是一把“双刃剑”。如果你的程序遵循“大部分对象都在年青代中消亡”模型,垃圾回收器是非常有利的(很少的碎片,更好的缓存局部性)。但是,如果程序不遵循该模型,JVM 将花费很多资源来回收堆内存。
2. 大对象。在 Java 中,所有的对象都有一个 vtable 指针,而 C++ 中使用 POD 结构没有额外开销。此外,所有的Java对象是可以被锁定的。其实现依赖于 JVM,这可能需要在对象中增加额外的字段。大对象 == 缓存更少的对象 == 更慢。(另一方面,Java 7 用 64 位记录压缩后的指针,这也是造成该问题的一部分原因。
3. 缺乏内联对象。在 Java 中,所有的类都是指针。在 C++ 中,对象可以和其它对象一起分配,或者在栈上分配。这样可以提高缓存的局部性,从而减少动态内存分配的开销。
4. 平台函数调用。在 Java 中,JNI 的调用或者将对象编译成本地代码都会带来不小的开销。如果你需要频繁调用客户端的 C++ 代码,会增加很大的开销。
5. 低效的强制抽象。例如,在 Java 中字符串是不可变的。如果你想写一个 XML 分析器,你只使用 String 对象(没有 char[]),它将会很慢,因为需要分配额外的空间。
6. 虚函数调用增加。JVM 中,几乎所有的函数调用都是虚函数调用。有许多代码尝试避免虚函数调用,但是很多场景下,JVM 无法解决这个问题。这阻碍了代码的内联,使代码变慢。
7. 缺乏高级的编译特征及转为汇编的能力。 如果你写了一段能从汇编得益的代码 Java 可能表现不佳。
在我看来,最大的问题是垃圾回收。在程序中,强制在大的内存中进行多次完全 GC,是最容易导致 Java 和C++ 之间产生鸿沟的原因之一。除此之外,如果将程序的工作集放在 L2 缓存之外,像大对象、缺乏内联对象等问题,也会导致两者之间的巨大差别。
低效的强制抽象和平台函数也会导致速度下降,但是这通常只会因为低级的代码才会产生。如果你使用写得很好的 Java 代码库,这通常不是什么大问题。
答:Todd Lipcon
我基本同意 Ben Maurer(hey Ben!)的回答。有几个小点不同:
在最新的 JVM 中,当这种分配永远不会从(a)局部函数或(b)局部线程逃逸出去的时候,逃逸分析能有效地决定一种固定分配。也就是说当分配不需要加锁,通常是在自身的栈空间上进行的。这两种情况下都是一种简单的“指针碰撞(bump the pointer)”分配,这等同于 C 中的栈分配。
译者注:
逃逸分析 Escape Analysis,是一种编译优化技术,指分析指针动态范围的方法。通俗地说,当一个对象的指针被多个方法或线程引用时,我们称这个指针发生了逃逸。
指针碰撞 Bump the Point。假设Java堆中内存是绝对规整的,所有用过的内存都被放在一边,空闲的内存被放在另一边,中间放着一个指针作为分界点的指示器,那所分配内存就仅仅是把那个指针向空闲空间那边挪动一段与对象大小相等的距离,这种分配方式称为“指针碰撞”。 即使没有逃逸分析,年青代的分配也是通过指针碰撞方式,在线程本地分配缓冲区(TLAB)中完成的,不需要进行同步。所以 Java 中小对象的分配有的时候比 C 语言实现的 malloc() 方式更快。更好的 malloc 方法像 Google 的 tcmalloc,采用了类似的方式。但是由于 C 语言无法在内存中对分配后的对象重新分配,所以某些方面会受到限制。
虽然存在内联和虚函数问题,但是实际上,Java 在某些情况下甚至可以做的比 C 更好。特别是,C 不能通过动态链接功能来实现内联,因为内联是在编译时期进行的,而不是运行时期。而 Java 可越过不同的类或库的边界来动态内联一个函数,即使该类的真正实现在编译期间还不可用。许多工作中,这种方式比 C++ 的虚函数调用更有效,C++ 虚函数调用总是需要调用虚表。而 JIT 编译器,如果之前动态属性已经丢失(如新的类已经被加载),能够聪明地取消内联优化。
新版本的 GCC 提供一些这方面优化,称为“全程序优化”或“链接时优化”(http://gcc.gnu.org/wiki/LinkTime),允许在工程范围内越过对象文件进行内联。但是,基本上还是不允许通过动态链接的方式来实现内联(如通过内联的方式实现 zlib 的调用等)。许多大型项目都是通过复制标准库的功能到它们的代码中来实现。