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

✍ dations ◷ 2025-09-14 00:33:46 #计算机科学,虚拟机

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

相关

  • 英国首相列表英国首相(英语:Prime Minister of the United Kingdom),是大不列颠及北爱尔兰联合王国(通称英国)的政治领导人及政府首脑。其主要职责是领导执政党和主持内阁会议,从而掌握立法权和
  • 郑厚植郑厚植(1942年8月26日-),籍贯江苏常州,中国物理学家,中国科学院半导体研究所研究员,半导体超晶格国家重点实验室学术委员会主任,国家“973”计划IT前沿中的量子结构、量子器件及其集
  • 造山带造山运动(Orogeny)是指地壳结构因为板块运动产生剧烈变化,属地壳变动的一种。这种作用会产生岩石高度变形的带状区域,称为造山带(Orogens或Orogenic belts)。“Orogeny”来自希腊
  • 久效磷久效磷(英语:Monocrotophos)是一种有机磷杀虫剂,对人和鸟类也具有毒性。作为一种持久性有机污染物,已在美国等一些国家禁止使用。久效磷主要用于农业,且是一个相对便宜的农药。然
  • 河马形亚目河马形亚目(学名:Whippomorpha)也作 鲸河马亚目,是偶蹄目的一个演化支,其涵义因引用情况而异,在默认偶蹄目包含鲸豚类时,表述为 鲸河马亚目,包含 鲸下目(鲸豚类)和 凹齿下目(河马);在偶蹄
  • 湖南省乡级以上行政区列表以下为中国湖南省乡级以上行政区划(包括地级行政区、县级行政区、乡级行政区划)完全列表。街道镇乡街道乡街道镇街道镇街道镇街道镇乡街道镇镇乡街道镇乡街道镇街道镇乡街道镇
  • 河南工业大学河南工业大学(英语:Henan University of Technology,简称:河工大),位于河南省郑州市,学校前身为创建于1956年的郑州工程学院与郑州工业高等专科学校,两校于2004年合并组建成河南工业
  • 陈述性记忆陈述性记忆(英语:Declarative memory,又名述说记忆、宣告记忆),有时也被称为外显记忆(Explicit memory),是人类长时记忆形式的一种。它指的是能够明确想起某个事件或事实的一种记忆
  • 清龈颚擦音清龈颚擦音为在语音学里辅音之一种,用于一些口语中。清龈颚擦音在国际音标的符号是⟨ɕ⟩。发音时候舌面前部擡起,气流通过舌面前部发出摩擦的声音,声带不振动。 汉语普通话拼
  • 莞岛国际海藻类博览会莞岛国际海藻类博览会(Wando Seaweeds Expo)于2014年首次举办,每三年一届。博览会在大韩民国全罗南道莞岛郡举行,是全世界第一个以海藻类为主题的博览会,包括海参展海藻类产品苔