波佩克与戈德堡虚拟化需求

✍ dations ◷ 2025-07-29 14:10:41 #计算机科学,虚拟机

波佩克与戈德堡虚拟化需求(英语:Popek and Goldberg virtualization requirements)是一组充分条件,用于验证某一计算机体系结构可否被有效虚拟化。杰拉尔德·J·波佩克与罗伯特·P·戈德堡于1974年合作论文《可虚拟第三代架构的规范化条件(英语:Formal Requirements for Virtualizable Third Generation Architectures)》中提出。尽管这组条件基于简单化假设获得,但它们仍为判定一个计算机架构是否能够有效支持虚拟化提供了一个便利方法,也为设计可虚拟化计算机架构给出了指导原则。

系统虚拟机(system virtual machine)是指能够虚拟包括单或多处理器、内存、外存及周边设备在内之全体硬件资源的虚拟机。虚拟机监视器(virtual machine monitor,VMM)是一个软件,用于提供虚拟机的抽象(Abstraction)。当分析一个VMM所创造的环境时,有三点性质值得特别关注:

波佩克与戈德堡认为VMM应具备上述三个性质。今天来看,VMM通常被认为具备前两个性质即可。

波佩克与戈德堡描述了一台物理机为了能够运行具备以上性质之VMM,其指令集架构(Instruction Set Architecture,ISA)必须满足的特征。尽管这些分析使用所谓“第三代架构模型”(如IBM 360和DEC公司的PDP-10)得出相关特征,它们对于现在的计算机也是足够适用的。这个模型包括一个运行于系统或用户模式的CPU,并可以访问线形、统一化可编址内存。它还假设,指令集有一个子集只能运行于系统模式(内核态);内存通过一个重定位寄存器进行寻址。输入/输出和中断未被考虑。

为导出虚拟化需求,波佩克与戈德堡将ISA的全部指令分为三类。

波佩克与戈德堡的分析结果主要归纳如下:

定理1:对于任何传统的第三代计算机,只要其敏感指令是优先级指令的一个子集,就可以为其创建VMM。

直观地说,这条定理指出,欲构造一个VMM,其充分条件是所有可能影响VMM正常工作的指令(即敏感指令)能够自陷并将控制权移交给VMM。这就保证了资源控制;非特权指令则必须被本地(物理机)执行——也就是更有效率地执行。等价性也得到满足。

一个关联问题是递归虚拟化的ISA需求,即探讨在什么样的条件下可以创建一个能运行于自身拷贝上的VMM。波佩克与戈德堡指出,

定理2:一台传统第三代计算机是递归虚拟的,当

定理1所给出的条件可以通过牺牲第三条性质、效率性来放宽。因此,许多按波佩克与戈德堡之定义应归类为非可虚拟的ISA也有VMM。但是,虚拟这种体系结构意味着对一些关键指令,即敏感且非特权指令,必须作出正确处理。动态重编译中常用的补丁方法在这里得到运用:在运行时发现这样的指令,并以自陷到VMM来替换。

相关

  • 里是东亚传统的长度单位,起源于中国周代,当时一里为18引=1800尺,战国、秦汉一里约415.8米,后世实际长度历代不同,传到日本、朝鲜半岛、越南后也有变化;至近代于华语圈也称作华里以
  • 修复DNA修复是细胞中经常运行的一种进程。它使基因组免受损伤和突变,因此对细胞的生存是很重要的。在人的细胞中,一般的代谢活动和环境因素(如紫外线和放射线)都能造成DNA损伤,导致每
  • 六氯乙烷六氯乙烷,分子式为C2Cl6。无色斜方有类似樟脑香味的针状结晶。易升华。不溶于水,溶于乙醇、乙醚、氯仿、苯和油类。为氯代烃中毒性最大的一种。对中枢神经有麻醉作用,可损害肝
  • 菁桐车站菁桐车站位于台湾新北市平溪区,为台湾铁路管理局平溪线的终点站。本站建于1929年,并在2003年5月1日由台北县政府(今新北市政府)文化局公告为古迹。公车站牌名为《菁桐坑》
  • 里施詹姆斯·埃尔罗伊·“吉姆”·里施(英语:James Elroy "Jim" Risch;1943年5月3日-),是一位美国共和党政治人物,现任爱达荷州美国参议院议员 ;前爱达荷州州长。
  • 三虾面三虾面是起源于江苏省苏州的一种面点,在苏州和上海等地享有盛誉,但时令严格,供应期较短。“三虾”指虾仁、虾籽和虾脑。三虾面用春夏之交时节的鲜活河虾,先剔虾籽,再剥虾仁。剩下
  • 马陵之战马陵之战是中国战国时期,魏国为了补偿在桂陵之战时损失,进攻弱小韩国,使其向齐国求救。是齐军在马陵(今河南范县西南)歼灭魏军的著名伏击战:739。上将军太子申被虏后被处死,次将庞
  • 埃梅拉-恩图卡埃梅拉·恩图卡(Emela Ntouka)是一种生活于非洲刚果利夸拉的神秘生物,它的名字在林格拉语中意为“大象杀手“(killer of the elephants)。1981年,美国生物学家与神秘动物学家罗伊
  • 塔塔加龙胆塔塔加龙胆(学名:)是龙胆科龙胆属的高山植物,为一年生草本植物。原产于台湾海拔约2,500—3,500米山区,分布于玉山及中央山脉南段,尤以塔塔加一带居多,为台湾特有种植物。生长在遮阴
  • 生态工法生态工法(Ecological engineering methods),又可能称自然工法,是基于对物种保育、生物多样性、及永续发展的体认而提出的一种新思维和新的施工技术,其内涵包括扬弃因工程建设而阻