混合关键性系统的Quest-V分离内核
摘要：多核和众核处理器在嵌入式系统中越来越受欢迎。许多这些处理器现在具备硬件虚拟化功能，如ARM Cortex A15和支持Intel VT-x或AMD-V的x86处理器。硬件虚拟化提供了在客户虚拟机之间分配物理资源（包括处理器核心、内存和I/O设备）的机会。混合关键性系统和服务可以在同一平台上以分离的虚拟机的形式共存。然而，传统的虚拟机系统由于必须通过虚拟化监控程序来复用和管理机器的物理资源，成本太高。例如，需要虚拟化监控程序来在物理处理器核心上调度单独的虚拟机。本文中，我们讨论了Quest-V分离内核的设计，该内核将不同关键性的服务分配到不同的虚拟机或沙盒中。每个沙盒封装了一部分机器的物理资源，它可以自主管理这些资源，不需要虚拟化监控程序的介入。此外，正常运行时不需要虚拟化监控程序，除了引导系统和建立沙盒之间的通信渠道之外。
作者：Ye Li, Richard West, Eric Missimer
论文ID：1310.6298
分类：Operating Systems
分类简称：cs.OS
提交时间：2013-10-24