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

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

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

相关

  • 滑膜炎滑膜炎是滑膜(英语:Synovial membrane)发炎的医学术语。滑膜内衬于具有空腔的关节,称为滑液关节。滑膜炎常造成疼痛,尤其是在关节活动时。由于滑液的增生累积,关节通常会肿胀。滑
  • 刹帝利刹帝利(梵文:क्षत्रियः kṣatriya),瓦尔那之一,是古印度种姓制度中的军事贵族,包括国王以下的各级官吏,掌握国家除神权之外一切权力。刹帝利也有高下之分。可分成切特利与
  • 卢弘喆卢弘喆(朝鲜语:노홍철/盧弘喆 Ro Hong Chul;英语: Ro Hong-chul;1979年3月31日-)出生于韩国首尔,是韩国艺人及主持人。卢弘喆是韩国著名综艺节目《无限挑战》的前主持人,以“疯孩子”
  • 灯塔山灯塔山(Beacon Hill)是美国波士顿一个古老的街区,连同后湾(Back Bay)共有约26,000人。这是一个由联邦式联排住宅组成的街区,以其煤气灯照明的狭窄街道和砖砌人行道著称。今天,灯塔
  • 预报模式数值天气预报,或称数值天气预测、天气数值预测、数值预报,是一种根据大气的数学模型、利用当前天气状况作为输入数据而作出天气预报的手段。尽管早在1920年代时已有人作出过尝
  • 传统音乐朝鲜传统音乐或韩国传统音乐分为民俗音乐和宫廷音乐两种。朝鲜传统民俗音乐形式多样,主要包括盘索里、农乐和散调等。其中盘索里作为一种朝鲜传统曲艺形式列入了人类非物质文
  • 张又天张佑天(Jacky Chu,1979年8月22日-),本名祝钒刚、张又天,是台湾男歌手。是前台湾男子偶像团体183club的主唱。哥哥亦为歌手祝锵博。
  • 芝加哥商品交易所芝加哥期货交易所(英文:Chicago Board of Trade,缩写:CBOT)是美国芝加哥的期货交易所,成立于1848年是世界上最古老的期货和期权交易所。旗下有50种以上期货和期权产品总计3600个项
  • 古着古着,由日本流行而来,衣物是具有历史及故事的,而非单纯二手的定义。称之为“古著”的衣物,年代介于1920-1980年间,但不是这期间的衣物就是古著,不同性质的古著有不同的年代来界定
  • 2S25反战车自走炮2S25“章鱼-SD”自行反坦克炮(俄语:2С25 «Спрут-СД»;俄语罗马化:2S25 "Sprut-SD")是一款由俄罗斯的伏尔加格勒牵引机工厂股份有限公司(以下简称伏尔加格勒公司)为俄罗斯空