Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems
Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems
复制标题
DOI：
10.4230/oasics.ng-res.2020.3
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
José Martins;A. Tavares;M. Solieri;M. Bertogna;Sandro Pinto
中科院分区：
文献类型：
--
作者：
José Martins;A. Tavares;M. Solieri;M. Bertogna;Sandro Pinto
鉴于现代嵌入式系统日益复杂和混合关键性的性质，虚拟化成为实现强大的空间和时间隔离的自然解决方案。广泛使用的虚拟机管理程序（如KVM和Xen）在设计时并没有考虑到嵌入式约束和要求。Jailhouse开创的静态分区架构似乎解决了嵌入式问题。但是，Jailhouse仍然依赖Linux来靴子和管理其VM。在本文中，我们介绍了Bao hypervisor，这是Armv 8和RISC-V平台静态分区架构的最小化，独立和干净的实现。关于大小、靴子、性能和中断延迟的初步结果表明，这种方法只会产生最小的虚拟化开销。Bao将很快公开发布，希望能让工业界和学术界参与进来，提高Bao的安全性、安全性和实时保证。
Given the increasingly complex and mixed-criticality nature of modern embedded systems, virtualization emerges as a natural solution to achieve strong spatial and temporal isolation. Widely used hypervisors such as KVM and Xen were not designed having embedded constraints and requirements in mind. The static partitioning architecture pioneered by Jailhouse seems to address embedded concerns. However, Jailhouse still depends on Linux to boot and manage its VMs. In this paper, we present the Bao hypervisor, a minimal, standalone and clean-slate implementation of the static partitioning architecture for Armv8 and RISC-V platforms. Preliminary results regarding size, boot, performance, and interrupt latency, show this approach incurs only minimal virtualization overhead. Bao will soon be publicly available, in hopes of engaging both industry and academia on improving Bao’s safety, security, and real-time guarantees.