Virtual machine monitor having mapping data generator for mapping virtual page of the virtual memory to a physical memory

摘要

A mapping data generator determines a virtual page number of a virtual page where an executable code in an object file is mapped. A virtual page manager manages a virtual page record containing the virtual page number, a first object ID corresponding to the virtual page number, and a detection flag indicative of existence of another virtual page record containing a second object ID identical with the first object ID. A machine page manager manages a machine page record containing the first object ID, and a machine page number to which the virtual page number is mapped. A sharable page detector determines whether a detection flag indicates existence of another virtual page record containing the first object ID and determines whether a machine page number has been set. A page mapper maps a set machine page number to the virtual page number of the access page.