SYSTEM AND METHOD FOR AVOIDING SYNCHRONIZATION BUGS THROUGH VIRTUALIZATION
    1.
    发明申请
    SYSTEM AND METHOD FOR AVOIDING SYNCHRONIZATION BUGS THROUGH VIRTUALIZATION 审中-公开
    通过虚拟化避免同步错误的系统和方法

    公开(公告)号:US20140108860A1

    公开(公告)日:2014-04-17

    申请号:US14050322

    申请日:2013-10-09

    Applicant: VMware, Inc.

    Abstract: A system and method for reducing the likelihood of concurrency errors by identifying vulnerable segments of computer code and stalling other virtual machine threads of execution. According to one embodiment of the present invention, the vulnerable segment is identified at runtime, for example in a dynamic translator. According to another embodiment of the present invention, the vulnerable segment is identified ahead of time, for example in a static translator. According to yet another embodiment of the present invention, the vulnerable segment is identified in the binary translator of a virtual machine monitor.

    Abstract translation: 通过识别计算机代码的易受攻击的部分并拖延执行其他虚拟机线程来减少并发错误的可能性的系统和方法。 根据本发明的一个实施例,在运行时识别易受攻击的段,例如在动态翻译器中。 根据本发明的另一个实施例,提前识别易受攻击的段,例如在静态转换器中。 根据本发明的另一个实施例,在虚拟机监视器的二进制转换器中识别易受攻击的段。

    SYSTEM AND METHOD FOR IMPROVING MEMORY LOCALITY OF VIRTUAL MACHINES
    2.
    发明申请
    SYSTEM AND METHOD FOR IMPROVING MEMORY LOCALITY OF VIRTUAL MACHINES 有权
    用于改善虚拟机的存储器本地化的系统和方法

    公开(公告)号:US20130067135A1

    公开(公告)日:2013-03-14

    申请号:US13670223

    申请日:2012-11-06

    Applicant: VMware, Inc.

    CPC classification number: G06F9/5033 G06F9/45558 G06F9/4856 G06F2009/4557

    Abstract: A system and related method of operation for migrating the memory of a virtual machine from one NUMA node to another. Once the VM is migrated to a new node, migration of memory pages is performed while giving priority to the most utilized pages, so that access to these pages becomes local as soon as possible. Various heuristics are described to enable different implementations for different situations or scenarios.

    Abstract translation: 将虚拟机的存储器从一个NUMA节点迁移到另一个NUMA节点的系统和相关操作方法。 一旦将VM迁移到新节点,就会在优先使用最多的页面的同时执行内存页面的迁移,以便尽快访问这些页面。 描述了各种启发式方法,以实现不同情况或场景的不同实现。

    PREDICTION MECHANISM FOR SUBROUTINE RETURNS IN BINARY TRANSLATION SUB-SYSTEMS OF COMPUTERS

    公开(公告)号:US20180189041A1

    公开(公告)日:2018-07-05

    申请号:US15806288

    申请日:2017-11-07

    Applicant: VMware, Inc.

    Inventor: Ole AGESEN

    Abstract: A sequence of input language (IL) instructions of a guest system is converted, for example by binary translation, into a corresponding sequence of output language (OL) instructions of a host system, which executes the OL instructions. In order to determine the return address after any IL call to a subroutine at a target entry address P, the corresponding OL return address is stored in an array at a location determined by an index calculated as a function of P. After completion of execution of the OL translation of the IL subroutine, execution is transferred to the address stored in the array at the location where the OL return address was previously stored. A confirm instruction block is included in each OL call site to determine whether the transfer was to the correct or incorrect call site, and a back-up routine is included to handle the cases of incorrect call sites.

    Efficient Virtualization of Input/Output Completions for a Virtual Device
    4.
    发明申请
    Efficient Virtualization of Input/Output Completions for a Virtual Device 有权
    虚拟设备的输入/输出完成的高效虚拟化

    公开(公告)号:US20130326518A1

    公开(公告)日:2013-12-05

    申请号:US13963442

    申请日:2013-08-09

    Applicant: VMware, Inc.

    CPC classification number: G06F9/45508 G06F9/45558 G06F9/4825 G06F2009/45579

    Abstract: Completion interrupts corresponding to I/O requests issued by a virtual machine guest, which runs on a host platform, are virtualized in such a way that I/O completion interrupts to the requesting guest are delivered no faster than it can stably handle them, but, when possible, faster than the nominal speed of a virtual device to which a virtual machine addresses the I/O request. In general, completion events received from the host platform in response to guest I/O requests are examined with respect to time. If enough time has passed that the virtual device would normally have completed the I/O request, then the completion interrupt is delivered to the guest. If the nominal time has not elapsed, however, the invention enqueues and time-stamps the event and delivers it at the earliest of a) the normal maturity time, or b) at a safepoint.

    Abstract translation: 在主机平台上运行的虚拟机访客发出的I / O请求相应的完成中断被虚拟化,使得对请求的客户端的I / O完成中断的传送速度不会比可以稳定地处理它们的速度更快,而是 在可能的情况下,虚拟机对于I / O请求所对应的虚拟设备的标称速度更快。 一般来说,根据客户端I / O请求从主机平台接收到的完成事件将相对于时间进行检查。 如果虚拟设备通常已经完成了I / O请求的足够的时间,则完成中断将传递给客户端。 然而,如果没有经过标称时间,本发明会在a)正常到期时间的最早时间排队和时间戳,并且b)在一个安全点。

    LARGE-PAGE OPTIMIZATION IN VIRTUAL MEMORY PAGING SYSTEMS

    公开(公告)号:US20170212843A1

    公开(公告)日:2017-07-27

    申请号:US15483250

    申请日:2017-04-10

    Applicant: VMware, Inc.

    Inventor: Ole AGESEN

    Abstract: A computer system that is programmed with virtual memory accesses to physical memory employs multi-bit counters associated with its page table entries. When a page walker visits a page table entry, the multi-bit counter associated with that page table entry is incremented by one. The computer operating system uses the counts in the multi-bit counters of different page table entries to determine where large pages can be deployed effectively. In a virtualized computer system having a nested paging system, multi-bit counters associated with both its primary page table entries and its nested page table entries are used. These multi-bit counters are incremented during nested page walks. Subsequently, the guest operating systems and the virtual machine monitors use the counts in the appropriate multi-bit counters to determine where large pages can be deployed effectively.

    SYSTEM AND METHOD FOR MAINTAINING MEMORY PAGE SHARING IN A VIRTUAL ENVIRONMENT
    6.
    发明申请
    SYSTEM AND METHOD FOR MAINTAINING MEMORY PAGE SHARING IN A VIRTUAL ENVIRONMENT 有权
    维护虚拟环境中的内存页面共享的系统和方法

    公开(公告)号:US20130159635A1

    公开(公告)日:2013-06-20

    申请号:US13768637

    申请日:2013-02-15

    Applicant: VMware, Inc.

    Inventor: Ole AGESEN

    CPC classification number: G06F12/08 G06F9/45537 G06F9/544 G06F2209/542

    Abstract: In a virtualized system using memory page sharing, a method is provided for maintaining sharing when Guest code attempts to write to the shared memory. In one embodiment, virtualization logic uses a pattern matcher to recognize and intercept page zeroing code in the Guest OS. When the page zeroing code is about to run against a page that is already zeroed, i.e., contains all zeros, and is being shared, the memory writes in the page zeroing code have no effect. The virtualization logic skips over the writes, providing an appearance that the Guest OS page zeroing code has run to completion but without performing any of the writes that would have caused a loss of page sharing. The pattern matcher can be part of a binary translator that inspects code before it executes.

    Abstract translation: 在使用内存页面共享的虚拟化系统中,提供了一种方法,用于在访客代码尝试写入共享内存时保持共享。 在一个实施例中,虚拟化逻辑使用模式匹配器来识别和拦截访客操作系统中的页面归零代码。 当页面归零代码即将针对已经归零的页面运行时,即包含全部零,并且正在共享时,页面调零代码中的内存写入不起作用。 虚拟化逻辑跳过写入,提供Guest OS页面调零代码已经运行到完成的外观,但不执行会导致页面共享丢失的任何写入。 模式匹配器可以是在执行代码之前检查代码的二进制转换器的一部分。

Patent Agency Ranking