公开(公告)号：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.

公开(公告)号：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引入非确定性。