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

✍ dations ◷ 2025-06-29 04:44:51 #计算机科学,虚拟机

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

相关

  • 医学主题词E01诊断类代码列表如下是MeSH"E01"类代码列表。MeSH由美国国家医学图书馆(National Library of Medicine, NLM)。这些内容的来源为文件“2006 MeSH Trees”。
  • 后期中世纪后期 (Late Middle Ages),或称中世纪晚期、中世纪末期、中古后期、中古晚期、中古末期,是历史学者用来描述14世纪至15世纪(约1300年-1499年)欧洲历史的术语。中世纪晚期位
  • 战斗或逃跑反应战斗或逃跑反应(英文:Fight-or-flight response),心理学,生理学名词,为1929年美国生理学家怀特·坎农(Walter Cannon)所创建,其发现机体经一系列的神经和腺体反应将被引发应激,使躯体
  • 硫代钨酸盐硫代钨酸盐是化合物中钨酸根离子中的氧部分或全部被硫取代的物种,如WS2−4。WS2−4可以作为配体和其它过渡金属离子形成配阴离子,如2−、2−、2−等。
  • 理查德·萨瑟兰理查德·克伦斯·萨瑟兰(英文:Richard Kerens Sutherland,1893年11月27日-1966年6月25日)是美国陆军的一名中将(英语:Lieutenant general (United States)),在第二次世界大战的西南太
  • 许朝军许朝军(1980年-)是一位湖北企业家。人人网负责人,点点网、啪啪创始人兼CEO。1980年出生在湖北仙桃市,16岁考入清华大学,2000年毕业于清华大学计算机科学与技术系,先后在ChinaRen、
  • 环尾獴属环尾獴(学名Galidia elegans),一种生活在非洲马达加斯加岛的动物,旧属獴科,今归入食蚁狸科的环尾獴亚科。环尾獴体型较小,体长为32-38厘米,体重仅700-900克。身体细长,体毛为深红色,
  • 水运航运(Shipping)表示透过海上运输和空中运输等方式来运送人或货物。一般来说海上运输的所需时间较长,但运费较为低廉,这是空中运输与陆路运输所不能比拟的。海上运输每次航程能运
  • 过敏性紫斑症类过敏性紫斑(Anaphylactoid purpura)又名Henoch-Schönlein紫斑(Henoch-Schönlein purpura),是一种儿童多发的、主要波及小血管的血管炎,常见临床表现包括紫斑、消化道表现、关
  • 二硫化钼二硫化钼是一种由钼和硫两种元素组成的化合物,化学式为MoS2。这种化合物属于过渡金属二硫族化合物,它有银黑色光泽,在自然界中以辉钼矿的形式存在,辉钼矿是最常见的含钼元素矿石