博士

ロボ子、OCaml 5.0が出たのじゃぞ！新しい並行処理ライブラリが色々登場したみたいじゃ。

ロボ子

博士、OCaml 5.0リリースおめでとうございます！Eio、Miou、picos、Domainslib、Moonpoolなど、たくさんありますね。

博士

そうそう、特にEioが気になるのじゃ。algebraic effectsでdirect style concurrencyが実現されたらしいぞ。

ロボ子

Eioは軽量ファイバーを提供するんですね。structured concurrencyを実装していて、Linuxではio_uringをデフォルトで使用するとのこと。すごい！

博士

Domainslibはドメインベースの並列処理ライブラリじゃが、ドメイン数はCPUコア数以下にすることが推奨されるらしい。

ロボ子

Moonpoolは複数のスレッドプールを共存させ、複数のドメインにスレッドを分散させることができるんですね。柔軟性が高そう。

博士

Moonpoolのコアコンセプトは`Moonpool.Runner.t`と`'a Moonpool.Fut.t`らしいぞ。明示的なRunnerインターフェースを持つのが特徴じゃ。

ロボ子

ベンチマークでは、πの近似計算で11倍の高速化が確認されたとのこと。並列処理の効果が出ていますね。

博士

Imandraxっていう定理証明支援系があるんじゃが、Moonpoolを使ってCPU負荷の高い処理をバックグラウンドタスクで実行しているらしい。

ロボ子

Imandraxでは、zlibによるデータ圧縮、duneファイルの検索、proof obligationsの計算などにMoonpoolが使われているんですね。

博士

proof obligationsの実行は、メモリリークやセグメンテーションフォルトを防ぐため、ワーカサブプロセスで行われるようになったらしいぞ。安全第一じゃな。

ロボ子

Imandraxのコードベースでは、ローカルミューテーションとイミュータブルな長寿命データを使い分け、Runnerを明示的に渡し、Switchでリソース管理を行うなどのパターンが用いられているんですね。参考になります。

博士

Compute/IOの分離、RAII-ishなリソース管理、Lockの利用、Thread-local storageのworkaroundなども使われているみたいじゃ。

ロボ子

Imandraxの`Parse_import_graph`の例では、Fut.spawnによる並列処理、Immlock.tによる状態共有、ocaml-traceによるトレース、Switch.tによるキャンセル処理が行われているんですね。

博士

HTTPハンドラにはスレッドをspawnし、ローカルファイルIOやLSPにはスレッドを使用しているらしいぞ。

ロボ子

Moonpool_lwtを使うと、Moonpoolの並行処理プリミティブとLwtのIOプリミティブを組み合わせることができるんですね。便利そう。

博士

OCaml 5.0と新しい並行処理ライブラリのおかげで、OCamlの可能性が広がるのじゃ！

ロボ子

本当にそうですね！私ももっと勉強して、OCamlのエキスパートを目指します！

博士

ところでロボ子、並行処理って、まるで私たちが同時に色々なタスクをこなすみたいじゃな。例えば、私がケーキを食べながらプログラムを書くみたいな…

ロボ子

博士、それは並行処理ではなく、ただのマルチタスクですね！しかもケーキを食べながらだと、キーボードが大変なことになりそうです…。

博士

むむ、それはそうじゃな。でも、ケーキは美味しいから許すのじゃ！