Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/76556
Título: | RISC-V lightweight virtualization extensions |
Autor(es): | Sá, Bruno Vilaça de |
Orientador(es): | Pinto, Sandro |
Palavras-chave: | Virtualization RISC-V H-extension Hypervisor Embedded systems Virtualização Hypervisor Sistemas embebidos |
Data: | 2021 |
Resumo(s): | In the last decade, virtualization has become a key enabling technology for servers, but also for several
embedded industries such as the automotive and industrial control. In the embedded space, the number
of requirements has been steadily increasing for the past few years. At the same time, the market pressure
to minimize size, weight, power, and cost (SWaP-C) has pushed for the consolidation of several subsystems,
typically with distinct criticality levels, onto the same hardware platform. In response, academia
and industry have focused on developing hardware support to assist virtualization, and adding upstream
support for these technologies in mainstream hypervisor solutions.
Recent advances in computing systems have brought to light an innovative computer architecture
named RISC-V. RISC-V distinguishes itself from traditional platforms by offering a free and open instruction
set architecture (ISA) featuring a modular and highly customizable extension scheme that allows it to
scale from tiny embedded microcontrollers up to supercomputers. RISC-V is going towards mainstream
adoption under the premise of disrupting the hardware industry, such as Linux has disrupted the software
industry. As part of the RISC-V privileged architecture specification, hardware virtualization support is
specified through the hypervisor extension (H-extension).
This dissertation 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 mixed-criticality systems, we used an open-source
static partitioning hypervisor with support for RISC-V, named Bao. We have also extended the RISC-V
platform-level 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 open-sourced and is currently in use by the RISC-V community towards the ratification of the
H-extension specification. Na última década, a virtualização tornou-se uma tecnologia essencial para os servidores, mas também para várias indústrias, tais como a indústria automóvel e controlo industrial. Em sistemas embebidos, o número de requisitos tem vindo a aumentar de forma constante nos últimos anos. Ao mesmo tempo, a pressão do mercado para minimizar o tamanho, peso, consumo e custo (SWaP-C) tem impulsionado a consolidação de vários subsistemas, tipicamente com níveis de criticidade distintos, na mesma plataforma de hardware. Em resposta, o meio académico e a indústria têm-se focado no desenvolvimento de suporte de hardware para apoiar a virtualização, e no suporte para estas tecnologias em hypervisors de referência. Os recentes avanços na área de aquitetura de computadores estão ligados ao desenvolvimento de uma arquitetura inovadora designada de RISC-V. RISC-V distingue-se das plataformas convencionais ao oferecer uma arquitectura de conjunto de instruções (ISA) livre e aberta, com um esquema de extensão modular e altamente personalizável. Todo o ecosistema RISC-V tem crescido a um ritmo alucinante, motivado pela promessa de transformar a indústria de hardware, da mesma forma que o sistema operativo Linux transformou a indústria de software. A especificação da arquitetura RISC-V define que todo o suporte de hardware para a virtualização é especificado através extensão de hypervisor (H-extension ). Esta dissertação descreve a primeira implementação e avaliação pública da última versão da especificação da extensão hypervisor RISC-V (H-extension v0.6.1) num processador RISC-V (Rocket Chip). A avaliação foi feita em um hypervisor de partição estática open-source com suporte para RISC-V, denominado Bao. O controlador de interrupções, designado de PLIC na arquitetura RISC-V, foi também extendido para permitir a injecção de interrupção directa em máquinas virtuais com latência baixa e determinística. A infra-estrutura de gestão de temporização do sistema também foi modificada para evitar suporte via emulação (e toda a perda de desempenho associada). Todos os testes foram realizados no FireSim, um simulador acelerado por FPGA (precisão ao ciclo), e o sistema foi também testado com sucesso numa Zynq UltraScale+. Disponibilizamos a nossa implementação de hardware para a comunidade RISC-V, que está atualmente a ser utilizada como referência para ratificar a especificação da H-extension . |
Tipo: | Dissertação de mestrado |
Descrição: | Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores |
URI: | https://hdl.handle.net/1822/76556 |
Acesso: | Acesso aberto |
Aparece nas coleções: | BUM - Dissertações de Mestrado DEI - Dissertações de mestrado |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Bruno Vilaça de Sa.pdf | Dissertação de mestrado | 840,62 kB | Adobe PDF | Ver/Abrir |
Este trabalho está licenciado sob uma Licença Creative Commons