用于分析OCaml代码的工具

除编译和使用gprof时使用-p选项外，是否有人知道用于分析OCaml代码的程序？我在问这个问题，以检查0.01秒的采样时间是否可以进一步降低？用于分析OCaml代码的工具

2012-02-08 maths-help-seeker

* [This technique]（http://stackoverflow.com/questions/375913/what-can-i-use-to-profile-c-code-in-linux/378024#378024）*与ocaml一起使用为好吧，我相信。 – 2012-02-08 13:53:33

poorman's profiler完全适用于OCaml程序。同样的想法也适用于profiling allocations。

来源

2012-02-08 11:57:22 ygrek

@复制见生物：谢谢你的指示。我会试试这个分析器。 – 2012-02-08 16:37:21

谢谢！我会尝试一下！ – 2012-02-08 16:37:59

@ maths-help-seeker这是ygrek的回答。我只确定了“OCaml”的大小写。 – 2012-02-08 17:46:57

从未使用过，但ocamlviz是另一种选择。

来源

2012-02-08 21:42:00

是的，我发布这个问题后就看到了。谢啦！ – 2012-02-09 16:33:15

您还可以使用ocaml-memprof，Fabrice Le Fessant编写的编译器补丁（3.12.0和3.12 1），它为ocaml程序增加了内存分析功能。

编辑

现在你有ocp-memprof，一个OCaml的内存分析器，你可以在网上使用。它可在http://memprof.typerex.org上找到。

来源

2012-02-09 08:12:29 cago

添加到有用的答案的列表：此OCamlPro post提到在Linux上使用perf的本机代码性能分析（不内存分析）（通过包linux-tools在Debian的发行版一样安装）。

基本上，你只需要运行：

perf record -g ./native_program arguments

为了生产perf.data文件，其中包含分析数据，然后运行

perf report -g

要看到的结果。

在启用帧指针的情况下使用OCaml版本时（例如在OPAM上使用4.02.1+fp而不是4.02.1），它会更好地工作。

来源

2015-07-03 15:36:48 anol

用于分析OCaml代码的工具

回答

相关问题