Synchronizing a translation lookaside buffer with an extended paging table

摘要

A processor including logic to execute an instruction to synchronize a mapping from a physical address of a guest of a virtualization based system (guest physical address) to a physical address of the host of the virtualization based system (host physical address), and stored in a translation lookaside buffer (TLB), with a corresponding mapping stored in an extended paging table (EPT) of the virtualization based system.

主权项

1. A multi-core processor comprising:
a first register to reference a set of page tables, the set of page tables to provide a mapping of guest virtual addresses to guest physical addresses; a second register to reference a set of extended page tables to provide a mapping of guest physical addresses to host physical addresses; access logic to determine whether use of the set of extended page tables is enabled; address translation logic to access the set of page tables and the set of extended page tables to translate a guest virtual address to a guest physical address and to translate the guest physical address to a host physical address in response to a memory access request including the guest virtual address; a translation look-aside buffer (TLB) to cache guest virtual address to guest physical address translations and guest physical address to host physical address translations in corresponding TLB entries; execution logic, in response to a TLB invalidate instruction, to invalidate a TLB entry associated with a guest physical address to host physical address translation, the TLB invalidate instruction to specify the guest physical address in an operand of the TLB invalidate instruction; and graphics processing logic.