問題タブ [unikernel]

たとえば、HaLVMまたは同様のテクノロジーが（OS）スレッドに関して何をするのかよくわかりません。

オプション-threadedを使用してコードをコンパイルすると、HaskellマルチスレッドRTSはOSスレッドを使用して既存のHaskellスレッドを再割り当てし、外部呼び出しの動作のブロックを回避することを理解しています。これで、HaLVMを使用する場合、おそらく外部呼び出しを行う必要はありません。ただし、これがどのようにブレンドされ、HaLVMが実行するワーカースレッドの数は不思議です。OSワーカースレッドがないためにブロックやその他の望ましくない動作が発生する可能性がある他の状況はありませんか？

Docker は MirageOS のようなエクソカーネル アプローチとどのように関連していますか?

MirageOS の詳細については、次を参照してください。

• http://www.xenproject.org/developers/teams/mirage-os.html
• http://www.se-radio.net/2014/05/episode-204-anil-madhavapeddy-on-the-mirage-cloud-operating-system-and-the-ocaml-language/
• http://openmirage.org（公式サイト）

OCaml、OPAM、および関連パッケージの最新バージョンを使用して、Ubuntu 14.04 でこの単純な Unikernel プロジェクトhttps://github.com/MagnusS/mirage-stats-demoをコンパイルしてビルドしようとしていますが、コマンドmakeを実行すると、次のエラーが表示されます。

簡単な MirageOS ベースの Unikernel を作成して、基本的な HTTP GET 呼び出しを実行しました。Unix バイナリとして実行すると問題なく動作しますが、XEN ( mirage configure --xen) 用に構成してコマンドを起動するとmake、次のエラーが表示されます。

MirageOS と OCaml を使い始めたばかりなので、ばかげた質問かもしれませんが、今はどうすればよいかわかりません。

Mirage-skeleton 内にある MirageOS の http-fetch の例 ( https://github.com/mirage/mirage-skeleton ) を少し変更しようとしていますが、なぜできないのかを理解するのに問題があります。 config.ml ファイル内で実行される関数の一部を、unikernel.ml ファイルに移動します。元の config.ml ファイルは次のとおりです (興味深い部分だけをコピーします)。

私がやろうとしているのは、これらの2行を移動することです:

私のunikernel.ml startメソッドに。基本的に、スタックだけをモジュールに渡し、dns リゾルバーとコンジットを作成させたいと考えています。私の開始機能は次のとおりです。

現在、http_fetch パラメータの送信時にこのエラーが発生しています。

私がここで尋ねているのは、明らかに何かが欠けているため、ほとんどが概念的な質問です。私は OCaml/MirageOS の専門家ではありませんが、別のファイルから同じ関数を呼び出しているだけなので、型の不一致という物議を醸すこの動作を理解するのは困難です。