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

✍ dations ◷ 2025-07-06 08:51:11 #计算机科学,虚拟机

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

相关

  • 泼尼卡酯泼尼卡酯是一种新型外用药物,属于皮质类固醇,其药效与皮质醇类似。和其他局部用皮质类固醇(如倍他米松)相比,重复使用泼尼卡酯不会很快导致皮肤萎缩。皮质类固醇向来是治疗皮肤病
  • 有尾目有尾目(学名:Urodela)是终身有尾的两栖动物,一共有9科60属约358种,幼体与成体形态上差别不大,主要包括蝾螈、小鲵和大鲵。有尾目动物有发展完全的前肢和后肢,大小大约一致,但四肢细
  • 依达的抉择《修女伊达》(Ida)是一部2013年帕贝尔·帕夫利柯夫斯基执导的波兰黑白剧情片,入选2013年多伦多电影节特别展映单元并赢得FIPRESCI特别展映奖。代表波兰角逐第87届奥斯卡最佳外
  • 美国科学家《美国科学家》(英语:American Scientist)(非正式的缩写是AmSci)是美国发行的一本关于科学和技术的双月刊杂志。自1913年由Sigma Xi科学研究学会出版。每期都包括著名科学家和工
  • 不列巅尼亚不列颠尼亚行省(拉丁语:Britannia;英语:Roman Britain)是指从43年至410年罗马帝国占领大不列颠岛的范围,包括英格兰的大部分与威尔士与及小部分苏格兰南部的地区。罗马帝国入侵前,
  • 凯洛诉新伦敦市案凯洛诉新伦敦市案(Susette Kelo, et al. v. City of New London, et al.),545 U.S. 469 (2005),是美国联邦最高法院判决的一起关于政府是否可以经济发展为理由征用私有财产并转
  • 菲律宾天主教菲律宾和东帝汶是亚洲仅有的两个天主教国家,也是世界第三大天主教国家(前两名分别是巴西和墨西哥)。天主教徒占菲律宾人口的83%,占有绝对优势,从西班牙传入五百年来,天主教一直对
  • 更格卢鼠属更格卢鼠属(学名:),哺乳纲啮齿目异鼠科的一属,而与本属同科的动物尚有小更格卢鼠属()等之数种哺乳动物。更格卢鼠属原产于北美洲西部。其得名乃因以两只后足跳跃时类似澳洲袋鼠之故
  • 最高均数法最高均数方法,又称除数制,是比例代表制投票制度下,一种议席分配的方法,相对于最大余额方法。在最高均数方法,每席所得选票平均数值(均数)最高的政党,可顺序获分配议席。政党每取一席
  • 卢嘉兴纪念馆卢嘉兴纪念馆是一间以纪念台南市文献委员卢嘉兴和展出其作品及文献为宗旨所成立的一个综合性文化展馆,于2012年成立,设立于台南市中西区,经过两年修建整理后,于2014年7月27日开