如何在 OCaml 中获取堆栈跟踪？

Question

Objective Caml 语言只会在您要求正确的情况下生成堆栈跟踪 - 字节码和本机代码有什么要求？

Answer 1

使用 -g 编译并设置环境变量 OCAMLRUNPARAM=b

Answer 2

一些 Printexc 函数允许您以编程方式执行此操作。

Answer 3

因为看起来你只能在 unix 上获取异常的跟踪，所以你可以在第二个进程中分叉并抛出异常。 这样主流程就可以继续：

export OCAMLRUNPARAM=b
# compile with -g

flush_all(); let r = Unix.fork() in if r == 0 then raise Exit

Answer 4

如果您使用 Ocamlbuild 而不是直接调用编译器，则可以使用 debug 标记。 来自 手册：

使用 OCamlbuild，您只需将调试标记添加到程序的目标中，它就会决定何时插入 -g 标志。

例如，如果您正在使用包 bar 构建文件 foo.ml，那么您的 _tags 文件将包含一行：

<foo.ml>: package(bar), debug

这将插入适当的内容构建字节码/本机文件时的 -g 标志。 但是，您仍然需要使用 export OCAMLRUNPARAM=b 设置环境变量，如其他答案中所述。

Answer 5

正如其他答案中所述，您需要使用调试信息编译项目，并使用 OCAMLRUNPARAM=b 环境变量运行它。

让 Ocamlbuild 使用调试信息编译整个项目但不编辑 _tags 文件的一种便捷方法是指定一个特殊的调试目标。 来自手册：

编译适合使用 ocamldebug 进行调试的代码或使用 ocamlprof 分析本机代码的首选方法是使用适当的目标扩展，.d.byte< /code> 用于调试或 .p.native。




我使用这种技术在命令行上进行快速编译运行周期。 例如，运行 foo.ml：

export OCAMLRUNPARAM=b

ocamlbuild -no-links foo.d.byte && _build/foo.d.byte