mirage が C の代わりに OCaml を使用した UNIX カーネルの新しい実装であるというのは本当ですか? それとも mirage は Ocaml の unix カーネルの一部のみ実装されていますか?
ありがとう。
質問する
453 次
1 に答える
5
MirageOS は、UNIX システムの実装ではありません。MirageOS は OCaml (または FFI 経由の他の言語) ライブラリをアセンブルして、従来のカーネルと同様のサービスを提供します。それらのほとんどは、いくつかの C スタブを含む OCaml で大部分が書かれており、UNIX-y システム コールと同様のインターフェイスを提供していません。
MirageOS でアプリケーションが必要とする可能性のある機能 (ファイルの読み取りやネットワーク パケットの送信など) を従来のオペレーティング システムが提供できるように構築されたライブラリがいくつかありますが、これらのライブラリはカーネルの再実装ではありません。これらは、ユーザー空間の OCaml プログラムを実行するカーネルを使用するための従来のシステム コールを作成する OCaml ライブラリです。
于 2016-12-02T18:29:00.277 に答える