防止在Criterion基准测试中缓存计算

Artella

以下代码(由Reid Barton在Criterion上建议,导致内存消耗激增,看不到CAF)具有基准时间,该基准时间通过优化进行编译时成比例但是,使用优化似乎会导致基准时间独立结果被缓存在核心的什么地方,我该怎么做才能防止结果被缓存?numO0O3num

代码是:

{-# OPTIONS_GHC -fno-cse #-}
{-# LANGUAGE BangPatterns #-}
module Main where
import Criterion.Main
import Data.List

num :: Int
num = 100000000

lst :: a -> [Int]
lst _ = [1,2..num]

myadd :: Int -> Int -> Int
myadd !x !y = let !result = x + y in
  result

mysum = foldl' myadd 0

main :: IO ()
main = defaultMain [
  bgroup "summation" 
    [bench "mysum" $ whnf (mysum . lst) ()]
  ]

核心是:

main7
main7 = unpackCString# "mysum"#

main8
main8 = unpackCString# "summation"#

Rec {
$wlgo
$wlgo =
  \ ww_s6vW w_s6vT ->
    case w_s6vT of _ {
      [] -> ww_s6vW;
      : x_a4dz xs_a4dA ->
    case x_a4dz of _ { I# ipv_s4d4 ->
    $wlgo (+# ww_s6vW ipv_s4d4) xs_a4dA
    }
    }
end Rec }

lst1
lst1 = efdtInt 1 2 100000000

lvl_r6yu
lvl_r6yu = case $wlgo 0 lst1 of ww_s6w5 { __DEFAULT -> I# ww_s6w5 }

Rec {
main_$s$wa
main_$s$wa =
  \ sc_s6xB sc1_s6xC sc2_s6xD ->
    case tagToEnum# (<=# sc1_s6xC 0) of _ {
      False ->
    case seq# lvl_r6yu sc2_s6xD of _ { (# ipv_a4BO, ipv1_a4BP #) ->
    main_$s$wa sc_s6xB (-# sc1_s6xC 1) ipv_a4BO
    };
      True -> (# sc2_s6xD, () #)
    }
end Rec }

main6
main6 =
  \ w_s6w9 w1_s6wa ->
    case w_s6w9 of _ { I64# ww1_s6wd ->
    main_$s$wa () ww1_s6wd w1_s6wa
    }

main5
main5 = Benchmark main7 (main6 `cast` ...)

main4
main4 = : main5 ([])

main3
main3 = BenchGroup main8 main4

main2
main2 = : main3 ([])

main1
main1 = \ eta_B1 -> defaultMain2 defaultConfig main2 eta_B1

main9
main9 = \ eta_B1 -> runMainIO1 (main1 `cast` ...) eta_B1

lst
lst = \ @ a_a40V _ -> lst1

main
main = main1 `cast` ...

myadd
myadd =
  \ x_a3Io y_a3Ip ->
    case x_a3Io of _ { I# ipv_s4d1 ->
    case y_a3Ip of _ { I# ipv1_s4d4 -> I# (+# ipv_s4d1 ipv1_s4d4) }
    }

mysum
mysum =
  \ w_s6w2 ->
    case $wlgo 0 w_s6w2 of ww_s6w5 { __DEFAULT -> I# ww_s6w5 }

num
num = I# 100000000

main
main = main9 `cast` ...

我在标记-ddump-simpl -fforce-recomp -O3 -dsuppress-allghc --make -no-link ...调用命令的末尾cabal build我正在使用标准1.1.0.0和GHC版本7.8.3。

安德拉斯·科瓦奇斯(AndrásKovács)

结果被缓存在您的中lvl_r6yu您可以看到它lst1[0..num]提升到了顶层,从中$wlgo 0 lst1可以看到求和的结果也被提升了。

如果添加顶级定义foo = mysum . lst,然后查看的核心,则更容易看到正在发生的事情foo您可以看到那里有foo一个常量函数返回求和结果。

如果添加{-# OPTIONS -fno-full-laziness #-},则不会提升子表达式,因此基准将按预期运行。

通常,criterion通过提供给的参数来控制评估时,这是一个好主意whnf在我们的情况下:

bench "mysum" $ whnf (\size -> mysum [1..size]) num

无论优化或提升,此方法都可以正常工作。

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章

来自分类Dev

刷新缓存以防止基准波动

来自分类Dev

内存基准测试图:了解缓存行为

来自分类Dev

Ruby中的基准测试方法

来自分类Dev

FreeBSD中的MySQLSlap基准测试

来自分类Dev

多线程环境中的基准测试

来自分类Dev

在Go中绘制基准测试结果

来自分类Dev

BaseX中的基准测试:如何设置

来自分类Dev

Prolog中微基准测试的维度

来自分类Dev

TensorFlow中的缓存计算

来自分类Dev

防止Chrome中的iframe缓存

来自分类Dev

防止Chrome中的iframe缓存

来自分类Dev

在Webdriver中对Firefox和Chrome的内存消耗进行基准测试

来自分类Dev

如何在Elasticsearch中对执行进行基准测试?

来自分类Dev

在这个基准测试中,Node的速度有多快?

来自分类Dev

在python中对运行时间进行基准测试

来自分类Dev

卡尺基准测试中的非确定性分配行为

来自分类Dev

如何在Crypto ++库基准测试中运行?

来自分类Dev

在Julia中对数组的条件赋值进行基准测试

来自分类Dev

如何在Elasticsearch中对执行进行基准测试?

来自分类Dev

riscv 基准测试中与 vvadd 和 mt-vvadd 的区别

来自分类Dev

如何使用文件中的数据进行微基准测试?

来自分类Dev

R:计算列表中单词的出现次数以创建基准

来自分类Dev

防止在ASP Classic中缓存PDF

来自分类Dev

防止文档测试中的换行

来自分类Dev

基准测试结果奇怪

来自分类Dev

访问基准测试结果

来自分类Dev

MATLAB性能基准测试

来自分类Dev

Maven工件基准测试

来自分类Dev

Memcached的UDP基准测试