Trustworthy Systems

ISA support for hardware resource partitioning in RISC-V


Nils Wistoff1, Robert Balas, Alessandro Ottaviano, Gernot Heiser and Luca Benini

    School of Computer Science and Engineering
    Sydney 2052, Australia


In modern computing environments, applications concurrently executing on the same system often compete for shared hardware resources, such as caches and buffers. The ensuing contention can lead to timing interferences, posing significant threats such as deadline misses in real-time systems and the creation of timing channels in secure systems. This work proposes an ISA extension based on the RISC-V Capacity and Bandwith Controller QoS Register Interface (CBQRI). Our proposal enables dynamic, comprehensive temporal and spatial partitioning of shared hardware resources, ensuring the isolated execution times of concurrent applications.

BibTeX Entry

    address          = {Munich, DE},
    author           = {Nils Wistoff1 and Robert Balas and Alessandro Ottaviano and Gernot Heiser and Luca Benini},
    booktitle        = {RISC-V Summit Europe},
    keywords         = {time protection, mixed criticality, temporal isolation},
    month            = jun,
    paperurl         = {},
    title            = {{ISA} Support for Hardware Resource Partitioning in {RISC-V}},
    year             = {2024}