Popek와 Goldberg의 가상화 요건

1 개요

컴퓨터 아키텍처가 효율적으로 시스템의 가상화를 실현하기 위한 조건
1974년, Gerald J. Popek와 Robert P. Goldberg 논문 ""Formal Requirements for Virtualizable Third Generation Architectures → 가상화 가능한 3세대 아키텍처에 대한 정식 요건"에서 제시됨
컴퓨터 아키텍처가 충분한 가상화 기능을 갖추고 있는지 판단 기준과 가상화된 컴퓨터 아키텍처의 설계에 대한 지침 제시
시스템 가상머신: 프로세서, 메모리 기억장치, 주변기기와 같은 하드웨어 자원의 모든 것을 가상화할 수 있는 가상 머신
가상머신 모니터(VMM): 가상머신의 추상화 계층을 제공하는 소프트웨어

요건	설명
등가성 (Equivalence)	VMM 상에서 동작하는 프로그램은 실제 머신 상에서 직접 실행한 경우와 본질적으로 같은 행동을 보여야 함
자원 관리 (Resource Control)	VMM은 가상화된 자원을 완전히 그 관리 하에 두어야 함
효율성 (Efficiency)	대부분의 기계 명령을 VMM의 개입없이 실행할 수 있어야 함