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

✍ dations ◷ 2025-06-08 10:02:01 #计算机科学,虚拟机

波佩克与戈德堡虚拟化需求(英语: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来替换。

相关

  • 树枝状聚合物树枝状聚合物,又称树枝化聚合物,是每个重复单元上带有树枝化基元(dendron)的线状聚合物。一个树枝状聚合物大分子往往包含数千树枝化基元。在这方面,他们与球状的树枝状化合物(den
  • 冕牌玻璃冕牌玻璃是由包含大约10%的碱石灰硅酸盐的氧化钾,它有着较低的折射率(大约是1.52)和低色散(阿贝数大约是60)。除了具体以材料命名的冕牌玻璃之外,其他的光学玻璃也有与被称为冕牌
  • 超极本超极本(英语:Ultrabook),有译超级本、超笔记本电脑、超轻薄笔记本电脑、超极致笔记本电脑,是英特尔所提出的一种笔记本电脑类型。比起一般的笔记本电脑,超笔记本电脑的特色为体积
  • 2015年 光州第二十八届夏季世界大学生运动会(韩语:제28회 하계 유니버시아드)于2015年7月3日至7月14日在韩国光州市举行。2009年5月23日,国际大学运动总会宣布由光州市夺得本届赛事的主办权
  • 国王十字火车站国王十字车站(英语:King's Cross Railway Station)是一个1852年启用的大型铁路终点站,位于伦敦市中心的国王十字地区,在卡姆登区与伊斯林顿区的交界线靠卡姆登区一侧。由A501、尤
  • 下城曼哈顿下城(英语:Lower Manhattan,或称Downtown Manhattan)是美国纽约市曼哈顿最南端的部分,其最常见的边界是北到14街,西到哈德孙河,东至东河,南到纽约港(也称为上纽约湾)。当提到曼
  • 外向型经济外向型经济是指以出口贸易为主的经济模式,相对应于内向型经济和自给自足型经济。例如,2004年中华人民共和国出口贸易占国民生产总值的70%以上,就属于外向型经济。
  • 东宁 (台湾古名)东宁(闽南语:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif}Tang-lê
  • 基于汉字写法引入中文的日文非和制汉语词汇大多数日语人名、地名等专有名词以汉字写法直接引入中文,而非引入其他语言专有名词时的音译。有一部分日文的一般词汇亦以汉字写法直接引入中文,这是在汉字文化圈独有的一种现
  • 5-磺基水杨酸5-磺基水杨酸 ,通称磺基水杨酸,可以被用来在尿检中检测尿蛋白质的含量。这种试剂可以导致溶液中的蛋白质沉淀,然后可以用来检测浊度。它也可以用作阳极处理的整体染色。可以用于