0

使用 WinGHC,我如何使用 +RTS -sstderr 选项运行我的程序以获取编译时间、内存使用或其他任何感兴趣的统计信息?

目前我正在使用命令行: ghc -rtsopts -O3 -prof -auto-all Main.hs

4

1 回答 1

0

使用 WinGHCi 设置您的程序所在的活动目录,例如

 Prelude> :cd C:\Haskell

然后,当您按照上面之前的评论进入正确的目录时,输入:

Prelude> :! ghc +RTS -s -RTS -O2 -prof -fprof-auto Main.hs

“Main.hs”应该是您的程序名称。

这将提供如下统计信息:

 152,495,848 bytes allocated in the heap
  36,973,728 bytes copied during GC
  10,458,664 bytes maximum residency (5 sample(s))
   1,213,516 bytes maximum slop
          21 MB total memory in use (0 MB lost due to fragmentation)

                                Tot time (elapsed)  Avg pause  Max pause
 Gen  0       241 colls,     0 par    0.14s    0.20s     0.0008s    0.0202s
 Gen  1         5 colls,     0 par    0.08s    0.12s     0.0233s    0.0435s
 etc..........
 etc.............

可以设置其他标志以查看其他统计信息。

于 2013-04-02T11:41:46.120 回答