公开(公告)号：US20150142300A1

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

申请号：US14085980

申请日：2013-11-21

申请人： RED HAT ISRAEL, LTD.

发明人： Michael Tsirkin

IPC分类号： G01C21/00

CPC分类号： G01C21/3415

摘要： Systems and methods for determining alternative navigational routes. An example method may comprise: determining a first route to a destination, the route comprising a plurality of edges of a graph representing a map of navigable paths, wherein each edge represents a path connecting two vertices and each vertex represents at least one of: an endpoint of a path or a junction of two or more paths; and determining a second route to the destination from a point located at least a defined distance from a junction comprised by the first route, along an edge not comprised by the first route.

摘要翻译： 确定替代航行路线的系统和方法。 示例性方法可以包括：确定到目的地的第一路由，路由包括表示可导航路径的映射的图形的多个边缘，其中每个边缘表示连接两个顶点的路径，并且每个顶点表示以下中的至少一个： 路径的端点或两条或多条路径的连接点; 以及沿着不包括所述第一路线的边缘，从至少距离由所述第一路线所包含的连接点限定的距离的点确定到所述目的地的第二路线。

公开(公告)号：US20150058838A1

公开(公告)日：2015-02-26

申请号：US13972544

申请日：2013-08-21

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin

IPC分类号： G06F9/455

CPC分类号： G06F9/45558 ,  G06F9/455 ,  G06F9/45533 ,  G06F9/48 ,  G06F9/4843 ,  G06F9/4856 ,  G06F9/4862 ,  G06F9/4868 ,  G06F9/50 ,  G06F9/5083 ,  G06F9/5088 ,  G06F2009/45579 ,  G06F2009/45595

摘要： Systems and methods are disclosed for switching between an assigned device and an emulated device. An example system includes a device-specific driver and a pass-through device driver included in a hypervisor. A common host backend is bound to at most one of the device-specific driver and pass-through device driver at a time. The assigned and emulated devices access the common host backend. The system also includes a switch module that sends one or more communications to a guest to cause the guest to switch from using at most one of the assigned device or the emulated device to the other of the at most one of the assigned device or the emulated device.

摘要翻译： 公开了用于在分配的设备和仿真设备之间切换的系统和方法。 示例系统包括设备专用驱动程序和包含在管理程序中的直通设备驱动程序。 常见的主机后端一次绑定到设备特定的驱动程序和直通设备驱动程序中的一个。 分配和仿真的设备访问公共主机后端。 该系统还包括交换模块，其将一个或多个通信发送给访客，以使客人从所分配的设备或仿真设备中的至少一个切换到分配的设备中的至少一个或仿真的 设备。

公开(公告)号：US20140365738A1

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

申请号：US13914109

申请日：2013-06-10

申请人： Red Hat Israel, Ltd.

发明人： Ronen Hod ,  Michael Tsirkin

IPC分类号： G06F12/12

CPC分类号： G06F12/122 ,  G06F9/5016 ,  G06F9/5033 ,  G06F11/30 ,  G06F11/3037 ,  G06F11/34 ,  G06F11/3409 ,  G06F11/3442 ,  G06F12/0284 ,  G06F12/08 ,  G06F2201/81 ,  G06F2201/88 ,  G06F2209/509

摘要： Systems and methods for memory page offloading in multi-processor computer systems. An example method may comprise: detecting, by a computer system, a memory pressure condition on a first node; invalidating a page table entry for a memory page residing on the first node; copying the memory page to a second node; and updating the page table entry for the memory page to reference the second node.

摘要翻译： 多处理器计算机系统内存页面卸载的系统和方法。 示例性方法可以包括：通过计算机系统检测第一节点上的存储器压力状况; 使驻留在第一节点上的存储器页面的页表条目无效; 将所述存储器页面复制到第二节点; 以及更新用于存储器页面的页表条目以引用第二节点。

公开(公告)号：US20140245293A1

公开(公告)日：2014-08-28

申请号：US13776417

申请日：2013-02-25

申请人： RED HAT ISRAEL, LTD.

发明人： Michael Tsirkin

IPC分类号： G06F3/06 ,  G06F9/455

CPC分类号： G06F9/45558 ,  G06F3/0604 ,  G06F3/0647 ,  G06F3/067 ,  G06F9/455 ,  G06F9/5088 ,  G06F12/023 ,  G06F2009/4557 ,  G06F2212/152

摘要： A system and method of migration of a VM sharing a memory region with another VM includes identifying, by an identification module, a plurality of VMs running on a source host machine, where the plurality of VMs includes first and second VMs that share a first shared memory region coupled to the source host machine; identifying, by a target module, a host machine as a target for the second VM; allocating, by an allocation module, a second shared memory region coupled to the target host machine for the second VM; stopping, by a migration module, execution of the second VM on the source host machine; and migrating, by the migration module, the second VM to the target host machine.

摘要翻译： 与另一个VM共享存储器区域的VM的迁移的系统和方法包括由识别模块识别在源主机上运行的多个VM，其中多个VM包括共享第一共享的第一和第二VM 存储器区域耦合到源主机; 由目标模块将主机识别为第二VM的目标; 通过分配模块分配耦合到所述第二VM的所述目标主机的第二共享存储器区域; 由迁移模块停止在源主机上执行第二VM; 并由迁移模块将第二个VM迁移到目标主机。

公开(公告)号：US20140241355A1

公开(公告)日：2014-08-28

申请号：US13777891

申请日：2013-02-26

申请人： RED HAT ISRAEL, LTD.

发明人： Michael Tsirkin

IPC分类号： H04L12/56

CPC分类号： H04L45/72 ,  H04L49/358 ,  H04L49/70

摘要： Systems and methods for paravirtualized Internet Protocol over Infiniband (IPoIB) bridging for virtual machines. An example method may comprise associating, by a hypervisor executing on a host computer system, an Infiniband (IB) interface of the host computer system with a paravirtualized IPoIB interface of a virtual machine executing on the host computer system; receiving, via the paravirtualized IPoIB interface, a paravirtualized IPoIB packet originated by the virtual machine, the paravirtualized IPoIB packet comprising an IP packet and a first header including an IPoIB hardware address; translating the paravirtualized IPoIB packet into an IPoIB frame comprising the IP packet and a second header including the IPoIB hardware address; and forwarding the IPoIB frame via the IB interface to one of: an IB switch, an external IB node.

摘要翻译： 针对虚拟机的Infiniband（IPoIB）桥接半虚拟化互联网协议的系统和方法。 示例性方法可以包括通过在主计算机系统上执行的管理程序将主计算机系统的Infiniband（IB）接口与在主计算机系统上执行的虚拟机的半虚拟化IPoIB接口相关联; 通过所述半虚拟IPoIB接口接收由所述虚拟机发起的半虚拟化IPoIB分组，所述半虚拟化IPoIB分组包括IP分组和包括IPoIB硬件地址的第一头部; 将所述半虚拟化IPoIB分组转换成包括所述IP分组的IPoIB帧以及包括所述IPoIB硬件地址的第二报头; 并通过IB接口将IPoIB帧转发到IB交换机，外部IB节点之一。

公开(公告)号：US20140149979A1

公开(公告)日：2014-05-29

申请号：US13686315

申请日：2012-11-27

申请人： RED HAT ISRAEL, LTD.

发明人： Michael Tsirkin ,  Avi Kivity ,  Dor Laor

IPC分类号： G06F9/455

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

摘要： A method and system for managing a virtual computing system including an event source configured to send an event to a destination virtual machine (VM) executing a memory monitoring instruction on a designated address range of a host memory. A hypervisor instructs a destination virtual central processing unit (VCPU) associated with the destination VM to execute the memory monitoring instruction to the designated address range of a memory. A physical CPU associated with the designated address range is configured not to perform an exit to the hypervisor in response to execution of the memory monitoring instruction by the destination VCPU. The hypervisor instructs an event source to write data to the designated address range to send an event for performance by the destination VM, wherein the destination VM wakes up and performs the identified event in response to the event source writing to the identified address range.

摘要翻译： 一种用于管理虚拟计算系统的方法和系统，所述虚拟计算系统包括被配置为将事件发送到在主机存储器的指定地址范围上执行存储器监视指令的目的地虚拟机（VM）的事件源。 管理程序指示与目的地VM相关联的目的地虚拟中央处理单元（VCPU）对存储器的指定地址范围执行存储器监视指令。 与指定的地址范围相关联的物理CPU被配置为不响应于由目的地VCPU执行存储器监视指令而退出管理程序。 管理程序指示事件源将数据写入指定的地址范围以发送目的地VM执行的事件，其中，目的地VM响应于事件源写入所识别的地址范围而唤醒并执行所识别的事件。

公开(公告)号：US11734048B2

公开(公告)日：2023-08-22

申请号：US17408817

申请日：2021-08-23

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin ,  Amnon Ilan

IPC分类号： G06F9/455 ,  G06F9/54 ,  G06F9/50 ,  G06F8/65 ,  G06F12/1009

CPC分类号： G06F9/45558 ,  G06F8/65 ,  G06F9/5077 ,  G06F9/545 ,  G06F12/1009 ,  G06F2009/45583

摘要： Technology for configuring and executing a shallow virtual machine to enhance memory protection between different portions of user space memory of a particular computing process. An example method involves: receiving, by a processor of a host, a request to create a computing process comprising a first and second executable code, wherein the computing process comprises an instruction to cause the processor to switch between first and second page table structures; loading the first and second executable code into memory of the host, wherein the first page table structure comprises mapping data for the first executable code and for the second executable code and wherein the second executable code comprises driver code of a device; updating the second page table structure to disable execution of the first executable code and to provide the second executable code with access to the device; and restricting the first executable code from accessing the device.

公开(公告)号：US11265285B2

公开(公告)日：2022-03-01

申请号：US16261052

申请日：2019-01-29

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin

IPC分类号： H04L29/12 ,  H04L61/103 ,  H04L41/00 ,  G06F9/455 ,  H04L101/622 ,  H04L61/58

摘要： A method performed by a physical computing system includes, with a first virtual entity manager of a first host machine, detecting an Address Resolution Protocol (ARP) request from a first virtual entity supported by the first virtual entity manager to a second virtual entity having a first logical address within a fan network. The method further includes, with the first virtual entity manager, translating the first logical address to a second logical address and transmitting the ARP request to a second host machine using a physical address resolved from the second logical address, the second host machine supporting the second virtual entity. The method further includes receiving a response to the ARP request, the response including a virtualized physical address of the second virtual entity. The method further includes with the first virtual entity manager, forwarding a data packet from the first virtual entity to the virtualized physical address.

公开(公告)号：US20210382747A1

公开(公告)日：2021-12-09

申请号：US17408817

申请日：2021-08-23

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin ,  Amnon Ilan

IPC分类号： G06F9/455 ,  G06F9/54 ,  G06F9/50 ,  G06F8/65 ,  G06F12/1009

摘要： Technology for configuring and executing a shallow virtual machine to enhance memory protection between different portions of user space memory of a particular computing process. An example method involves: receiving, by a processor of a host, a request to create a computing process comprising a first and second executable code, wherein the computing process comprises an instruction to cause the processor to switch between first and second page table structures; loading the first and second executable code into memory of the host, wherein the first page table structure comprises mapping data for the first executable code and for the second executable code and wherein the second executable code comprises driver code of a device; updating the second page table structure to disable execution of the first executable code and to provide the second executable code with access to the device; and restricting the first executable code from accessing the device.

公开(公告)号：US11061730B2

公开(公告)日：2021-07-13

申请号：US15355747

申请日：2016-11-18

申请人： Red Hat Israel, Ltd.

发明人： Michael Tsirkin

IPC分类号： G06F9/50 ,  G06F9/30

摘要： A system and method for scheduling of hyper-threaded CPUs using memory monitoring includes a memory with an operating system memory and a physical processor in communication with the memory. The physical processor includes a first hyper-thread and a second hyper-thread. A monitor instruction to monitor for updates to a designated memory location is executed in the first hyper-thread. The system further includes an operating system to execute on the physical processor and a system call configured to record in the operating system memory that the first hyper-thread is in a memory wait state. The system call is further configured to execute a memory wait instruction in the first hyper-thread. A task is executed in the second hyper-thread while the first hyper-thread is in the memory wait state.