Popek and Goldberg virtualization requirements — set of conditions sufficient for a computer architecture to support system virtualization efficiently