从嵌入式系统视角初探 RISC-V 虚拟化
硬件体系结构
2021-08-17 v2 操作系统
摘要
本文描述了在 Rocket 芯片核中最新版 RISC-V 虚拟机监控器扩展(H-extension v0.6.1)规范的首个公开实现与评估。为对现代多核嵌入式与混合关键性系统进行有意义的评估,我们将开源静态分区虚拟机监控器 Bao 移植到 RISC-V。我们还扩展了 RISC-V 平台级中断控制器(PLIC)以实现低且确定性延迟的直接客户中断注入,并增强了定时器基础设施以避免陷入与仿真开销。实验在 FireSim(一个周期精确、FPGA 加速的模拟器)中开展,该系统也成功部署并测试于 Zynq UltraScale+ MPSoC ZCU104。我们的硬件实现已开源,目前正被 RISC-V 社区用于 H-extension 规范的批准。
引用
@article{arxiv.2103.14951,
title = {A First Look at RISC-V Virtualization from an Embedded Systems Perspective},
author = {Bruno Sá and José Martins and Sandro Pinto},
journal= {arXiv preprint arXiv:2103.14951},
year = {2021}
}