边缘的容器化 — WasmEdge 与 seL4

本研发基于开源项目 WasmEdge 和 seL4，并得到了Second State 和 FutureWei 的支持。

应用程序容器，例如 Docker，是云原生应用程序增长背后的关键驱动力。然而，虽然云原生开发范式已经非常流行，但由于应用程序容器需要大量计算资源，因此很难将云原生基础设施扩展到大型数据中心之外。例如，Docker 不支持实时操作系统（RTOS），仅适用于 POSIX 系统。

此外，在智能工厂和智能汽车等边缘网络和设备上，行业生态和供应商网络的现状造就了应用程序必须由多个独立供应商组装。例如，在典型的电动汽车中，有 100 多家供应商为汽车的不同部分编写软件组件。对于汽车 OEM 来说，为供应商和供应商集成其软件组件提供安全、高性能和实时的运行环境至关重要。目前，我们已经看到了几个在边缘 RTOS 上支持应用程序容器的尝试。

VxWorks 是一个领先的实时操作系统，用在使命关键的系统中，如飞机和航天飞船中。VxWorks 容器 是2021年提出的要在 VxWorks RTOS 上支持符合 OCI 的轻量级容器。

可是使用 Docker 对于边缘上的 RTOS 并不理想。从根本上说，Docker 不是实时的，Docker 假设许多底层操作系统服务是可用的。 更好的 RTOS Runtime 方案是高级字节码 VM。 这样的虚拟机比 Docker 更轻、更快。 它们提供基于能力的安全沙箱，对底层操作系统服务做很少的假设，同时在前端支持多种编程语言。 WebAssembly 凭借其广泛的行业支持和轻量级设计，看起来恰恰是复杂边缘应用程序完美的虚拟机 Runtime。

WebAssembly 另一个有意思的方面是 WebAssembly 程序通常可以像 seL4