lwtダウンロード - lwtソースコードのダウンロード

lwt

その他のソースコード

Lwt 5.8.0, Lwt_ppx 5.8.0

ダウンロード

軽い

GitHub アクションのステータス

Lwt は、OCaml 用の同時プログラミングライブラリです。これは単一のデータ型、 promiseを提供します。これは将来決定される値です。 Promise を作成すると計算が生成されます。その計算が I/O である場合、Lwt はそれを OCaml コードと並行して実行します。

Promise の作成や待機を含む OCaml コードは、デフォルトで単一スレッドで実行されるため、ロックやプリエンプションについて心配する必要はありません。オプトインに基づいて、コードを切り離して別のスレッドで実行できます。

以下は、Google フロントページをリクエストし、リクエストが 5 秒以内に完了しない場合は失敗する単純な Lwt プログラムです。

 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 Promise 計算ネットワーク全体を強制的に実行します。表示されるすべての OCaml コードは単一のスレッドで実行されますが、Lwt は内部でワーカースレッドとノンブロッキングファイル記述子の組み合わせを使用して、I/O を実行する Promise を並行して解決します。

概要

Lwt は、Linux、macOS、Windows、およびその他のシステム上でネイティブコードにコンパイルされます。また、js_of_ocaml によってフロントエンドとノードの JavaScript に定期的にコンパイルされます。

Lwtでは、

コアライブラリLwt次のことを約束します...
...そして、Promise フレンドリーなミューテックス、条件変数、mvar などのいくつかの純粋な OCaml ヘルパー。
ほぼすべての Unix システムコールをバインドする、大きな Unix バインディング、 Lwt_unixあります。上位モジュールLwt_io優れた I/O チャネルを提供します。
Lwt_processはサブプロセス処理用です。
Lwt_preemptiveシステムスレッドを生成します。
PPX 構文を使用すると、上記のすべてを混乱することなく使用できます。
リアクティブプログラミング用のLwt_reactなど、他のヘルパーもいくつかあります。リンクされたマニュアルページの目次を参照してください。

インストール中

システムパッケージマネージャーを使用して、開発 libev パッケージをインストールします。これはlibev-devまたはlibev-develと呼ばれることがよくあります。
opam install conf-libev lwt

ドキュメント

私たちは現在、Lwt ドキュメントの改善に取り組んでいます (大幅に、マニュアルを書き直しています)。その間に：

現在のマニュアルはここからご覧いただけます。
Mirage には、うまく書かれた Lwt チュートリアルがあります。
Lwt で書かれた単純なサーバーの例。
Concurrent Programming with Lwt は、Lwt のサンプルの優れたソースです。これらは優れた Real World OCaml のコードの翻訳ですが、本を読んでいない場合でも同様に役立ちます。

注: 現在のマニュアルの多くは'a Lwt.tを「軽量スレッド」または単に「スレッド」と呼んでいます。これは新しいマニュアルで修正される予定です。 'a Lwt.t約束であり、システムやプリエンプティブスレッドとは何の関係もありません。

接触

問題を開いて、Discord チャットにアクセスし、discuss.ocaml.org または Stack Overflow で質問してください。

リリースの発表は、discuss.ocaml.org で行われます。「リリースのみ」のリポジトリを監視することもオプションです。

貢献する

CONTRIBUTING.mdは、コードのチェックアウト方法、レビューの仕組みなど、コードの作業に関するヒントが含まれています。コードベースの概要も含まれています。
Lwt への取り組みについてでも、それに関する質問でも、何でも聞いてください :)
ドキュメントには常に校正と修正が必要です。
他の問題を取り上げたり、PR を確認したり、意見を追加したりしてください。
貢献を容易にする方法を含め、あらゆるフィードバックを歓迎します。