Patent ID: 8661181

Claim:
A method, comprising: defining a virtual address; defining a virtual machine to access virtual memory using the virtual address; assigning a virtual machine identifier to the virtual machine; determining whether a first buffer store includes a physical address corresponding to the virtual address; in response to determining that the first buffer store excludes the physical address corresponding to the virtual address, verifying at a protection unit whether the physical address referenced by the virtual address is within boundaries of one or more physical system memory regions assigned to the virtual machine; in response to determining that the first buffer store is inconsistent with guest software executing in the virtual machine due to a page-fault in the virtual machine, examining a guest page-table associated with the guest software; and in response to determining that the guest page-table does not include a valid entry based on the examining, determining that the page fault is a true page-fault and injecting the page fault into the virtual machine.