Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/81552
Título: | A first look at RISC-V virtualization from an embedded systems perspective |
Autor(es): | Sá, Bruno Vilaça Martins, José Carvalho Pinto, Sandro |
Palavras-chave: | Virtualization RISC-V H-extension Hypervisor Partitioning Mixed-criticality Embedded Systems Virtual machine monitors Hardware Rockets Registers Virtual machining Software |
Data: | 2022 |
Editora: | IEEE |
Revista: | Ieee Transactions on Computers |
Citação: | B. Sá, J. Martins and S. Pinto, "A First Look at RISC-V Virtualization From an Embedded Systems Perspective," in IEEE Transactions on Computers, vol. 71, no. 9, pp. 2177-2190, 1 Sept. 2022, doi: 10.1109/TC.2021.3124320. |
Resumo(s): | This article describes the first public implementation and evaluation of the latest version of the RISC-V hypervisor extension (H-extension v0.6.1) specification in a Rocket chip core. To perform a meaningful evaluation for modern multi-core embedded and mixedcriticality systems, we have ported Bao, an open-source static partitioning hypervisor, to RISC-V. We have also extended the RISC-V platformlevel interrupt controller (PLIC) to enable direct guest interrupt injection with low and deterministic latency and we have enhanced the timer infrastructure to avoid trap and emulation overheads. Experiments were carried out in FireSim, a cycle-accurate, FPGA-accelerated simulator, and the system was also successfully deployed and tested in a Zynq UltraScale+ MPSoC ZCU104. Our hardware implementation was opensourced and is currently in use by the RISC-V community towards the ratification of the H-extension specification. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/81552 |
DOI: | 10.1109/TC.2021.3124320 |
ISSN: | 0018-9340 |
e-ISSN: | 1557-9956 |
Versão da editora: | https://ieeexplore.ieee.org/document/9606600 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | CAlg - Artigos em revistas internacionais / Papers in international journals |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2103.14951 (1).pdf | 2,17 MB | Adobe PDF | Ver/Abrir |