关于Java性能的9个谬论

2013 年 5 月 06 日

Java 的性能有某种黑魔法之称。部分原因在于 Java 平台非常复杂,很多情况下问题难以定位。然而在历史上还有一种趋势,人们靠智慧和经验来研究 Java 性能,而不是靠应用统计和实证推理。在这篇文章中,我希望拆穿一些最荒谬的技术神话。

1.Java 很慢

关于 Java 的性能有很多谬论,这一条是最过时的,可能也是最为明显的。

确实,在上世纪 90 年代和本世纪初处,Java 有时是很慢。

然而从那以后,虚拟机和 JIT 技术已经有了十多年的改进,Java 的整体性能现在已经非常好了。

在 6 个独立的 Web 性能基准测试中,Java 框架在 24 项测试中有 22 项位列前四。

尽管 JVM 利用性能剖析仅优化常用的代码路径,但这种优化效果很明显。很多情况下,JIT 编译的 Java 代码和 C++ 一样快,而且这样的情况越来越多了。

尽管如此,依然有人认为 Java 平台很慢,这或许源自体验过 Java 平台早期版本的人的历史偏见。

在下结论之前,我们建议保持客观的态度,并且评估一下最新的性能结果。

2. 可以孤立地看待单行 Java 代码

考虑下面这行短小的代码:

MyObject obj = new MyObject();

对 Java 开发者而言,看似很明显,这行代码一定会分配一个对象并调用适当的构造器。

我们也许可以据此推出性能边界了。我们认为这行代码一定会导致执行一定量的工作,基于这种推定,就可以尝试计算其性能影响了。

其实这种认识是错误的,它让我们先入为主地认为,不管什么工作,在任何情况下都会进行。

事实上,javac 和 JIT 编译器都能够将死代码优化掉。就 JIT 编译器而言,基于性能剖析数据,甚至可以通过预测将代码优化掉。在这样的情况下,这行代码根本不会运行,所以不会影响性能。

此外,在某些 JVM 中——比如 JRockit——JIT 编译器甚至可以将对象上的操作分解,这样即便代码路径还有效,分配操作也可以避免。

这里的寓意是,在处理 Java 性能问题时,上下文非常重要,过早的优化有可能产生违反直觉的结果。所以最好不好过早优化。相反,应该总是构建代码,并且使用性能调校技术来定位性能热点,然后加以改进。

3. 微基准测试和你想象的一样

正如我们上面看到的那样,检查一小段代码不如分析应用的整体性能来的准确。

尽管如此,开发者还是喜欢编写微基准测试。似乎对平台底层的某些方面进行修修补补会带来无穷的乐趣。

理查德·费曼曾经说过:“不要欺骗自己,你自己正是最容易被欺骗的人。”这句话用来说明编写 Java 微基准测试这件事是再合适不过了。

编写良好的微基准测试极其困难。Java 平台非常复杂,而且很多微基准测试只能用于测量瞬时效应,或是 Java 平台的其他意想不到的方面。

例如,如果没有经验,编写的微基准测试往往就是测一下时间或垃圾收集,却没有抓住真正的影响因素。

只有那些有实际需求的开发者和开发团队才应该编写微基准测试。这些基准测试应该完全公开(包括源代码),而且是可以复现的,还应接受同行评审及进一步的审查。

Java 平台的很多优化表明统计运行和单次运行对结果影响很大。要得到真实可靠的答案,应该将一个单独的基准测试运行多次,然后把结果汇总到一起。

如果读者感觉有必要编写微基准测试,Georges、Buytaert 和 Eeckhout 等人的论文《利用严格的统计方法评测 Java 性能(Statistically Rigorous Java Performance Evaluation)》是个不错的开始。缺乏适当的统计分析,我们很容易被误导。

有很多开发好的工具以及围绕这些工具的社区(比如 Google 的 Caliper)。如果确实有必要编写微基准测试,那也不要自己编写,这时需要的是同行的意见和经验。

4. 算法慢是性能问题的最常见原因

在开发者之间有一个很常见的认知错误(普通大众也是如此),即认为系统中他们控制的那部分很重要。

在探讨 Java 性能时,这种认知错误也有所体现:Java 开发者认为算法的质量是性能问题的主要原因。开发者考虑的是代码,因此他们自然会偏向于考虑自己的算法。

实际上在处理一系列现实中的性能问题时,人们发现算法设计是根本问题的几率不足 10%。

相反,与算法相比,垃圾收集、数据库访问和配置错误导致应用程序缓慢的可能性更大。

大部分应用处理的数据量相对较小,因此,即使主要算法效率不高,通常也不会导致严重的性能问题。可以肯定,我们的算法不是最优的;尽管如此,算法带来的性能问题还是算小的,更多性能问题是应用栈的其他部分导致的。

因此我们的最佳建议是,使用实际生产数据来揭开性能问题的真正原因。要测量性能数据,而不是凭空猜测!

5. 缓存可以解决所有问题

“计算机科学中的所有问题都可以通过引入一个中间层来解决。”

David Wheeler 的这句程序员格言(在互联网上,这句话至少还被认为是其他两位计算机科学家说的)非常常见,尤其是在 Web 开发者之中很流行。

如果未能透彻理解现有的架构,而且分析也已停顿,往往就是“缓存可以解决所有问题”这种谬论抬头的时候了。

在开发者看来,与其处理吓人的现有系统,还不如在前面加一层缓存,将现有系统隐藏起来,以此期待最好的情况。无疑,这种方式只是让整体架构更复杂了,当下一个接手的开发者打算了解系统现状时,情况会更糟糕。

规模庞大、设计拙劣的系统往往缺乏整体的设计,是一次一行代码、一个子系统这样写出来的。然而很多情况下,简化并重构架构会带来更好的性能,而且几乎总是更容易让人理解。

所以当评估是否真的有必要加入缓存时,应该先计划收集一些基本的使用统计信息(比如命中率和未命中率等),以此证明缓存层带来的真正价值。

6. 所有应用都需要关注 Stop-The-World 问题

Java 平台存在一个无法改变的事实:为运行垃圾收集,所有应用线程必须周期性停顿。有时这被当作 Java 的一个严重缺点,即使没有任何真凭实据。

实证研究表明,如果数字数据(如价格波动)变化的频率超过 200 毫秒一次,人就无法正常感知了。

应用主要是给人用的,因此我们有一个有用的经验法则,200 毫秒或低于 200 毫秒的 Stop-The-World(STW)通常是没有影响的。有些应用可能有更高的要求(如流媒体),但很多 GUI 应用是不需要的。

少数应用(比如低延迟交易或机械控制系统)无法接受 200 毫秒的停顿。除非编写的就是这类应用,否则用户基本感觉不到垃圾收集器的影响。

值得一提的是,在应用线程数量超过物理核数的任何系统中,操作系统必须控制对 CPU 的分时访问。Stop-The-World 听着可怕,但实际上任何应用(不管是 JVM 还是其他应用)都要面对稀缺计算资源的争用问题。

如果不去测量,JVM 对应用性能有何附加影响是不清楚的。

总之,请打开 GC 日志,以此来确定停顿时间是否真的影响了应用。通过分析日志来确定停顿时间,这里既可以手工分析,也可以利用脚本或工具分析。然后再判定它们是否真的给应用于带来了问题。最重要的是,问自己一个关键的问题:确实有用户抱怨吗?

7. 手写对象池适合一大类应用

认为 Stop-The-World 停顿在某种程度上是不好的,应用开发团队的一个常见反应就是在 Java 堆内实现自己的内存管理技术。这往往会归结为实现一个对象池(甚至是全面的引用计数),而且需要使用了领域对象的任何代码都参与进来。

这种技术几乎总是具有误导性的。它基于过去的认知,那时对象分配非常昂贵,而修改对象则廉价的多。现在的情况已经完全不同了。

现在的硬件在分配时非常高效;最新的桌面或服务器硬件,内存带宽至少是 2 到 3GB。这是一个很大的数字,除非专门编写的应用,否则要充分利用这么大的带宽还真不容易。

一般来说,正确实现对象池非常困难(尤其是有多个线程工作时),而且对象池还带来了一些负面的要求,使这种技术不是一个通用的良好选择:

  • 所有接触到对象池代码的开发者必须了解对象池,而且能正确处理
  • 哪些代码知道对象池,哪些代码不知道对象池,其界限必须让大家知道,并且写在文档中
  • 这些额外的复杂性要保持更新,而且定期复审
  • 如果有一条不满足,悄然出现问题(类似于 C 中的指针复用)的风险就又回来了

总之,只有 GC 停顿不能接受,而且调校和重构也未能将停顿减小到可以接受的水平时,才能使用对象池。

8. 在垃圾收集中,相对于 Parallel Old,CMS 总是更好的选择

Oracle JDK 默认使用一个并行的 Stop-The-World 收集器来收集老年代,即 Parallel Old 收集器。

Concurrent-Mark-Sweep (CMS) 是一个备选方案,在大部分垃圾收集周期,它允许应用线程继续运行,但这是有代价的,而且有一些注意事项。

允许应用线程与垃圾收集线程一起运行,不可避免地带来一个问题:应用线程修改了对象图,可能会影响对象的存活性。这种情况必须在事后加以清理,因此 CMS 实际上有两个 STW 阶段(通常非常短)。

这会带来一些后果:

  1. 必须将所有应用线程带到安全点,每次 Full GC 期间会停顿两次;
  2. 尽管垃圾收集与应用同时执行,但应用的吞吐量会降低(通常是 50%);
  3. 在使用 CMS 进行垃圾收集时,JVM 所用的簿记信息(和 CPU 周期)远高于其他的并行收集器。

这些代价是不是物有所值,取决于应用的情况。但是天下没有免费的午餐。CMS 收集器在设计上值得称道,但它不是万能的。

所以在确定 CMS 是正确的垃圾收集策略之前,首先应该确认 Parallel Old 的 STW 停顿确实不能接受,而且已经无法调校。最后,我重点强调一下,所有指标必须从与生产系统等价的系统中获得。

9. 增加堆的大小可以解决内存问题

当应用陷入困境,并且怀疑是 GC 的问题时,很多应用团队的反应就是增加堆的大小。在某些情况下,这样做可以快速见效,而且为我们留出了时间来考虑更周详的解决方案。然而,如果没有充分理解性能问题的原因,这种策略反而会让事情变得更糟糕。

考虑一个编码非常糟糕的应用程序,它正在产生很多领域对象 (它们的生存时间很有代表性,比如说是 2-3 秒)。如果分配率高到一定程度,垃圾收集会频繁进行,这样领域对象会被提升到老年代。领域对象几乎是一进入年老代,生存时间就结束了,从而直接死亡,但它们直到下一次 Full GC 时才会被回收。

如果增加了应用的堆大小,我们所做的不过是增加了相对短命的对象进入和死亡所用的空间。这会导致 Stop-The-World 停顿时间更长,对应用并无益处。

在修改堆大小或者调校其他参数之前,理解对象的分配和生存时间的动态是很有必要的。没有测量性能数据就盲目行动,只会使情况更糟糕。在这里,垃圾收集器的老年代分布情况特别重要。

结论

当谈到 Java 的性能调校时,直觉常常起误导作用。我们需要实验数据和工具来帮助我们将平台的行为可视化并加强理解。

垃圾收集就是最好的例子。对于调校或者生成指导调校的数据而言,GC 子系统拥有无限的潜力;但是对于产品应用而言,不使用工具很难理解所产生数据的意义。

默认情况下,运行任意 Java 进程(包括开发环境和产品环境),应该至少总是使用如下参数:

-verbose:gc(打印 GC 日志)
-Xloggc:(更全面的 GC 日志)
-XX:+PrintGCDetails(更详细的输出)
-XX:+PrintTenuringDistribution(显示 JVM 所使用的将对象提升进入老年代的年龄阈值)

然后使用工具来分析日志,这里可以利用手写的脚本,可以用图生成,还可以使用 GCViewer(开源的)或 jClarity Censum 这样的可视化工具。

『号外』:JavaOne 2013 大会将于 7 月 22–25 日在上海世博中心举行,内容涵盖使用 Java SE 构建现代应用程序、打造针对下一代智能设备的移动和嵌入式 Java 应用程序、编制基于 Java EE 的复杂企业解决方案以及在云环境中安全、无缝地构建和部署业务应用程序等,报名或查看详情请点击

关于作者

Ben Evans是 jClarity(这是一家创业公司,主要设计辅助开发和运维团队的性能工具)的 CEO。他是 LJC(伦敦 Java 用户组)的组织者之一,也是 JCP 执行委员会的成员之一,JCP 执行委员会负责帮助定义 Java 生态系统中的相关标准。他还是 Java Champion 和 JavaOne Rockstar。他与人合著了《 The Well-Grounded Java Developer 》一书。此外,他还经常进行公开演讲,探讨 Java 平台、性能、并发及相关话题。

查看英文原文 9 Fallacies of Java Performance

2013 年 5 月 06 日 11:5617514
用户头像
臧秀涛 极客邦科技技术会议负责人

发布了 300 篇内容, 共 113.9 次阅读, 收获喜欢 21 次。

关注

评论

发布
暂无评论
发现更多内容

第0周学习总结

徐培

架构师训练营第一周学习总结

独孤魂

极客大学架构师训练营

第1周【架构方法:架构师如何做架构】总结

陆不得

UML练习

毛叫

极客时间 极客大学架构师训练营

架构师0期 01周总结

喵呜的小哥哥

作业二【0606学习小结】

道法自然

极客大学架构师训练营

【架构师第一周】总结

浪浪

架构师训练营-第一周-食堂就餐卡系统架构设计

坂田吴奇隆

极客大学架构师训练营

什么时候使用volatile关键字?

程序喵大人

c++

架构师训练营第一周学习总结

fenix

架构师训练营-第一课作业

Linuxer

极客大学架构师训练营

食堂就餐卡系统设计

新世界

第一周·总结 架构师如何做架构设计

刘璐

架构 0 期-week1-命题作业

陈俊

极客大学架构师训练营

食堂就餐卡系统设计

一黑到底

Flink 源码分析之一文搞懂Flink 消息全流程

shengjk1

flink flink源码

作业一【食堂就餐卡系统设计】

道法自然

极客大学架构师训练营

时刻架构

慵秋

极客大学架构师训练营

食堂就餐卡系统

缺省模式

架构 0 期-week1-学习总结

陈俊

第一周-学习总结

JI

极客大学架构师训练营

gcc a.c 究竟经历了什么?

程序喵大人

c++

【架构师第一周作业】食堂就餐卡系统设计

浪浪

学习

「架构师训练营」第 1 周作业 - 食堂就餐卡系统设计

edd

设计思维

week1.食堂就餐卡系统设计

个人练习生niki

UML

作业1-食堂就餐卡系统设计

进击的炮灰

架构师是怎样炼成的-1-2

闷骚程序员

极客大学架构师训练营

食堂就餐卡系统设计

心在飞

极客大学架构师训练营

第一周作业

慵秋

食堂就餐卡系统设计(作业模拟)

潜默闻雨

第一周·作业-食堂就餐卡系统

刘璐

关于Java性能的9个谬论-InfoQ