The Omnivisor: A real-time static partitioning hypervisor extension for heterogeneous core virtualization over MPSoCs (Artifact)

Authors Daniele Ottaviano , Francesco Ciraolo , Renato Mancuso , Marcello Cinque



PDF
Thumbnail PDF

Artifact Description

DARTS.10.1.4.pdf
  • Filesize: 0.5 MB
  • 7 pages

Document Identifiers

Author Details

Daniele Ottaviano
  • Università degli Studi di Napoli Federico II, Italy
Francesco Ciraolo
  • Boston University, MA, USA
Renato Mancuso
  • Boston University, MA, USA
Marcello Cinque
  • Università degli Studi di Napoli Federico II, Italy

Cite AsGet BibTex

Daniele Ottaviano, Francesco Ciraolo, Renato Mancuso, and Marcello Cinque. The Omnivisor: A real-time static partitioning hypervisor extension for heterogeneous core virtualization over MPSoCs (Artifact). In Special Issue of the 36th Euromicro Conference on Real-Time Systems (ECRTS 2024). Dagstuhl Artifacts Series (DARTS), Volume 10, Issue 1, pp. 4:1-4:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DARTS.10.1.4

Artifact

Abstract

Following the needs of industrial applications, virtualization has emerged as one of the most effective approaches for the consolidation of mixed-criticality systems while meeting tight constraints in terms of space, weight, power, and cost (SWaP-C). In embedded platforms with homogeneous processors, a wealth of works have proposed designs and techniques to enforce spatio-temporal isolation by leveraging well-understood virtualization support. Unfortunately, achieving the same goal on heterogeneous MultiProcessor Systems-on-Chip (MPSoCs) has been largely overlooked. Modern hypervisors are designed to operate exclusively on main cores, with little or no consideration given to other co-processors within the system, such as small microcontroller-level CPUs or soft-cores deployed on programmable logic (FPGA). Typically, hypervisors consider co-processors as I/O devices allocated to virtual machines that run on primary cores, yielding full control and responsibility over them. Nevertheless, inadequate management of these resources can lead to spatio-temporal isolation issues within the system. In this paper, we propose the Omnivisor model as a paradigm for the holistic management of heterogeneous platforms. The model generalizes the features of real-time static partitioning hypervisors to enable the execution of virtual machines on processors with different Instruction Set Architectures (ISAs) within the same MPSoC. Moreover, the Omnivisor ensures temporal and spatial isolation between virtual machines by integrating and leveraging a variety of hardware and software protection mechanisms. The presented approach not only expands the scope of virtualization in MPSoCs but also enhances the overall system reliability and real-time performance for mixed-criticality applications. A full open-source reference implementation of the Omnivisor based on the Jailhouse hypervisor is provided, targeting ARM real-time processing units and RISC-V soft-cores on FPGA. Experimental results on real hardware show the benefits of the solution, in terms of the seamless launch of virtual machines on different ISAs, and spatial/temporal isolation, enhanced with regulation policies.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time system architecture
Keywords
  • Mixed-Criticality
  • Embedded Virtualization
  • Real-Time Systems
  • MPSoCs.

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Daniele Ottaviano. ARM Trusted Firmware patched for Omnivisor. Accessed: May 27, 2024. URL: https://github.com/DanieleOttaviano/arm-trusted-firmware.
  2. Daniele Ottaviano. Test Omnivisor Guest. Accessed: May 7, 2024. URL: https://github.com/DanieleOttaviano/test_omnivisor_guest.
  3. Daniele Ottaviano. Test Omnivisor Host. Accessed: May 7, 2024. URL: https://github.com/DanieleOttaviano/test_omnivisor_host.
  4. Daniele Ottaviano. The Omnivisor (building system). Accessed: May 27, 2024. URL: https://github.com/DanieleOttaviano/Omnivisor.
  5. Daniele Ottaviano. The Omnivisor (Jailhouse extension). Accessed: May 7, 2024. URL: https://github.com/DanieleOttaviano/jailhouse.