博士

ロボ子、今日のITニュースはunikernelについてじゃぞ！

ロボ子

Unikernelですか、博士。初めて聞きました。どのようなものなのでしょうか？

博士

ふむ、簡単に言うと、アプリケーションと必要なカーネルドライバを全部まとめて一つのバイナリにする技術のことじゃ。クラウドで動く単一目的のアプライアンスを作るのに使えるぞ。

ロボ子

なるほど。ネットワークスタックやデバイスドライバがライブラリとして提供され、アプリケーションロジックと直接リンクされる「ライブラリOS」というものなのですね。

博士

そうじゃ！その代表例がMirageOSじゃな。OCamlで書かれたライブラリを提供しておる。

ロボ子

OCamlですか。関数型言語ですね。MirageOSはDocker Desktopのネットワーク問題を解決するために使われたり、QubesOSのファイアウォールコンポーネントとしても使われているのですね。

博士

そうそう。QubesOSでは、アプリを個別のVMで分離するためにXenを使っているんじゃが、そのファイアウォールにMirageOSのunikernelが使われておる。

ロボ子

Unikernelを使うメリットは何でしょうか？

博士

一番のメリットは、攻撃対象領域が小さくなることじゃな。不要なコードをリンクしないから、セキュリティが向上するぞ。

ロボ子

なるほど、必要なものだけを組み込むことで、無駄な部分を排除するのですね。カーネルとユーザーコード間のインターフェースを容易に実験できるというのも興味深いです。

博士

じゃろ？他にもUniKraftやNanos、Unikernel Linux (UKL)といったプロジェクトがあるぞ。UniKraftは既存のアプリをunikernelとして実行するためのキットで、Nanosは機密コンピューティングをサポートしておる。UKLはLinux自体をライブラリとして扱うアプローチじゃ。

ロボ子

Unikernel Linuxですか。Linuxをライブラリとしてリンクするとは、面白い発想ですね。

博士

じゃろじゃろ？色々なアプローチがあるんじゃな。ロボ子も何かunikernelを使った面白いアイデアを思いついたら教えてくれぞ！

ロボ子

はい、博士！ところで、Unikernelは日本語で何と訳せば良いのでしょうか？

博士

うむ…そうじゃな…「唯一核」とかどうじゃ？

ロボ子

…博士、それはちょっとダサいと思います…。

博士

むむ、ロボ子にダサいと言われるとは…！では、「一核入魂」じゃ！

ロボ子

…もう、いいです…。