公开(公告)号：US09304766B2

公开(公告)日：2016-04-05

申请号：US14186381

申请日：2014-02-21

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin

IPC分类号： G06F9/44

CPC分类号： G06F8/71

摘要： Systems and methods for determining a character sequence digest. An example method may comprise: identifying, within a character sequence, one or more sections, wherein each section comprises a section header and one or more section bodies; performing the following operations for each identified section body: responsive to determining that the section body is not preceded by a section header, prepending a section header to the section body; calculating a section digest by applying a hash function to the section comprising the section header and the section body; and calculating a digest of the character sequence by applying a symmetric summing operation to one or more section digests.

摘要翻译： 用于确定字符序列摘要的系统和方法。 示例性方法可以包括：在字符序列内识别一个或多个部分，其中每个部分包括部分标题和一个或多个部分主体; 对于每个识别的部分主体执行以下操作：响应于确定部分主体之前没有部分标题，在节部分前面加上部分标题; 通过将哈希函数应用于包括区段标题和段体的部分来计算段摘要; 以及通过对一个或多个部分摘要应用对称求和操作来计算所述字符序列的摘要。

公开(公告)号：US20150347171A1

公开(公告)日：2015-12-03

申请号：US14288673

申请日：2014-05-28

申请人： RED HAT ISRAEL, LTD.

发明人： Michael Tsirkin

IPC分类号： G06F9/455 ,  G06F9/45

CPC分类号： G06F9/45558 ,  G06F8/53 ,  G06F9/4411 ,  G06F9/45533

摘要： A system and methods are disclosed for detecting inconsistent instances of a system table in a virtualized computer system. In accordance with one embodiment, a processing device decompiles a first binary representing a first instance of a system table, to obtain a first string of symbols. The processing device also decompiles a second binary representing a second instance of the system table that is associated with guest firmware of a first virtual machine, to obtain a second string of symbols. When there is a difference between the first string of symbols and the second string of symbols and the difference is unrelated to a compiler version and a temporary variable name, a signal indicating an inconsistency between the first instance and the second instance is generated.

摘要翻译： 公开了一种用于检测虚拟化计算机系统中系统表的不一致实例的系统和方法。 根据一个实施例，处理设备反编译表示系统表的第一实例的第一二进制，以获得第一符号串。 处理装置还对表示与第一虚拟机的访客固件相关联的系统表的第二实例的第二二进制进行反编译以获得第二符号串。 当第一个符号串和第二个符号串之间存在差异，并且该差异与编译器版本和临时变量名称无关时，产生指示第一个实例和第二个实例之间不一致的信号。

公开(公告)号：US20150324485A1

公开(公告)日：2015-11-12

申请号：US14272445

申请日：2014-05-07

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin

IPC分类号： G06F17/30

CPC分类号： G06F17/30961 ,  G06F17/30864

摘要： Systems and methods are disclosed for determining whether a key is stored in a radix tree. An example system includes a traverser that identifies a container including a sequence of elements. The system also includes a match module that identifies, based on a number of skipped elements in a key, a chunk of the key. The match module determines whether the chunk matches the prefix included in the traversed container. The system further includes a skipping module that when the chunk of the key is determined to match the prefix, skips a number of elements after the chunk in the key. When the chunk of the key is determined to match the prefix, the traverser traverses one or more immediate child containers of the identified container and the search module identifies, based on the number of skipped elements, the chunk of the key.

摘要翻译： 公开了用于确定密钥是否存储在基数树中的系统和方法。 示例系统包括标识包含元素序列的容器的横越器。 该系统还包括匹配模块，其基于密钥中的跳过元素的数量来识别密钥的块。 匹配模块确定该块是否匹配包含在遍历容器中的前缀。 该系统还包括一个跳过模块，当该密钥的块被确定为匹配该前缀时，跳过密钥中的该块之后的多个元素。 当确定密钥的块与前缀匹配时，遍历器遍历识别的容器的一个或多个直接子容器，并且搜索模块基于跳过的元素的数量来识别密钥的块。

公开(公告)号：US20150277962A1

公开(公告)日：2015-10-01

申请号：US14741761

申请日：2015-06-17

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin ,  Ronen Hod

IPC分类号： G06F9/455

CPC分类号： G06F9/45533 ,  G06F9/455 ,  G06F9/48 ,  G06F9/4856 ,  G06F2009/4557

摘要： An example method for adjusting the rate of transfer of the execution state of a virtual machine undergoing live migration may comprise determining, by a processor, a first rate being a rate of change of an execution state of a virtual machine undergoing live migration from a first computer system to a second computer system. The example method may further comprise determining a second rate being a rate of transfer of the execution state of the virtual machine to the second computer system. The example method may further comprise, responsive to determining that a ratio of the first rate to the second rate exceeds a first threshold ratio, suspending the transfer of the virtual machine execution state to the second computer system.

摘要翻译： 用于调整正在进行实时迁移的虚拟机的执行状态的传送速率的示例性方法可以包括：由处理器确定第一速率是从第一个进行实时迁移的虚拟机的执行状态的变化率 计算机系统到第二台计算机系统。 示例性方法还可以包括确定第二速率，即将虚拟机的执行状态传送到第二计算机系统的速率。 示例性方法还可以包括响应于确定第一速率与第二速率的比率超过第一阈值比率，将虚拟机执行状态的传送暂停到第二计算机系统。

公开(公告)号：US20150242221A1

公开(公告)日：2015-08-27

申请号：US14187399

申请日：2014-02-24

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin

IPC分类号： G06F9/445 ,  G06F9/455

CPC分类号： G06F9/45558 ,  G06F2009/45562

摘要： Systems and methods for using linker scripts for loading system configuration tables. An example method may comprise: packaging, by a host computer system, a first system configuration table and a second system configuration table into one or more memory image files; providing a script comprising a first instruction to load the memory image files into a memory of a virtual machine being executed by the host computer system, the script further comprising a second instruction to resolve, in view of a base address, a reference by the first system configuration table to the second system configuration table; and providing the memory image files and the script to the virtual machine.

摘要翻译： 使用链接描述文件加载系统配置表的系统和方法。 示例性方法可以包括：由主计算机系统将第一系统配置表和第二系统配置表打包成一个或多个存储器映像文件; 提供脚本，其包括将所述存储器映像文件加载到由所述主计算机系统执行的虚拟机的存储器中的第一指令，所述脚本还包括第二指令，以便从基地址来解析所述第一 系统配置表到第二个系统配置表; 并将虚拟机的内存映像文件和脚本提供给虚拟机。

公开(公告)号：US20150212956A1

公开(公告)日：2015-07-30

申请号：US14167497

申请日：2014-01-29

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin ,  Henri Han van Riel

IPC分类号： G06F13/34

CPC分类号： G06F13/34 ,  G06F9/4812 ,  G06F9/5027 ,  G06F9/5077 ,  G06F2213/2424

摘要： Systems and methods for directly updating the virtual machine memory by interrupt handlers. An example method may comprise: receiving, by a computer system, an interrupt triggered by a physical device; receiving, by an interrupt handling routine, a data frame from the physical device; identifying a virtual machine to receive the interrupt; and responsive to determining that an active memory context on the computer system matches a memory context of the virtual machine, writing, by the interrupt handling routine, the data frame into a memory of the virtual machine.

摘要翻译： 通过中断处理程序直接更新虚拟机内存的系统和方法。 示例性方法可以包括：由计算机系统接收由物理设备触发的中断; 通过中断处理例程从物理设备接收数据帧; 识别虚拟机以接收中断; 并且响应于确定所述计算机系统上的活动存储器上下文与所述虚拟机的存储器上下文匹配，通过所述中断处理例程将所述数据帧写入所述虚拟机的存储器。

公开(公告)号：US20150212948A1

公开(公告)日：2015-07-30

申请号：US14166533

申请日：2014-01-28

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin

IPC分类号： G06F12/10

CPC分类号： G06F12/1009 ,  G06F9/45558 ,  G06F2009/4557 ,  G06F2212/151 ,  G06F2212/152 ,  G06F2212/657

摘要： Systems and methods for lazy memory transformation in virtual machine live migration. An example method may comprise: receiving, by a computer system, a plurality of transformed memory blocks, each transformed memory block comprising one or more memory pages mapped into an address space of a virtual machine being migrated to the computer system; storing, in a memory data structure, one or more mappings, each mapping comprising a guest virtual address of a memory page and an identifier of a transformed memory block containing the memory page; responsive to detecting an access to a memory page by the virtual machine, identifying, using the memory data structure, a transformed memory block containing the memory page being accessed; and storing in a memory mapped into the address space of the virtual machine the memory page produced by performing a reverse transformation of the transformed memory block.

摘要翻译： 虚拟机实时迁移中的延迟内存转换的系统和方法。 示例性方法可以包括：由计算机系统接收多个变换的存储器块，每个变换的存储器块包括映射到正被迁移到计算机系统的虚拟机的地址空间中的一个或多个存储器页面; 在存储器数据结构中存储一个或多个映射，每个映射包括存储器页面的访客虚拟地址和包含存储器页面的经变换的存储器块的标识符; 响应于检测所述虚拟机对存储器页面的访问，使用所述存储器数据结构来识别包含正在被访问的存储器页面的变换的存储器块; 并且通过执行变换的存储块的反向变换来存储映射到虚拟机的地址空间中的存储器页面的存储器页面。

公开(公告)号：US20150212841A1

公开(公告)日：2015-07-30

申请号：US14168997

申请日：2014-01-30

申请人： RED HAT ISRAEL, LTD.

发明人： Michael Tsirkin ,  Gerd Hoffman

IPC分类号： G06F9/455

CPC分类号： G06F9/45558 ,  G06F9/4418 ,  G06F2009/45575

摘要： A system and method for system table modification in a virtualized computer system are disclosed. In accordance with one embodiment, a hypervisor that is executed by a computer system detects an attempt by a guest operating system of a virtual machine to access a system table. In response to the detecting, the hypervisor determines a hardware configuration of the virtual machine, and populates one or more entries of the system table in view of the hardware configuration.

摘要翻译： 公开了一种虚拟化计算机系统中系统表修改的系统和方法。 根据一个实施例，由计算机系统执行的管理程序检测虚拟机的客户机操作系统尝试访问系统表。 响应于检测，管理程序确定虚拟机的硬件配置，并根据硬件配置填充系统表的一个或多个条目。

公开(公告)号：US20150149687A1

公开(公告)日：2015-05-28

申请号：US14089017

申请日：2013-11-25

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin ,  Karen Noel

IPC分类号： G06F12/08 ,  G06F9/455

CPC分类号： G06F9/45558 ,  G06F12/109 ,  G06F2009/4557

摘要： Systems and methods for virtual machine live migration. An example method may comprise: identifying, by a first computer system executing a virtual machine undergoing live migration to a second computer system, a plurality of stable memory pages comprised by an execution state of the virtual machine, wherein the plurality of stable memory pages comprises memory pages that have not been modified within a defined period of time; transmitting the plurality of stable memory pages to the second computer system; determining that an amount of memory comprised by a plurality of unstable memory pages is below a threshold value, wherein the plurality of unstable memory pages comprises memory pages that have been modified within the defined period of time; and transmitting the plurality of unstable memory pages to the second computer system.

摘要翻译： 虚拟机实时迁移的系统和方法。 示例性方法可以包括：通过执行正在迁移到第二计算机系统的虚拟机的第一计算机系统识别由虚拟机的执行状态组成的多个稳定存储器页，其中所述多个稳定存储器页包括 在定义的时间段内未修改的内存页面; 将所述多个稳定存储器页面发送到所述第二计算机系统; 确定由多个不稳定的存储器页面组成的存储器的量低于阈值，其中所述多个不稳定存储器页面包括在所述限定的时间段内被修改的存储器页面; 以及将所述多个不稳定的存储器页面发送到所述第二计算机系统。

公开(公告)号：US20150149667A1

公开(公告)日：2015-05-28

申请号：US14089493

申请日：2013-11-25

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin

IPC分类号： G06F13/24 ,  G06F5/06

CPC分类号： G06F13/24 ,  G06F5/06

摘要： Systems and methods are disclosed for processing a queue associated with a request. An example system includes an input/output (I/O) interface that receives a request associated with a channel. The example system also includes an association module that determines whether a condition is satisfied. When the condition is determined to not be satisfied, the association module, after a hardware device completes processing the request, decrements an in-flight counter that represents a first amount of data in the channel. When the condition is determined to be satisfied, the association module, before the hardware device completes processing the request, decrements the in-flight counter.

摘要翻译： 公开了用于处理与请求相关联的队列的系统和方法。 示例系统包括接收与频道相关联的请求的输入/输出（I / O）接口。 该示例系统还包括确定条件是否满足的关联模块。 当条件被确定为不满足时，关联模块在硬件设备完成处理该请求之后，递减在通道中表示第一数据量的飞行中计数器。 当确定满足条件时，在硬件设备完成处理请求之前，关联模块减少了飞行中计数器。