TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

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

317 点作者 jmngomes超过 1 年前

13 条评论

v1ne超过 1 年前
I&#x27;m really sold on the idea: Instead of a full-blown OS, you compile your application with a thin layer of support libraries that provide the OS features that your application needs (network, I&#x2F;O) and that talks to a hypervisor.<p>I mean, if your application runs in a virtualized environment, there&#x27;s little need to SSH into the system in the first place (except for debugging purposes). Thus, why bother with a full-blown operating system? In the virtualized case, the true OS logic is in the host OS anyway, talking to the hardware. Cutting out all those superfluous layers in the app VM makes it small, start quickly, and gives less attack surface. Sounds like a win-win to me.<p>In contrast, FreeBSD on Firecracker is a full-blown OS, but boots in 25 milliseconds on the Firecracker hypervisor.
评论 #38402623 未加载
评论 #38401689 未加载
评论 #38402562 未加载
评论 #38403252 未加载
评论 #38401570 未加载
评论 #38401912 未加载
评论 #38401534 未加载
sprobertson超过 1 年前
I&#x27;m intrigued but your site gives me little to go on, I feel like I&#x27;m missing a big &quot;what this is&quot; page
评论 #38401681 未加载
评论 #38401809 未加载
9dev超过 1 年前
What is the benefit over using containers, as in Docker? Whether you use a container runtime or an actual hypervisor comes down to pretty much the same thing, operationally. Both keep your self-contained services alive and distributed. From the application perspective, a container also contains only those parts of an OS the app actually needs, and defers everything else to the host. The only caveat about MirageOS seems to be that your applications need to be written in OCaml, which is a neat language and all, but certainly not mainstream…
评论 #38404666 未加载
评论 #38403264 未加载
评论 #38403556 未加载
pjmlp超过 1 年前
Also with a bit living inside Docker.<p><a href="https:&#x2F;&#x2F;mirage.io&#x2F;blog&#x2F;2022-04-06.vpnkit" rel="nofollow noreferrer">https:&#x2F;&#x2F;mirage.io&#x2F;blog&#x2F;2022-04-06.vpnkit</a>
评论 #38401799 未加载
goy超过 1 年前
Another one is HalVM [0], for Haskell. Unfortunately it&#x27;s not maintained anymore.<p>[0] <a href="https:&#x2F;&#x2F;github.com&#x2F;GaloisInc&#x2F;HaLVM">https:&#x2F;&#x2F;github.com&#x2F;GaloisInc&#x2F;HaLVM</a>
评论 #38404698 未加载
dinosaure超过 1 年前
You can also have a few examples about unikernels here: <a href="https:&#x2F;&#x2F;builds.robur.coop&#x2F;" rel="nofollow noreferrer">https:&#x2F;&#x2F;builds.robur.coop&#x2F;</a>.
skgough超过 1 年前
The FAQ mentions that this can run in QEMU. Are there cloud providers that support hosting a custom ISO? I feel like that would be hard to secure.
评论 #38401308 未加载
评论 #38402532 未加载
jezovuk超过 1 年前
Is this (functionally) similar to CloudCaptain, ex-BoxFuse?<p><a href="https:&#x2F;&#x2F;cloudcaptain.sh&#x2F;" rel="nofollow noreferrer">https:&#x2F;&#x2F;cloudcaptain.sh&#x2F;</a>
评论 #38408253 未加载
mkarliner超过 1 年前
Does anyone know if there might be Arm support coming? This strikes me a a nice fit for some single board computers.
评论 #38404424 未加载
评论 #38403540 未加载
xlii超过 1 年前
Personal pet-peeve (from Requirements page):<p>&gt; (…) They should build on any modern UNIX (or macOS) system with OCaml and OPAM installed. (…)<p>I just checked. MacOS Sonoma is STILL UNIX certified, and I get that wording “any modern UNIX” would not be clear this minor error annoys me.<p>s&#x2F;or MacOS&#x2F;including MacOS&#x2F;
评论 #38402192 未加载
cmrdporcupine超过 1 年前
The rough Rust of this is <a href="https:&#x2F;&#x2F;github.com&#x2F;hermit-os&#x2F;hermit-rs">https:&#x2F;&#x2F;github.com&#x2F;hermit-os&#x2F;hermit-rs</a><p>Though last I looked it wasn&#x27;t nearly as mature as MirageOS.
aerzen超过 1 年前
How is this different than running a docker container based on scratch, containing a single statically linked binary?
ekianjo超过 1 年前
Is that similar to Firecracker?
评论 #38401733 未加载
评论 #38402660 未加载
评论 #38408178 未加载