lwt

轻重量

Lwt 是 OCaml 的并发编程库。它提供了单一数据类型： promise ，这是一个将在未来确定的值。创建一个承诺会产生一个计算。当该计算是 I/O 时，Lwt 与 OCaml 代码并行运行。

OCaml 代码（包括创建和等待 Promise）默认在单个线程中运行，因此您不必担心锁定或抢占。您可以根据选择分离要在单独线程中运行的代码。

这是一个简单的 Lwt 程序，它请求 Google 首页，如果请求在五秒内未完成，则失败：

 open Lwt.Syntax

let () =
  let request =
    let * addresses = Lwt_unix. getaddrinfo " google.com " " 80 " [] in
    let google = Lwt_unix. (( List. hd addresses).ai_addr) in

    Lwt_io. (with_connection google ( fun ( incoming , outgoing ) ->
      let * () = write outgoing " GET / HTTP/1.1 rn " in
      let * () = write outgoing " Connection: close rnrn " in
      let * response = read incoming in
      Lwt. return ( Some response)))
  in

  let timeout =
    let * () = Lwt_unix. sleep 5. in
    Lwt. return None
  in

  match Lwt_main. run ( Lwt. pick [request; timeout]) with
  | Some response -> print_string response
  | None -> prerr_endline " Request timed out " ; exit 1

(* ocamlfind opt -package lwt.unix -linkpkg example.ml && ./a.out *)

在程序中， Lwt_io.write等函数创建了 Promise。 let* ... in构造用于等待 Promise 被确定； in之后的代码计划在“回调”中运行。 Lwt.pick相互竞争，并作为第一个完成的人。 Lwt_main.run强制执行整个承诺计算网络。所有可见的 OCaml 代码都在单个线程中运行，但 Lwt 在内部使用工作线程和非阻塞文件描述符的组合来并行解析执行 I/O 的承诺。

概述

Lwt 在 Linux、macOS、Windows 和其他系统上编译为本机代码。它还通常由 js_of_ocaml 编译为前端 JavaScript 和 Node。

在轻重量中，

• 核心库Lwt提供了承诺...
• ...以及一些纯 OCaml 帮助程序，例如承诺友好的互斥体、条件变量和 mvar。
• 有一个很大的 Unix 绑定Lwt_unix几乎绑定了每个 Unix 系统调用。更高级别的模块Lwt_io提供了良好的 I/O 通道。
• Lwt_process用于子进程处理。
• Lwt_preemptive产生系统线程。
• PPX 语法允许使用以上所有内容而不会发疯！
• 还有一些其他帮助器，例如用于反应式编程的Lwt_react 。请参阅链接手册页上的目录！

安装中

1. 使用系统包管理器安装开发 libev 包。它通常称为libev-dev或libev-devel 。
2. opam install conf-libev lwt

文档

我们目前正在致力于改进 Lwt 文档（彻底改进；我们正在重写手册）。同时：

• 当前手册可在此处找到。
• Mirage 有一个写得很好的 Lwt 教程。
• 用 Lwt 编写的简单服务器示例。
• ConcurrentProgramming with Lwt 是 Lwt 示例的一个很好的来源。它们是优秀的 Real World OCaml 代码的翻译，但如果您没有阅读本书，它们也同样有用。

注意：当前手册的大部分内容将'a Lwt.t ”称为“轻量级线程”或仅称为“线程”。这将在新手册中修复。 'a Lwt.t是一个承诺，与系统或抢占式线程无关。

接触

打开问题、访问 Discord 聊天、在 Discord.ocaml.org 或 Stack Overflow 上提问。

发布公告在discuss.ocaml.org 上发布。观看“仅限发布”的存储库也是一种选择。

贡献

• CONTRIBUTING.md包含处理代码的技巧，例如如何签出代码、审查如何工作等。还有代码库的高级概述。
• 向我们询问任何问题，无论是关于 Lwt 的工作，还是任何与之相关的问题:)
• 文档总是需要校对和修复。
• 欢迎您提出任何其他问题、查看 PR、添加您的意见等。
• 欢迎任何反馈，包括如何使贡献更容易！

与 Lwt 一起使用的库

• alcotest — 单元测试
• angstrom — 解析器组合器
• cohttp — HTTP 客户端和服务器
• cstruct — 与类 C 结构的互操作
• ezjsonm — JSON 解析和输出
• Faraday — 序列化组合器
• 日志——日志记录
• lwt-parallel — 分布式计算
• mwt — 抢占式（系统）线程池
• Opium——网络框架
• lwt_domain — 将 Lwt 与 OCaml 5 结合使用时的域并行性