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

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

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

相关

  • 农场痘农场痘(Farmyard pox)为一群与副牛痘病毒(英语:parapoxvirus)相关的人畜共通性的传染性皮肤病:393。包含在此范畴内的疾病包含:393:Template:Cutaneous-infection-stub
  • 胞嘧啶胞嘧啶(英语:cytosine, C),学名为2-羰基-4-氨基嘧啶,是组成DNA的四种基本碱基之一。胞嘧啶核苷、胞嘧啶核苷酸均可作为升高白细胞(白血球)的药物。可由二巯基脲嘧啶、浓氨水和氯乙
  • 美国传统基金会传统基金会(英语:Heritage Foundation)成立于1973年,总部设于美国华盛顿哥伦比亚特区,智库在美国总统雷根任内扮演保守派领导角色(雷根的政策出自传统基金会的政策研究领导授权系
  • 佛光缘美术馆佛光缘美术馆是佛光山旗下的跨国美术馆,正式成立于1994年1月,开始运作是在1994年2月,创办人为星云大师。以佛光山四大宗旨中的“以文化弘扬佛法”作为经营宗旨。成立起源是为筹
  • 粒子个数粒子数是热力学系统中的一个参数,常规用字母N表示,是该系统中的组成粒子数量。粒子数是热力学中的一个基本参数,是与化学势共轭的参数。不同于大多数的物理量,粒子数是一个无因
  • 国际研究型大学联盟国际研究型大学联盟(International Alliance of Research Universities,IARU),是一个由十所国际顶尖研究型大学组成的合作组织,于2006年正式成立。IARU的特色在于联盟规模较精致,
  • 东方联盟东方联盟(英语:Eastern League)是美国北部的一个美国职棒小联盟附属联盟,纵使从1989年起,出现一支俄亥俄州的球队;本联盟自从1963年以来,就位于小联盟的2A等级。本联盟的前身,纽约-宾
  • 布阿莱区布阿莱区(索马里语:Degmada Bu'aale)是索马里的一个区,位于该国南部的中朱巴州,首府为布阿莱。
  • 管礼雅管礼雅(Liah Greenfeld,1954年-)是一名苏联出身的以色列-美国犹太社会学家,以其有关民族主义的几本论述而闻名。出生于海参崴,父母都是受训于列宁格勒的医生。后来全家以犹太人身
  • 激光唱片激光唱片(英语:Compact Disc,缩写:CD;又称镭射唱片)是一种用以存储数字数据的光学盘片,原被开发用作存储数字音频。CD在1982年面世,至今仍然是商业录音的标准存储设备。在CD尚未发明