Specyfikacja
Specyfikacja problemu wirtualizacji
W artykule Formal Requirements for Virtualizable Third Generation Architectures Gerald J.Popek i Robert P.Goldberg formalnie zdefiniowali zbiór warunków dotyczących architektury komputera koniecznych i wystarczających by efektywnie wspierać wirtualizację.
- Monitor maszyny wirtualnej postrzegany jako część oprogramowania powinien dostarczać programom środowiska identycznego z tym w oryginalnym systemie nie powodując przy tym spadku ich wydajności i mieć całkowitą kontrolę nad zasobami systemu.
- Maszyna wirtualna - środowisko stworzone przez wirtualny monitor - powinna być wydajną, wyizolowaną kopią rzeczywistej maszyny
- Przeważająca większość instrukcji procesora powinna być wykonywana bezpośrednio bez interwencji monitora.