Popek와 Goldberg의 가상화 요건

1 개요

Popek and Goldberg virtualization requirements

Popek와 Goldberg의 가상화 요건

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

2 특성

• 등가성 (Equivalence)

VMM 상에서 동작하는 프로그램은 실제 머신 상에서 직접 실행한 경우와 본질적으로 같은 행동을 보여야 함

• 자원 관리(Resource Control)

VMM은 가상화된 자원을 완전히 그 관리 하에 두어야 함

• 효율성(Efficiency)

통계적으로 대부분의 기계 명령을 VMM의 개입없이 실행할 수 있어야 함

3 같이 보기

• Gerald J. Popek
• Robert P. Goldberg
• 가상머신
• 가상화

4 참고 자료

• https://en.wikipedia.org/wiki/Popek_and_Goldberg_virtualization_requirements
• http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.141.4815&rep=rep1&type=pdf