Mirage – 用于构建类型安全、模块化系统的编程框架

Mirage – A programming framework for building type-safe, modular systems

原始链接: https://mirage.io/

隆重推出 MirageOS - 一种轻量级、高效且安全的编程框架，可通过编程库操作系统创建专门的、独立的“unikernels”。 在 Linux 或 Mac 等常规操作系统上开发代码，这些二进制文件不需要任何额外的操作系统即可运行。 与需要几分钟加载的传统操作系统相比，这些应用程序的启动时间仅为几毫秒。 与庞大的传统应用程序相比，这些小型二进制文件（几 MB）占用空间很小，仅消耗几 MB 的 RAM。 此外，MirageOS 完全用 OCaml 编写，提供行业标准的安全措施，为在各种云计算和移动平台上构建安全、高性能的网络应用程序提供了绝佳的选择。 它的基础设施也是完全自托管的。 由于已经有许多过去的版本可用，请查看文档，立即开始编译基本的 hello world unikernel，探索公共云选项，或者通过其网站上提供的讲座进行更深入的探讨。