Modal Abstractions for Virtualizing Memory Addresses

Ismail Kuru, Colin S. Gordon

Operating system kernels employ virtual memory subsystems, which use a CPU's memory management units (MMUs) to virtualize the addresses of memory regions Operating systems manipula…