揭示基于Arm架构混合关键性系统的静态分区虚拟化技术
摘要：针对基于Arm架构的混合关键性系统（MCS），本文旨在理解静态分区虚拟机（SPH）的特性和保证。为此，我们对流行的开源SPH（即Jailhouse、Xen（无Dom0）、Bao和seL4 CAmkES VMM）进行了全面的实证评估，重点关注现代MCS的两个关键要求：实时性和安全性。这项研究的目标有两个：首先，为工业实践者提供硬数据，以便理解SPH的不同权衡；其次，通过揭示仍存在的弱点的新见解，提高研究和开源社区对SPH中仍存在的问题的认识。所有工件将开源，以便进行独立验证，并鼓励进一步探索SPH。
作者：Jos''e Martins and Sandro Pinto
论文ID：2303.11186
分类：Operating Systems
分类简称：cs.OS
提交时间：2023-03-27