Set of conditions sufficient for a computer architecture to support system virtualization efficiently