Out of Hypervisor (OoH): When Nested Virtualization Becomes Practical

02/27/2022
by   Stella Bitchebe, et al.
0

This paper introduces Out of Hypervisor (OoH), a new research axis close to nested virtualization. Instead of emulating a full virtual hardware inside a VM to support a hypervisor, the OoH principle is to individually expose current hypervisor-oriented hardware virtualization features to the guest OS so that its processes could also take benefit from those features. In fact, several hardware virtualization features such as Intel PML, SPP, CAT, and EPT which currently can only be used by the hypervisor also be beneficial for processes that run inside the VM. We illustrate OoH with Intel PML (Page Modification Logging), a feature which allows efficient dirty page tracking for improving VM live migration. According to the fact that dirty page tracking is at the heart of process checkpointing (CRIU) and concurrent garbage collection (Boehm), we present two OoH PML designs namely Shadow PML (SPML) and Extended PML (EPML). The former requires no hardware changes but incurs significant overhead, justifying EPML which extends PML. We evaluated and compared SPML and EPML with /proc and userfaultfd,t wo default solutions in Linux. We do this using a key-value store database as the benchmark. The results show that EPML reduces CRIU checkpointing time by about 14 about 0.5

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/26/2020

Intel Page Modification Logging, a hardware virtualization feature: study and improvement for virtual machine working set estimation

Intel Page Modification Logging (PML) is a novel hardware feature for tr...
research
06/22/2018

Assumption Commitment Types for Resource Management in Virtually Timed Ambients

This paper introduces a type system for resource management in the conte...
research
11/18/2018

libmpk: Software Abstraction for Intel Memory Protection Keys

Intel memory protection keys (MPK) is a new hardware feature to support ...
research
10/11/2019

Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines

Multi-socket machines with 1-100 TBs of physical memory are becoming pre...
research
01/28/2018

Virtual Breakpoints for x86/64

Efficient, reliable trapping of execution in a program at the desired lo...
research
08/25/2022

Apptainer Without Setuid

Apptainer (formerly known as Singularity) since its beginning implemente...
research
12/04/2018

A small and adaptive coprocessor for information flow tracking in ARM SoCs

DIFT (Dynamic Information Flow Tracking) has been a hot topic for more t...

Please sign up or login with your details

Forgot password? Click here to reset