2024年Clojure状态调查!中分享您的想法。

欢迎!请参阅关于页面以了解更多关于此如何运作的信息。

0
Clojure
当在{{ArrayChunk}}上调用{{reduce}}而不是当前的{{dotimes}}时,分块序列处理在调用时表现出了通用性改进。受影响的函数有{{map}}、{{filter}}和{{keep}}。下表显示了相关基准(单位:ms)。括号中的数字比原始数据更差(尽管差距很小)。长范围的整体改进效果最佳。

*长范围*
|| f                    || before(doall)|| after(doall)|| before(chunk-last)|| after(chunk-last)||
 | {{(map inc lr)}}      | 3.75          | 2.88         | 2.15               | 2.06              |
 | {{(keep identity lr)}}| 2.56          | 2.16         | 0.75               | 0.72              |
 | {{(filter odd? lr)}}  | 2.77          | 2.20         | 1.53               | 1.45              |

*范围*
|| f                    || before(doall)|| after(doall)|| before(chunk-last)|| after(chunk-last)||
 | {{(map inc lr)}}      | 3.64          | [3.70]       | 2.32               | [2.50]           |
 | {{(keep identity lr)}}| 2.10          | 1.94         | 0.56               | 0.46              |
 | {{(filter odd? lr)}}  | 1.95          | [1.99]       | 1.19               | [1.66]           |

*向量*
|| f                    || before(doall)|| after(doall)|| before(chunk-last)|| after(chunk-last)||
 | {{(map inc lr)}}      | 3.81          | 3.68         | 2.44               | 2.15              |
 | {{(keep identity lr)}}| 2.03          | [2.16]       | 0.53               | 0.46              |
 | {{(filter odd? lr)}}  | 2.08          | [2.82]       | 1.67               | 1.39              |

*gvec*
|| f                    || before(doall)|| after(doall)|| before(chunk-last)|| after(chunk-last)||
 | {{(map inc lr)}}      | 3.69          | [3.83]       | 1.46               | 1.35              |
 | {{(keep identity lr)}}| 2.86          | 2.82         | 2.44               | 2.52              |
 | {{(filter odd? lr)}}  | 2.95          | 2.70         | 2.08               | 2.07              

所有基准测试都在一个新的 JVM 实例上执行,并排除了具有较大异常值方差的结果。使用的通用基准模板形式如下:{{(let [xs chunked-seq] (bench (doall (f xs))))}} 其中

* "chunked-seq" 可以是以下之一:{{(range 100000)}}, {{(range 1e5)}}, {{(vec (range 1e5))}} 或 {{(into (vector-of :int) (range 1e5))}}
* "doall" 要么是 {{doall}} 或 {{chunk-last}}(详见以下定义)
* "f" 可以是以下之一:{{(map inc xs)}}, {{(filter odd? xs)}} 或 {{(keep identity xs)}}。

观察结果

* 块越多、块越大,收益也就越大。较大于32的(块化)序列可能还会从这些更改中受益。
* 相同的更改会使 {{keep-indexed}} 和 {{map-indexed}} 发生更糟的情况,因此它们尚未更改。
* {{for}} 宏也识别块,但使用显式循环来处理 {{:let, :when, :while}} 情况,这很难与块缓冲区更改分开。
* {{chunk-last}} 是一个识别块的函数,用于通过块访问最后一个元素。与(按顺序逐个遍历的){{doall}} 相比,{{chunk-last}} 对前来更改的代码和之后更改的代码都更有效。函数定义如下:{{(defn chunk-last [xs] (when-let [xs (seq xs)] (if-let [cn (chunk-next xs)] (recur cn) (last xs))))}}
* 在定义 {{{map}}} 之前,可以将 {{dotimes}} 的初始临时预定义从核心中删除。这包含在补丁中。

8 答案

0

由: alexmiller

你能压缩补丁吗?

0

由:reborg

当然可以。

0

由: alexmiller

谢谢!

0

由:reborg

CLJ-2346-2.patch 新特性:在看到速度略有提升后,将宏 invocations {{.count}} 改为正常 {{count}}。更新了表格以反映新的基准测试。

0

由: alexmiller

为何使用 .reduce 相较于 reduce?

0

由:reborg

因为这是对 IChunk 的 reduce 操作,它未通过正常的 coll-reduce 暴露出来。

0

由: alexmiller

如果 IChunk 扩展了 IReduceInit,那么可能可以这样做。

0
参考:[https://clojure.atlassian.net/browse/CLJ-2346] (reborg 报告)
...