Popek와 Goldberg의 가상화 요건

1 개요

컴퓨터 아키텍처가 효율적으로 시스템의 가상화를 실현하기 위한 조건
1974년, Gerald J. Popek와 Robert P. Goldberg 논문 ""Formal Requirements for Virtualizable Third Generation Architectures → 가상화 가능한 3세대 아키텍처에 대한 정식 요건"에서 제시됨
컴퓨터 아키텍처가 충분한 가상화 기능을 갖추고 있는지 판단 기준과 가상화된 컴퓨터 아키텍처의 설계에 대한 지침 제시

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

시스템 가상머신: 프로세서, 메모리 기억장치, 주변기기와 같은 하드웨어 자원의 모든 것을 가상화할 수 있는 가상 머신

가상머신 모니터(VMM): 가상머신의 추상화 계층을 제공하는 소프트웨어