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

✍ dations ◷ 2025-04-04 11:13:13 #计算机科学,虚拟机

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

相关

  • 阿兹海默病阿尔茨海默病(拉丁语:Morbus Alzheimer、德语:Alzheimer-Krankheit、英语:Alzheimer's disease,缩写:AD),俗称早老性痴呆、老年痴呆,是一种发病进程缓慢、随着时间不断恶化的神经退化
  • 密苏里州密苏里州(英语:State of Missouri)是美国第24个州,一般被划分在中西部地区之内。州鸟是东蓝鸲,州歌“密苏里华尔兹”,州花为山楂花。密苏里州创建于1821年8月10日,属于路易斯安那购
  • 古罗马人命名习俗在罗马共和国和罗马帝国时代,罗马男性公民名字的命名通常采用三名法(拉丁语:tria nomina),即组成名字的三个部分依次为个人名(praenomen)、氏族名(nomen)和家族名(cognomen),在三名之外
  • 迪昂皮埃尔·迪昂(法语:Pierre Duhem,1861年6月9日-1916年9月14日),法国物理学家、科学史家与科学哲学家。迪昂主要以其在化学热力学领域的工作、对实验非充分决定性的科学哲学探讨以
  • 项链项链是一种戴在脖子上的绳状饰品,通常会使用金,银等贵金属制成,用宝石镶嵌其上。但有时也会使用木头、石头、贝壳、或是塑胶等不同材料。项链是一种挂在脖子上的珠宝饰品。已被
  • 鼠总科鼠,又称老鼠或耗子,即鼠总科(Muroidea),是一种属于啮齿类的总科,其中含有仓鼠、沙鼠、大鼠、小鼠,以及其他亲缘动物。它们广泛分布于南极以外的各个大陆。由于难以测定各分类群之间
  • 洛杉矶FC洛杉矶足球俱乐部(英语:Los Angeles Football Club),通常称为LAFC,是一支位于美国加利福尼亚州洛杉矶的MLS足球队,分属于西部联盟,主场为加州银行体育场。本队和洛杉矶银河共享洛杉
  • 聚电解质聚电解质(polyelectrolyte)是带有可电离基团的长链高分子,这类高分子在极性溶剂中会发生电离,使高分子链上带上电荷。链上带正或负电荷的聚电解质分别叫做聚阳离子或聚阴离子
  • 罗莎手术机器人励罗莎手术机器人(英语:ROSA)是一种医疗手术机器人能够在神经外科手术过程中协助医师减少手术完成时间并提高手术精准度。励罗莎手术机器人被法国的捷迈医疗器材股份有限公司(英
  • 托马斯·普里克里尔托马斯·普里克里尔(捷克语:Tomáš Přikryl;1992年7月4日-)是一位捷克足球运动员。在场上的位置是边锋和前锋。他现在效力于捷克足球甲级联赛球队布拉格杜卡拉足球俱乐部。他也