波佩克与戈德堡的虚拟化需求探索（波德戈里察大学）

作者：admin 时间：2023-11-15 12:42:20 阅读数：19人阅读

本文目录一览：

波佩克与戈德堡描述了一台物理机为了能够运行具备以上性质之VMM，其指令集架构（Instruction Set Architecture，ISA）必须满足的特征。

为导出虚拟化需求，波佩克与戈德堡将ISA的全部指令分为三类。优先级指令当处理器处于用户态时自陷，处于内核态时不自陷的指令。控制敏感指令试图改变系统资源配置的指令。

我们就来瞧瞧问世于1974年，用来验证计算机架构能否有效虚拟化的方式「波佩克与戈德堡虚拟化需求」(Popek and Goldberg virtualization requirements) 是如何定义的。

波佩克与戈德堡虚拟化需求是一组充分条件，用于验证某一计算机体系结构可否被有效虚拟化。

虚拟x86是很困难的，因为它的架构并未达到波佩克与戈德堡虚拟化需求。然而，有好几个商业的虚拟x86产品，比如VMware和微软的Virtual PC。Intel和AMD两者都有公开宣布未来的x86处理器将会有新的增强来容易达到更有效率的虚拟。

波佩克与戈德堡的虚拟化需求探索（波德戈里察大学）

一个关联问题是递归虚拟化的ISA需求，即探讨在什么样的条件下可以建立一个能运行于自身拷贝上的VMM。波佩克与戈德堡指出，一台传统第三代计算机是递归虚拟的，当它是可虚拟时可以为它建立一台不加任何时间依赖性的VMM。

波佩克与戈德堡认为VMM应具备上述三个性质。今天来看，VMM通常被认为具备前两个性质即可。波佩克与戈德堡描述了一台物理机为了能够运行具备以上性质之VMM，其指令集架构（Instruction Set Architecture，ISA）必须满足的特征。

波佩克与戈德堡虚拟化需求是一组充分条件，用于验证某一计算机体系结构可否被有效虚拟化。

因享有原生硬体加速，并可透过新增的虚拟机管理指令，反向让作业系统意识到「原来脚底下还有土地公」，强化作业系统和虚拟机器管理者的互动，减少不必要的切换，大幅提升执行效率。

但x86上的硬体虚拟化可没这么简单，科科。

妨碍了内部的技术交流，IA-64团队难以汲取现有x86专案的数据和经验，加重了研发工作的困难度，替由Santa Clara总部操刀的第一代Itanium「Merced」大延期，埋下了灾难的种子。

时不我与。但往好处想，最起码，这还是颗像样的超纯量非循序执行处理器，不是「高科技版本的80486」。

Usb数据采集卡，即实现数据采集(DAQ)功能的计算机扩展卡通过USB接口或USB总线，将从传感器和其它待测设备等模拟和数字被测单元中自动采非电量或者电量信号，传输到上位机中进行分析和处理的数据采集卡，属于监控系统的重要硬件。

数据采集卡即实现数据采集(DAQ)功能的计算机扩展卡，可以通过USB、PXI、PCI、PCI Express、火线(1394)、PCMCIA、ISA、Compact Flash等总线接入个人计算机。

DAQ就是NI的数据采集，是使用计算机测量电压、电流、温度、压力或声音等电子、物理现象的过程。DAQ系统由传感器、DAQ测量硬件和带有可编程软件的计算机组成。

可以获取数字化视频信息，并将其存储和播放出来。

波佩克与戈德堡描述了一台物理机为了能够运行具备以上性质之VMM，其指令集架构（Instruction Set Architecture，ISA）必须满足的特征。

波佩克与戈德堡指出，一台传统第三代计算机是递归虚拟的，当它是可虚拟时可以为它建立一台不加任何时间依赖性的VMM。定理1所给出的条件可以通过牺牲第三条性质、效率性来放宽。

波佩克与戈德堡虚拟化需求是一组充分条件，用于验证某一计算机体系结构可否被有效虚拟化。