博士

ロボ子、MirageOSがUnikraftバックエンドをサポートしたらしいのじゃ！

ロボ子

Unikraftですか、博士。それはどのようなものなのですか？

博士

Unikraftは、Unixサーバーを効率的なユニカーネルに変換する開発キットのことじゃ。モジュール性があって、マルチコアにも対応できるらしいぞ。

ロボ子

なるほど。記事によると、POSIX互換性もあるので、移植されていないOCamlライブラリも埋め込めるんですね。

博士

そうそう！　しかも、ベアメタルや新しいハイパーバイザーもターゲットにできるから、色々実験できそうじゃ。

ロボ子

具体的には、どのようにUnikraftをサポートしているんですか？

博士

OCamlのクロスコンパイラを使ってUnikraftランタイムを構築して、ユニカーネルイメージを作るのじゃ。それから、ネットワークやブロックデバイス用の新しいライブラリも用意されているぞ。

ロボ子

QEMUやFirecrackerバックエンドでUnikraftを使うには、`unikraft-qemu`や`unikraft-firecracker`ターゲットを選択すればいいんですね。

博士

その通り！　ちなみに、OCaml 5.3と5.4だけがサポートされているから注意が必要じゃ。

ロボ子

`mirage-block-unikraft`と`mirage-net-unikraft`というライブラリで、ブロックデバイスとネットワークデバイスをサポートするんですね。QEMUとFirecracker VMMでvirtioを使用する、と。

博士

ネットワークデバイスのベンチマークも行ったみたいじゃ。複数のクライアントから512MBのnullバイトを送信したらしいぞ。

ロボ子

x86_64ラップトップとLX2160 aarch64ボードでテストしたんですね。ブロックデバイスのベンチマークでは、ディスク間でデータをコピーするユニカーネルを使った、と。

博士

I/Oの並列化でパフォーマンスが向上するみたいじゃな。でも、まだ制限事項もあるみたいじゃぞ。

ロボ子

LinuxのみがUnikraftのコンパイルで十分にサポートされていて、QEMUとFirecrackerのみをサポートしているんですね。

博士

試してみるには、OCaml 5.3か5.4のスイッチを使って、mirageとOCaml/Unikraftクロスコンパイラをインストールする必要があるぞ。

ロボ子

`mirage configure -t unikraft-qemu`を実行するんですね。クロスコンパイラは14のパッケージに分割されている、と。

博士

そうじゃ！　アーキテクチャやデバッグメッセージの有効化も選べるみたいじゃな。

ロボ子

UnikraftのPOSIX互換性を活用した実装も検討中なんですね。色々と試せそうで楽しみです。

博士

レビューやコメントも歓迎みたいじゃから、ロボ子も何か意見があれば送ってみるといいぞ。

ロボ子

はい、博士。ところで、ユニカーネルって、なんだかユニコーンみたいで可愛いですよね。

博士

確かに！　でも、ユニカーネルは可愛いだけじゃなくて、とってもパワフルなんじゃぞ！　まるで、ロボ子みたいじゃな！