标签: tamarin-prover

Haskell 运行时统计数据中的负生产力

我正在使用一个用 Haskell 编码的程序+RTS -N3 -M9G -s -RTS,我传递给它是为了在执行结束时获取运行时统计信息。我偶尔会得到生产力为负的结果。此外,程序成功运行其任务,但 MUT 为零。

\n
    \n
  1. 生产力怎么会是负数呢?
  2. \n
  3. 如果程序成功完成,MUT 怎么可能为零?
  4. \n
\n
\n
3,904,320,026,552 bytes allocated in the heap\n4,110,237,505,912 bytes copied during GC\n   6,874,676,192 bytes maximum residency (706 sample(s))\n      16,352,288 bytes maximum slop\n            9369 MiB total memory in use (0 MB lost due to fragmentation)\n\n                                     Tot time (elapsed)  Avg pause  Max pause\n  Gen  0     2402028 colls, 987034 par   39844.808s  1005.947s     0.0004s    0.0150s\n  Gen  1       706 colls,   583 par   1165.131s  1730.422s …
Run Code Online (Sandbox Code Playgroud)

garbage-collection haskell tamarin-prover

7
推荐指数
1
解决办法
136
查看次数