在最近进行性能工作时,我发现将单次关联调用展开相较于多次使用多个键要快很多(对我来说大约是10%)。Zachary Tellman 随后指出,clojure.core 对于相对较低的键数量根本不会展开 assoc。
我们已经展开了其他通过 apply
调用的性能关键函数,例如 update
https://github.com/clojure/clojure/blob/master/src/clj/clojure/core.clj#L5914,但 assoc
(我认为在其应用和库中非常关键),可能可以从这一点上受益。
我尚未开发针对此问题的补丁,但我进行了一些独立的基准测试工作
https://github.com/yeller/unrolling-assoc-benchmarks
基准测试结果
代码: https://github.com/yeller/unrolling-assoc-benchmarks/blob/master/src/bench_assoc_unrolling.clj
| |1 |2 |3 |4 |
| :-- | :-- | :-- | :-- | :-- |
| 空数组映射(未展开) | 23ns | 93ns | 156ns | 224ns |
| 空数组映射(展开 assoc) | N/A | 51ns | 80ns | 110ns |
| | | | | |
| 20 个元素的持久性哈希表(未展开) | 190ns | 313ns | 551ns | 651ns |
| 20 个元素的持久性哈希表(展开 assoc) | N/A | 250ns | 433ns | 524ns |
| | | | | |
| 记录(未展开) | 12ns | 72ns | 105ns | 182ns |
| 记录(展开 assoc) | N/A | 21ns | 28ns | 41ns |
所有测量都是在独立的 JVM 中进行的,以避免 JIT 路径依赖。
基准测试在一个标准的服务器上运行(8 个 CPU,32gb 内存),使用 ubuntu 12.04 和 Java 8 的最新版本。附上 cpuinfo
、uname
和 java -version
的输出。
启用了相对标准的 JVM 生产标志,并注意禁用 leiningen 的启动时间优化(这将禁用许多 JIT 优化)。
可以通过克隆存储库并运行 script/bench
来运行基准测试
对于此补丁有一个未解决的问题:我们应该展开这些调用的范围有多远?update
(在 1.7 零版本中展开)展开为 3 个参数。添加更多展开并不困难,但这会影响到 assoc 的可读性。
补丁: CLJ-1656-v5.patch