公开(公告)号：US20170228320A1

公开(公告)日：2017-08-10

申请号：US15437369

申请日：2017-02-20

Applicant: VMware, Inc.

Inventor： Vyacheslav Vladimirovich MALYUGIN ,  Boris WEISSMAN ,  Ganesh VENKITACHALAM ,  Min XU

IPC: G06F12/1027 ,  G06F12/1009 ,  G06F12/1045 ,  G06F9/455 ,  G06F12/0891

CPC classification number: G06F12/1027 ,  G06F9/45558 ,  G06F12/0891 ,  G06F12/1009 ,  G06F12/1036 ,  G06F12/1045 ,  G06F12/109 ,  G06F2009/45583 ,  G06F2212/152 ,  G06F2212/305 ,  G06F2212/65 ,  G06F2212/683

Abstract: The translation lookaside buffer (TLB) of a processor is kept in synchronization with a guest page table by use of an indicator referred to as a “T” bit. The T bit of the NPT/EPT entries mapping the guest page table are set when a page walk is performed on the NPT/EPT. When modifications are made to pages mapped by NPT/EPT entries with their T bit set, changes to the TLB are made so that the TLB remains in synchronization with the guest page table. Accordingly, record/replay of virtual machines of virtualized computer systems may be performed reliably with no non-determinism introduced by stale TLBs that fall out of synchronization with the guest page table.

公开(公告)号：US20140149792A1

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

申请号：US14170016

申请日：2014-01-31

Applicant: VMware, Inc.

Inventor： Daniel J. SCALES ,  Pratap SUBRAHMANYAM ,  Ganesh VENKITACHALAM ,  Michael NELSON

IPC: G06F11/14

CPC classification number: G06F11/1407 ,  G06F9/45558 ,  G06F11/1484 ,  G06F11/2038 ,  G06F11/2048 ,  G06F11/2097 ,  G06F2009/45583

Abstract: A virtualization platform provides fault tolerance for a primary virtual machine by continuously transmitting checkpoint information of the primary virtual machine to a collector process, such as a backup virtual machine. When implemented on a hardware platform comprising a multi-processor that supports nested page tables, the virtualization platform leverages the nested page table support to quickly identify memory pages that have been modified between checkpoints. The backup virtual machine provides feedback information to assist the virtualization platform in identifying candidate memory pages for transmitting actual modifications to the memory pages rather than the entire memory page as part of the checkpoint information. The virtualization platform further maintains a modification history data structure to identify memory pages that can be transmitted simultaneous with the execution of the primary virtual machine rather than while the primary virtual machine has been stunned.

Abstract translation: 虚拟化平台通过将主虚拟机的检查点信息连续传送到诸如备份虚拟机的收集器进程来为主虚拟机提供容错。 当在包含支持嵌套页表的多处理器的硬件平台上实现时，虚拟化平台利用嵌套页表支持来快速识别在检查点之间已经被修改的内存页。 备份虚拟机提供反馈信息，以帮助虚拟化平台识别用于发送对存储器页的实际修改的候选存储器页，而不是作为检查点信息的一部分的整个存储器页。 虚拟化平台还维护修改历史数据结构，以识别可以与主虚拟机的执行同时发送的存储器页面，而不是在主虚拟机被击晕时。

公开(公告)号：US20130290689A1

公开(公告)日：2013-10-31

申请号：US13926605

申请日：2013-06-25

Applicant: VMware, Inc.

Inventor： Vyacheslav V. MALYUGIN ,  Min XU ,  Boris WEISSMAN ,  Ganesh VENKITACHALAM ,  Alexander KLAIBER

IPC: G06F9/30

CPC classification number: G06F9/30145 ,  G06F9/3005 ,  G06F9/45533 ,  G06F11/301 ,  G06F11/3024 ,  G06F11/3414 ,  G06F11/3476

Abstract: The output of a non-deterministic instruction is handled during record and replay in a virtual machine. An output of a non-deterministic instruction is stored to a buffer during record mode and retrieved from a buffer during replay mode without exiting to the hypervisor. At least part of the contents of the buffer can be stored to a log when the buffer is full during record mode, and the buffer can be replenished from a log when the buffer is empty during replay mode.

Abstract translation: 非确定性指令的输出在虚拟机中的记录和重放期间被处理。 非确定性指令的输出在记录模式下被存储到缓冲器中，并且在重放模式期间从缓冲器中检索，而不退出管理程序。 当缓冲区在记录模式期间满时，缓冲区内容的至少一部分可以存储到日志中，并且当缓冲区在重放模式期间为空时，缓冲区可以从日志补充。

公开(公告)号：US20160371086A1

公开(公告)日：2016-12-22

申请号：US15256489

申请日：2016-09-02

Applicant: VMware, Inc.

Inventor： Vyacheslav V. MALYUGIN ,  Min XU ,  Boris WEISSMAN ,  Ganesh VENKITACHALAM ,  Alexander KLAIBER

IPC: G06F9/30 ,  G06F11/34 ,  G06F11/30

CPC classification number: G06F9/30145 ,  G06F9/3005 ,  G06F9/45533 ,  G06F11/301 ,  G06F11/3024 ,  G06F11/3414 ,  G06F11/3476

Abstract: The output of a non-deterministic instruction is handled during record and replay in a virtual machine. An output of a non-deterministic instruction is stored to a buffer during record mode and retrieved from a buffer during replay mode without exiting to the hypervisor. At least part of the contents of the buffer can be stored to a log when the buffer is full during record mode, and the buffer can be replenished from a log when the buffer is empty during replay mode.

公开(公告)号：US20160085686A1

公开(公告)日：2016-03-24

申请号：US14954346

申请日：2015-11-30

Applicant: VMware, Inc.

Inventor： Vyacheslav Vladimirovich MALYUGIN ,  Boris WEISSMAN ,  Ganesh VENKITACHALAM ,  Min XU

IPC: G06F12/10 ,  G06F12/08

CPC classification number: G06F12/1027 ,  G06F9/45558 ,  G06F12/0891 ,  G06F12/1009 ,  G06F12/1036 ,  G06F12/1045 ,  G06F12/109 ,  G06F2009/45583 ,  G06F2212/152 ,  G06F2212/305 ,  G06F2212/65 ,  G06F2212/683

Abstract: The translation lookaside buffer (TLB) of a processor is kept in synchronization with a guest page table by use of an indicator referred to as a “T” bit. The T bit of the NPT/EPT entries mapping the guest page table are set when a page walk is performed on the NPT/EPT. When modifications are made to pages mapped by NPT/EPT entries with their T bit set, changes to the TLB are made so that the TLB remains in synchronization with the guest page table. Accordingly, record/replay of virtual machines of virtualized computer systems may be performed reliably with no non-determinism introduced by stale TLBs that fall out of synchronization with the guest page table.

Abstract translation: 处理器的翻译后备缓冲器（TLB）通过使用称为“T”位的指示符与访客页表保持同步。 在NPT / EPT上执行页面移动时，设置映射访客页表的NPT / EPT条目的T位。 当对具有T位置位的NPT / EPT条目映射的页面进行修改时，进行TLB的更改，使得TLB与访客页表保持同步。 因此，可以可靠地执行虚拟化计算机系统的虚拟机的记录/重放，而不会由与访客页表不同步的失效TLB引入非确定性。