Publicação
CVA6 RISC-V virtualization: architecture, microarchitecture, and design space exploration
| Resumo: | Virtualization is a key technology used in a wide range of applications, from cloud computing to embedded systems. Over the last few years, mainstream computer architectures were extended with hardware virtualization support, giving rise to a set of virtualization technologies (e.g., Intel VT, Arm VE) that are now proliferating in modern processors and SoCs. In this article, we describe our work on hardware virtualization support in the RISC-V CVA6 core. Our contribution is multifold and encompasses architecture, microarchitecture, and design space exploration. In particular, we highlight the design of a set of microarchitectural enhancements (i.e., G-Stage Translation Lookaside Buffer (GTLB), L2 TLB) to alleviate the virtualization performance overhead. We also perform a Design Space Exploration (DSE) and accompanying post-layout simulations (based on 22nm FDX technology) to assess Performance, Power,and Area (PPA). Further, we map design variants on an FPGA platform (Genesys 2) to assess the functional performance-area trade-off. Based on the DSE, we select an optimal design point for the CVA6 with hardware virtualization support. For this optimal hardware configuration, we collected functional performance results by running the MiBench benchmark on Linux atop Bao hypervisor for a single-core configuration. We observed a performance speedup of up to 16% (approx. 12.5% on average) compared with virtualization-aware non-optimized design at the minimal cost of 0.78% in area and 0.33% in power. Finally, all work described in this article is publicly available and opensourced for the community to further evaluate additional design configurations and software stacks |
|---|---|
| Autores principais: | Sá, Bruno |
| Outros Autores: | Valente, Luca; Martins, José Carvalho; Rossi, Davide; Benini, Luca; Pinto, Sandro |
| Assunto: | Virtualization CVA6 Microarchitecture TLB MMU Design space exploration Hypervisor RISC-V design space exploration (DSE) memory management unit (MMU) translation lookaside buffer (TLB) |
| Ano: | 2023 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
Registos relacionados
article Let’s get physical: Rethinking the static partitioning hypervisor architecture for an MMU-less memory model
por: Santos, Afonso
Publicado em: (2025)
por: Santos, Afonso
Publicado em: (2025)
article “Interrupting” the status quo: A first glance at the RISC-V Advanced Interrupt Architecture (AIA)
por: Marques, Francisco
Publicado em: (2024)
por: Marques, Francisco
Publicado em: (2024)
school RISC-V lightweight virtualization extensions
por: Sá, Bruno Vilaça de
Publicado em: (2021)
por: Sá, Bruno Vilaça de
Publicado em: (2021)
book Evaluation and analysis of knowledge development in the field of microarchitecture-based jewelry design: An approach to aesthetics
por: Samiei, Seyedeh Salvi
Publicado em: (2024)
por: Samiei, Seyedeh Salvi
Publicado em: (2024)
school Dynamic detection of the communication pattern in shared memory environments for thread mapping
por: Cruz, Eduardo Henrique Molina da
Publicado em: (2012)
por: Cruz, Eduardo Henrique Molina da
Publicado em: (2012)
description RISC-V Needs Secure 'Wheels': the MCU Initiator-Side Perspective
por: Pinto, Sandro
Publicado em: (2024)
por: Pinto, Sandro
Publicado em: (2024)
school Architectural exploration of digital systems design for FPGAs using C/C++/SystemC specification languages
por: Silva, Jeferson Santiago da
Publicado em: (2015)
por: Silva, Jeferson Santiago da
Publicado em: (2015)
school V-Visor: lightweight virtualization for RISC-V
por: Silva, José Nuno Leite da
Publicado em: (2019)
por: Silva, José Nuno Leite da
Publicado em: (2019)
school A model-driven design-space exploration tool for the HIPAO 2 methodology
por: Lerm, Rafael Andréas Raffi
Publicado em: (2016)
por: Lerm, Rafael Andréas Raffi
Publicado em: (2016)
school Design space exploration of SW and HW IP based on object oriented methodology for embedded system applications
por: Mattos, Julio Carlos Balzano de
Publicado em: (2008)
por: Mattos, Julio Carlos Balzano de
Publicado em: (2008)
school A generic description and simulation of architectures based on microarchitectures
por: Valdez, Gustavo Garcia
Publicado em: (2014)
por: Valdez, Gustavo Garcia
Publicado em: (2014)
school Risco : microprocessador RISC CMOS de 32 bits
por: Junqueira, Alexandre Ambrozi
Publicado em: (2010)
por: Junqueira, Alexandre Ambrozi
Publicado em: (2010)
school Software performance estimation in MPSoC design
por: Oyamada, Marcio Seiji
Publicado em: (2008)
por: Oyamada, Marcio Seiji
Publicado em: (2008)
school Design of Steel : a RISC-V Core
por: Calçada, Rafael de Oliveira
Publicado em: (2021)
por: Calçada, Rafael de Oliveira
Publicado em: (2021)
article Cognitive Based Design of a Human Machine Interface for Telenavigation of a Space Rover
por: Filippis,Luca De
Publicado em: (2014)
por: Filippis,Luca De
Publicado em: (2014)
school The new space: lessons from XCOR aerospace failure
por: Martins, César Alexandre De Almeida
Publicado em: (2022)
por: Martins, César Alexandre De Almeida
Publicado em: (2022)
article Virtualization today, virtualization tomorrow: problems, challenges, and opportunities for mixed-criticality systems
por: Pinto, Sandro
Publicado em: (2023)
por: Pinto, Sandro
Publicado em: (2023)
school Direct Detection of Organic and Biological Contaminants in International Space Stations
por: Fernandes, Jorge Manuel Dias
Publicado em: (2022)
por: Fernandes, Jorge Manuel Dias
Publicado em: (2022)
school Métodos de Exploração de Espaço de Projeto em Tempo de Execução em Sistemas Embarcados de Tempo Real Soft baseados em Redes-Em-Chip.
por: Briao, Eduardo Wenzel
Publicado em: (2008)
por: Briao, Eduardo Wenzel
Publicado em: (2008)
article Lock-V: a heterogeneous fault tolerance architecture based on Arm and RISC-V
por: Marques, Ivo Cruz
Publicado em: (2021)
por: Marques, Ivo Cruz
Publicado em: (2021)
school Model driven engineering methodology for design space exploration of embedded systems
por: Oliveira, Marcio Ferreira da Silva
Publicado em: (2014)
por: Oliveira, Marcio Ferreira da Silva
Publicado em: (2014)
school Integrating constraint awareness and multiple approximation techniques in high-level synthesis for FPGAs
por: Leipnitz, Marcos Tomazzoli
Publicado em: (2022)
por: Leipnitz, Marcos Tomazzoli
Publicado em: (2022)
school An aI based tool for networks-on-chip design space exploration
por: Silva, Jefferson Igor Duarte
Publicado em: (2018)
por: Silva, Jefferson Igor Duarte
Publicado em: (2018)
school Encryption and Authentication on a RISC-V Architecture
por: Fernandes, João Cassiano Vicente
Publicado em: (2023)
por: Fernandes, João Cassiano Vicente
Publicado em: (2023)
school The desgner’s perception and expert’s evaluation: testing techniques for problem exploration on a design methodology framework
por: VASCONCELOS, Luis Arthur de
Publicado em: (2015)
por: VASCONCELOS, Luis Arthur de
Publicado em: (2015)
school Augmenting spaces and creating interactive experiences using video camera networks
por: Santos, Rossana Henriques dos
Publicado em: (2015)
por: Santos, Rossana Henriques dos
Publicado em: (2015)
article Stationary configurations of space tether anchored on smaller primary in three-body problem
por: Ferreira, A. F. S.
Publicado em: (2019)
por: Ferreira, A. F. S.
Publicado em: (2019)
article Implementacão do RISC-V IOPMP no CVA6 SoC
por: Marques, Francisco
Publicado em: (2022)
por: Marques, Francisco
Publicado em: (2022)
article The State and the new space economy: enabling 21st century privateers or asserting international law?
por: Sousa, Bruno Reynaud de
Publicado em: (2020)
por: Sousa, Bruno Reynaud de
Publicado em: (2020)
school Validation and evaluation of the ASAM - Automatic Architecture Synthesis and Application Mapping - flow
por: Chies, Felipe Augusto
Publicado em: (2013)
por: Chies, Felipe Augusto
Publicado em: (2013)
school Reuse-based test planning for core-based systems-on-chip
por: Cota, Erika Fernandes
Publicado em: (2007)
por: Cota, Erika Fernandes
Publicado em: (2007)
article BUSted!!! Microarchitectural side-channel attacks on the MCU bus interconnect
por: Rodrigues, Cristiano
Publicado em: (2024)
por: Rodrigues, Cristiano
Publicado em: (2024)
school CAMES: Capability Architectures for Mixed-Criticality Embedded Systems
por: Sá, Bruno Vilaça
Publicado em: (2026)
por: Sá, Bruno Vilaça
Publicado em: (2026)
school Exploração do espaço de projeto em sistemas embarcados baseados em plataformas através de estimativas extraídas de modelos UML
por: Oliveira, Marcio Ferreira da Silva
Publicado em: (2007)
por: Oliveira, Marcio Ferreira da Silva
Publicado em: (2007)
article Scalable, energy-aware system modeling and application-specific reconfiguration of MPSocs with a type-2 fuzzy logic system
por: Hussain, Ishfaq
Publicado em: (2019)
por: Hussain, Ishfaq
Publicado em: (2019)
article Glycemic control protects against trabecular bone microarchitectural damage in a juvenile male rat model of streptozotocin-induced diabetes
por: de Oliveira, Guilherme José Pimentel Lopes
Publicado em: (2018)
por: de Oliveira, Guilherme José Pimentel Lopes
Publicado em: (2018)
assignment O projeto de um RISC para geração de imagens por computador
por: Anido, Manuel Lois
Publicado em: (2017)
por: Anido, Manuel Lois
Publicado em: (2017)
groups The moon race popularization through the pages of National Geographic
por: Pereira, Luís
Publicado em: (2019)
por: Pereira, Luís
Publicado em: (2019)
article Red Dog Planet: images to ideas and back again
por: Mountford, Sam
Publicado em: (2023)
por: Mountford, Sam
Publicado em: (2023)
school Integration of an ADC on a RISC-V Softcore Implemented in an FPGA
por: Farinha, Renato José dos Santos
Publicado em: (2024)
por: Farinha, Renato José dos Santos
Publicado em: (2024)
Atividades financiadas
Não foram encontrados projetos financiados.
Registos relacionados
-
article Let’s get physical: Rethinking the static partitioning hypervisor architecture for an MMU-less memory model
por: Santos, Afonso
Publicado em: (2025) -
article “Interrupting” the status quo: A first glance at the RISC-V Advanced Interrupt Architecture (AIA)
por: Marques, Francisco
Publicado em: (2024) -
school RISC-V lightweight virtualization extensions
por: Sá, Bruno Vilaça de
Publicado em: (2021) -
book Evaluation and analysis of knowledge development in the field of microarchitecture-based jewelry design: An approach to aesthetics
por: Samiei, Seyedeh Salvi
Publicado em: (2024) -
school Dynamic detection of the communication pattern in shared memory environments for thread mapping
por: Cruz, Eduardo Henrique Molina da
Publicado em: (2012)