Question

这是一个使用Unix模块与子进程交互的简单程序。我只是启动一个cat shell命令，发送一个字符串并将其读回：

#load "unix.cma";; (* Needed if you are in the toplevel *)

let () =
    let sin, sout, serr = Unix.open_process_full "cat" [||]  in
    output_string sout "test\n";
    flush sout;
    input_line sin |> print_string;
    flush stdout;
    Unix.close_process_full (sin, sout, serr) |> ignore;;

最近我开始研究Lwt库，我希望用它重现相同的功能。我认为以下内容应该具有完全相同的结果：

    #use "topfind";;                (*                            *)
    #thread;;                       (* Also only for the toplevel *)
    #require "lwt.simple-top";;     (*                            *)

    let () =
        let open Lwt in
        let process = Lwt_process.open_process_full ( "cat" , [||]  ) in
        Lwt_io.write_line process#stdin "test\n"
        >>= ( fun ()  -> Lwt_io.flush process#stdin  )
        >>= ( fun ()  -> Lwt_io.read  process#stdout )
        >>= ( fun str -> Lwt_io.print str            )
        >>= ( fun ()  -> Lwt_io.flush Lwt_io.stdout  )
        |> Lwt_main.run

但它并没有像我期望的那样工作 - 显然它会读取然后打印一个空字符串。

我想我对Lwt应如何运作有一些根本的困惑，但我无法弄明白。有人可以告诉我如何使用Lwt与子流程进行通信吗？

Answer 1

使用Lwt_process.shell发出正确的命令，在您的情况下，正确的命令如下：

Lwt_process.shell "cat";;
- : Lwt_process.command = ("", [|"/bin/sh"; "-c"; "cat"|])

另外，我怀疑，在你以适当的方式运行你的程序后，你会想知道，为什么你的程序会阻塞。这是因为在您将EOF写入其输入通道之前，cat进程将无法完成。这就是Lwt_io.read电话无法完成的原因。解决方案是关闭stdin频道。

LWT与子进程的简单交互

1 个答案: