You may also be interested in seeing how well the x86 processor met these requirements (before they added hardware virtualization support, of course):<p><a href="https://www.usenix.org/legacy/events/sec2000/robin.html" rel="nofollow">https://www.usenix.org/legacy/events/sec2000/robin.html</a><p>This is the reason why early versions of VMware (ca 1998-2006) had to use dynamic binary translation for virtualization.