Improving virtualization in the presence of software managed translation lookaside buffers
Xen and the art of virtualization