Foundationপ্রথম নীতি থেকে
LEVEL 12 · Virtualization, Containers & Cloud

Popek-Goldberg Theorem

পপেক-গোল্ডবার্গ থিওরেম

একটা architecture-এ trap-and-emulate দিয়ে দক্ষ VMM বানানো সম্ভব — যদি এবং শুধু যদি সব sensitive instruction একই সাথে privileged instruction হয়।

also: popek-goldberg, virtualization-theorem, classically-virtualizable

VMM-এর তিন শর্ত : Equivalence + Resource Control + Efficiency
trap-and-emulate সম্ভব  ⟺  sensitive instructions ⊆ privileged instructions
  • ১৯৭৪ সালে Gerald Popek ও Robert Goldberg-এর CACM পেপারে প্রকাশিত — IBM System/370-এর মতো architecture-এর প্রসঙ্গে
  • একটা architecture “classically virtualizable” হয় শুধু sensitive ⊆ privileged শর্ত সত্যি হলে
  • Classic x86 (VT-x-পূর্ব) এই শর্ত ভাঙত — POPF-এর মতো instruction sensitive কিন্তু privileged না
  • এটা “virtualization অসম্ভব” বলে না — শুধু বলে বিশুদ্ধ trap-and-emulate একা যথেষ্ট না