如何组合 Lwt 过滤器？

Question

我目前正在学习Lwt。我对使用异步进程用 OCaml 例程替换一些 shell 例程很感兴趣。

让我们看一下简化的第一次尝试，其中通过组合两个线程创建过滤器运行 cat:

let filter_cat ()=
  Lwt_process.pmap_lines ("cat", [| "cat" |])

let filter_t () =
  Lwt_io.stdin
  |> Lwt_io.read_lines
  |> filter_cat ()
  |> filter_cat ()
  |> Lwt_io.write_lines Lwt_io.stdout

let () =
  filter_t ()
  |> Lwt_main.run

此过滤器以某种方式工作，但在其标准输入关闭而不是退出时挂起。如果我删除其中一个 filter_cat，它会按预期工作。

我猜我没有适当地组合这些过滤器，因此无法加入我正在启动的两个线程。编写这些过滤器的正确方法是什么，以便程序在 stdin 上读取 EOF 后终止？

你可以找到这个程序连同 BSD Owl Makefile in a Github gist。

Answer 1

这个问题的答案是 Lwt 中有一个小错误。有一个内部函数，monitor 执行管道：

(* Monitor the thread [sender] in the stream [st] so write errors are
   reported. *)
let monitor sender st =
  let sender = sender >|= fun () -> None in
  let state = ref Init in
  Lwt_stream.from
    (fun () ->
       match !state with
         | Init ->
             let getter = Lwt.apply Lwt_stream.get st in
             let result _ =
               match Lwt.state sender with
                 | Lwt.Sleep ->
                     (* The sender is still sleeping, behave as the
                        getter. *)
                     getter
                 | Lwt.Return _ ->
                     (* The sender terminated successfully, we are
                        done monitoring it. *)
                     state := Done;
                     getter
                 | Lwt.Fail _ ->
                     (* The sender failed, behave as the sender for
                        this element and save current getter. *)
                     state := Save getter;
                     sender
             in
             Lwt.try_bind (fun () -> Lwt.choose [sender; getter]) result result
         | Save t ->
             state := Done;
             t
         | Done ->
             Lwt_stream.get st)

问题出在定义上

let getter = Lwt.apply Lwt_stream.get st

当getter进程遇到流的末尾时，则保存，但sender丢失，这似乎阻止了完成。这可以通过改进 getter 的定义来解决，方法是告诉它在到达流末尾时表现得像 sender。

如何组合 Lwt 过滤器？

How to combine Lwt filters?

ocaml

asynchronous

lwt