Очень важной является, по мнению авторов, проблема соответствия наборов свойств реальной и виртуализируемой архитектур. Действительно, если в архитектуре реальной машины присутствует некоторое свойство, переносимое в архитектуру виртуальной машины, то такой перенос должен быть обеспечен либо программно (моделирование), либо в реальной архитектуре имеется некоторое средство «проецирования». Спрашивается, следует ли переносить в виртуальную архитектуру свойства, ориентированные, например, на обеспечение функционирования системы виртуальных машин? В частности, следует ли снабжать виртуальную архитектуру средствами «проецирования» свойств, если таковые в реальной архитектуре имеются?

Такая рекурсия может являться источником весьма серьезных фудностей и потерь при реализации. Понимание этого приводит к следующему утверждению: для эффективной реализации концепции виртуальной машины реальная архитектура должна быть шире архитектуры создаваемых виртуальных машин, по крайней мере в части средств, предназначенных для реализации системы виртуальных машин.

Для операционной системы СВМ ЕС и аналогичных ей систем (например, М/370) архитектура виртуальной машины совпадает с архитектурой реальной машины. Эту архитектуру (т. е. архитектуру ІВМ/370 или совместимую с ней архитектуру ЕС ЭВМ 2й очереди) будем в дальнейшем называть базовой. Проанализируем реализацию виртуальной машины в рамках базовой архитектуры и попытаемся определить свойства этой архитектуры, влияющие на эффективность реализации.