最近在进行性能工作时,我发现将多个操作合并成一个assoc调用的方式比单独使用多个键要快得多(针对特定应用程序而言有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.7alpha中已展开)已展开到3个参数。添加更多的展开并不困难,但这会影响assoc的可读性。
补丁: CLJ-1656-v5.patch