PARAVIRTUALIZATION-BASED INTERFACE FOR MEMORY MANAGEMENT IN VIRTUAL MACHINES

摘要

A method for memory virtualization in a system including guest virtual, guest physical and host physical address spaces, a guest pagetable for translating addresses of the guest virtual address space into addresses of the guest physical address space, a shadow pagetable for translating addresses of the guest virtual address space into addresses of the host physical address space, and a hypervisor configured for calculating address entries for the shadow pagetable from valid address entries in the guest pagetable, includes managing, by the hypervisor, one or more shadow pagetable(s) by the hypervisor while a guest context is executed by a guest operating system, wherein the number of shadow pagetable(s) is smaller than or equal to the number of guest contexts in a current working set.

主权项

1. A method for memory virtualization in a system with virtualization support, wherein the system comprises guest virtual, guest physical and host physical address spaces, wherein the system further comprises: a guest pagetable for translating addresses of the guest virtual address space into addresses of the guest physical address space, and a shadow pagetable for translating addresses of the guest virtual address space into addresses of the host physical address space, wherein a guest operating system does not have access to the shadow pagetable, and wherein the system further comprises a hypervisor which is configured for calculating address entries for the shadow pagetable from respectively valid address entries in the guest pagetable, and for entering the calculated address entries for the shadow pagetable into the shadow pagetable, wherein the method comprises:
managing, by the hypervisor, one or more shadow pagetable(s) while a guest context is executed by the guest operating system, wherein the number of shadow pagetable(s) is smaller than or equal to the number of guest contexts in a current working set.