A method for managing virtual memory including placing a first virtual
memory page in a physical memory page to create a virtual-to-physical
memory mapping, associating a first page mapping cookie value with the
virtual-to-physical memory mapping, determining whether the
virtual-to-physical memory mapping is valid using the first page mapping
cookie value, and performing a memory operation addressing the first
virtual memory page if the virtual-to-physical memory mapping is valid.