3

mirage 真的是用 OCaml 而不是 C 的 unix 内核的新实现吗？还是海市蜃楼仅在 Ocaml 中实现了 unix 内核的一部分？

谢谢。

4

1 回答 1

5

MirageOS 根本不是任何 UNIX 系统的实现。MirageOS 组装 OCaml（或其他语言，通过 FFI）库以提供与传统内核类似的服务。它们中的大多数主要是用带有一些 C 存根的 OCaml 编写的，并且不提供与 UNIX-y 系统调用类似的接口。

有一些库旨在让传统操作系统提供应用程序在 MirageOS 中可能需要的功能（例如，读取文件或发送网络数据包），但这些库并不是内核的重新实现。它们是 OCaml 库，它们进行传统的系统调用以使用运行用户空间 OCaml 程序的内核。

于 2016-12-02T18:29:00.277 回答