問題タブ [mirage]

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（公式サイト）

私は、バングラデシュ工科大学 (BUET) の中央図書館の ILS 開発チームのメンバーです。そこに機関リポジトリとしてDSpaceをインストールしました。XMLUI を使用しています。高度な検索フィルターに新しい検索フィルター「部門」を追加しました。そのため、部門ごとにアイテムを検索できます。詳細検索ページでは、検索パネルに 3 つのフィールドが表示されます。1 つ目はフィルタ用、2 つ目は条件用 (「次を含む」、「等しい」などのオプションを含むドロップダウン リスト)、3 つ目は「テキスト」タイプの入力ボックスです。私の質問は、入力ボックスにドロップダウン リストを追加するにはどうすればよいかということです。つまり、既存の入力ボックスは「テキスト」タイプです。しかし、「Department」が入力ボックスに表示されるときに、部門名を含むドロップダウン リストが必要です。フィルタが選択されているので、入力して「コンピュータ サイエンス」を入力する必要がなく、代わりに学部を選択できます。ドロップダウンリストから名前を付けて、より使いやすくします。ただし、「作成者」などの他のフィルターについては、既存の外観で問題ありません。

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 を使い始めたばかりなので、ばかげた質問かもしれませんが、今はどうすればよいかわかりません。

Cohttp_mirage.Client が TLS (https) をサポートしているかどうかを確認できる人はいますか? 私が行った掘り下げは、Conduit_mirageがClient tls をサポートしていることを示しているようですが、Cohttp_mirage では、Server は tcp または tls の可能性のある Flow を取るファンクターです (mirage-www dispatch_tls.ml ファイルから得られたように)。

TLS をサポートしている場合、これを設定する方法の例はありますか (Mirage 用)? オンラインでも mirage-skeleton でも何も見つかりませんでした。私はクライアントを単一の Web サービスに書いているので、必要な証明書は 1 つだけだと思います。

答えが「いいえ、TLS をサポートしていません」の場合、何か作業は行われていますか? 自分自身を掘り下げてみるのもいいかもしれません。私は 15 年間プログラミングをしてきましたが、OCaml にはまだ慣れていません。

このガイドhttps://github.com/mirage/mirage-www/blob/master/tmpl/wiki/hello-world.mdに従って、XEN 用の MirageOS ユニカーネルをコンパイルして構築しました(ほとんどの場合、最後の部分、ステップ 4、stackv4）しかし、次のログに示すように、起動した後、DHCP 検出フェーズを通過できません。

私の MirageOS ユニカーネル構成:

私のネットワーク構成:

私のブリッジ構成:

私の /etc/network/interface:

何が問題なのかを理解しようとしていますが、すべてが正しいようです (この他のガイドhttp://wiki.xen.org/wiki/Network_Configuration_Examples_(Xen_4.1%2B)#Example_Debian-style_bridge_configuration_.28e.gによると) ._Debian.2C_Ubuntu.29 )。

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 の専門家ではありませんが、別のファイルから同じ関数を呼び出しているだけなので、型の不一致という物議を醸すこの動作を理解するのは困難です。

このプロジェクトから xencat ツールを構築しようとしています。ocamloptビルドに使用しようとすると、

こちらのガイダンスに従って、cmdliner がインストールされていることと、それが に表示されることを確認してからocamlfind、再試行しました。

表示される内容ocamlfind listは次のとおりです。

運が悪い：

このページに従って、ocamlbuild を試しました。

明らかに何かが欠けていますが、Ocaml は初めてなので、他に何を試すべきかわかりません。