Supporting Temporal and Spatial Isolation in a Hypervisor for ARM Multicore Platforms Date: Tue, 10 Apr 2018 10:44:25 +0530  |  Posted by: Anup Patel

We are very pleased to inform everyone about nice research work done by Paolo Modica (and team) using Xvisor. The work has been published in ICIT 2018 and is available on IEEE website.

Title: Supporting Temporal and Spatial Isolation in a Hypervisor for ARM Multicore Platforms

Abstract: This paper addresses the problem of providing spatial and temporal isolation between execution domains in a hypervisor running on an ARM multicore platform. Isolation is achieved by carefully managing the two primary shared hardware resources of today's multicore platforms: the last-level cache (LLC) and the DRAM memory controller. The XVISOR opensource hypervisor and the ARM Cortex A7 platform have been used as reference systems for the purpose of this work. Spatial partitioning on the LLC has been implemented by means of cache coloring, which has been tightly integrated with the ARM virtualization extensions (ARM-VE) to deal with the memory virtualization capabilities offered by a two-stage memory management unit (MMU). Temporal isolation on the DRAM controller has been implemented by realizing a memory bandwidth reservation mechanism, which has been combined with the scheduling logic of the hypervisor. An extensive experimental evaluation has been performed on the popular Raspberry Pi 2 board, showing the effectiveness of the implemented solutions on a case-study composed of multiple Linux domains running state-of-the-art benchmarks.

Authors: Paolo Modica, Alessandro Biondi, Giorgio Buttazzo, and Anup Patel

Conference: 2018 IEEE International Conference on Industrial Technology (ICIT)

Links: The final published paper is available in ICIT 2018 conference proceedings while the accepted version of paper can be viewed or downloaded from here.