监控失败的过程

Question

我正在开发一个简单的模糊测试工具，该工具涉及生成某些文件类型的有效实例并监视被测程序的故障。这个工具的一个关键组件是进程监控模块：这个模块应该提供函数，给定一个表示程序路径和参数的字符串（例如，corrupt.py 和random_file.wav）指示调用currupt.py random_file.wav 是否会触发一些错误。

什么是最简单的方法来定义一个函数来监视这样一个过程以在 OCaml 中挂起或抛出一个错误？我计划在循环中运行这样一个函数，从而转移副作用（例如，内容打印到 std.out) 是至关重要的。这种函数的类型签名应该是字节 -> int，其中 int 有一些相关的含义（例如，0 -> 健康退出）。

此外，我知道停止问题使得无法判断停止是否是意外行为，所以我可以在任意等待时间画线。

Answer 1

您可以从 Unix“高级进程和重定向管理”函数开始，例如，create_process prog args new_stdin new_stdout new_stderr 是一个通用函数，它将创建一个运行程序的进程，它允许您重定向通道。创建的进程将异步运行，因此您可以使用waitpid 的WNOHANG 标志查看它，或者只是阻塞直到它结束（可能后者不适合您）。

或许，下面的界面应该可以满足你的需求：

 module Monitor : sig 

    val start : string -> t
    val terminate : t -> unit

    val on_finish : t -> (int -> unit) -> unit

    ... 
 end

或者你可以把它简化为

  val monitor : string -> (int -> 'a) -> 'a

如果您不想管理监视器实例。

或者，您可以查看Lwt high-level process management library。它可能会为您节省不少按键。还有来自 Janestreet 的替代 async unix library，您可以尝试一下。