公开(公告)号：US08832682B2

公开(公告)日：2014-09-09

申请号：US12058545

申请日：2008-03-28

申请人： Min Xu ,  Vyacheslav V. Malyugin ,  Jeffrey W. Sheldon ,  Ganesh Venkitachalam ,  Boris Weissman

发明人： Min Xu ,  Vyacheslav V. Malyugin ,  Jeffrey W. Sheldon ,  Ganesh Venkitachalam ,  Boris Weissman

IPC分类号： G06F9/455

CPC分类号： G06F9/45533 ,  G06F9/45558 ,  G06F2009/45591

摘要： One embodiment is a computer-implemented method of trace collection for a virtual machine that includes: executing a sequence of instructions from an initial state of the virtual machine; accessing an event log of data relating to nondeterministic events, which data includes an execution point; making at least a portion of the data available to the virtual machine when the sequence reaches the execution point; collecting trace information in response to expansion parameters; and storing the trace information in a trace file.

摘要翻译： 一个实施例是用于虚拟机的跟踪收集的计算机实现的方法，包括：从虚拟机的初始状态执行指令序列; 访问与非确定性事件有关的数据的事件日志，所述数据包括执行点; 当所述序列到达所述执行点时，使所述数据的至少一部分可用于所述虚拟机; 根据扩展参数收集跟踪信息; 并将跟踪信息存储在跟踪文件中。

公开(公告)号：US20090248611A1

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

申请号：US12058545

申请日：2008-03-28

申请人： Min Xu ,  Vyacheslav V. Malyugin ,  Jeffrey W. Sheldon ,  Ganesh Venkitachalam ,  Boris Weissman

发明人： Min Xu ,  Vyacheslav V. Malyugin ,  Jeffrey W. Sheldon ,  Ganesh Venkitachalam ,  Boris Weissman

IPC分类号： G06F17/30

CPC分类号： G06F9/45533 ,  G06F9/45558 ,  G06F2009/45591

摘要： One embodiment is a computer-implemented method of trace collection for a virtual machine that includes: executing a sequence of instructions from an initial state of the virtual machine; accessing an event log of data relating to nondeterministic events, which data includes an execution point; making at least a portion of the data available to the virtual machine when the sequence reaches the execution point; collecting trace information in response to expansion parameters; and storing the trace information in a trace file.

摘要翻译： 一个实施例是用于虚拟机的跟踪收集的计算机实现的方法，包括：从虚拟机的初始状态执行指令序列; 访问与非确定性事件有关的数据的事件日志，所述数据包括执行点; 当所述序列到达所述执行点时，使所述数据的至少一部分可用于所述虚拟机; 根据扩展参数收集跟踪信息; 并将跟踪信息存储在跟踪文件中。

公开(公告)号：US07844954B2

公开(公告)日：2010-11-30

申请号：US12057282

申请日：2008-03-27

申请人： Ganesh Venkitachalam ,  Michael Nelson ,  Boris Weissman ,  Min Xu ,  Vyacheslav V. Malyugin

发明人： Ganesh Venkitachalam ,  Michael Nelson ,  Boris Weissman ,  Min Xu ,  Vyacheslav V. Malyugin

IPC分类号： G06F9/44

CPC分类号： G06F11/3636 ,  G06F9/45558 ,  G06F2009/45591

摘要： A method and computer program product for logging non-deterministic events of a virtual machine executing a sequence guest instructions, the method including tracking an execution point in the sequence of executing guest instructions, the tracking of the execution point including determining a branch count of executed branch instructions; and detecting an occurrence of a non-deterministic event directed to the virtual machine during execution of the sequence of guest instructions, and recording information which includes an identifier of a current execution point, wherein the identifier includes the branch count.

摘要翻译： 一种用于记录执行序列访客指令的虚拟机的非确定性事件的方法和计算机程序产品，所述方法包括跟踪执行访客指令序列中的执行点，执行点的跟踪包括确定执行的分支计数 分支指示; 以及在执行所述访客指令序列期间检测指向所述虚拟机的非确定性事件的发生，以及记录包括当前执行点的标识符的信息，其中所述标识符包括所述分支计数。

公开(公告)号：US20100005464A1

公开(公告)日：2010-01-07

申请号：US12167782

申请日：2008-07-03

申请人： Vyacheslav V. Malyugin ,  Min Xu ,  Boris Weissman ,  Ganesh Venkitachalam ,  Alexander Klaiber

发明人： Vyacheslav V. Malyugin ,  Min Xu ,  Boris Weissman ,  Ganesh Venkitachalam ,  Alexander Klaiber

IPC分类号： G06F9/46

CPC分类号： G06F9/30145 ,  G06F9/3005 ,  G06F9/45533 ,  G06F11/301 ,  G06F11/3024 ,  G06F11/3414 ,  G06F11/3476

摘要： 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.

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

公开(公告)号：US09027003B2

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

申请号：US12059894

申请日：2008-03-31

申请人： Boris Weissman ,  Vyacheslav V. Malyugin ,  Petr Vandrovec ,  Ganesh Venkitachalam ,  Min Xu

发明人： Boris Weissman ,  Vyacheslav V. Malyugin ,  Petr Vandrovec ,  Ganesh Venkitachalam ,  Min Xu

IPC分类号： G06F9/44 ,  G06F9/455 ,  G06F11/34

CPC分类号： G06F9/455 ,  G06F11/3414 ,  G06F11/3476 ,  G06F2201/815 ,  G06F2201/86 ,  G06F2201/88

摘要： A method for precisely counting guest branch instructions in a virtualized computer system is described. In one embodiment, guest instructions execute in a direct execution mode of the virtualized computer system. The direct execution mode operates at a first privilege level having a lower privilege than a second privilege level. A branch count of previously executed first privilege level branch instructions is maintained as instructions execute. Execution of a first privilege level branch instruction caused by a control transfer to the direct execution mode is detected. Responsive to the detection, a guest branch instruction count is determined based on the first privilege level branch count.

摘要翻译： 描述了一种用于精确计算虚拟化计算机系统中的来宾分支指令的方法。 在一个实施例中，客户指令以虚拟化计算机系统的直接执行模式执行。 直接执行模式在具有比第二特权级别更低的特权的第一权限级别下操作。 先前执行的第一特权级别分支指令的分支计数被保持为指令执行。 检测由控制转移到直接执行模式引起的第一特权级分支指令的执行。 响应于检测，基于第一权限级别分支计数确定客户分支指令计数。

公开(公告)号：US08473946B2

公开(公告)日：2013-06-25

申请号：US12167782

申请日：2008-07-03

申请人： Vyacheslav V. Malyugin ,  Min Xu ,  Boris Weissman ,  Ganesh Venkitachalam ,  Alexander Klaiber

发明人： Vyacheslav V. Malyugin ,  Min Xu ,  Boris Weissman ,  Ganesh Venkitachalam ,  Alexander Klaiber

IPC分类号： G06F9/46

CPC分类号： G06F9/30145 ,  G06F9/3005 ,  G06F9/45533 ,  G06F11/301 ,  G06F11/3024 ,  G06F11/3414 ,  G06F11/3476

摘要： 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.

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

公开(公告)号：US20090249049A1

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

申请号：US12059894

申请日：2008-03-31

申请人： Boris Weissman ,  Vyacheslav V. Malyugin ,  Petr Vandrovec ,  Ganesh Venkitachalam ,  Min Xu

发明人： Boris Weissman ,  Vyacheslav V. Malyugin ,  Petr Vandrovec ,  Ganesh Venkitachalam ,  Min Xu

IPC分类号： G06F7/42

CPC分类号： G06F9/455 ,  G06F11/3414 ,  G06F11/3476 ,  G06F2201/815 ,  G06F2201/86 ,  G06F2201/88

摘要： A method for precisely counting guest branch instructions in a virtualized computer system is described. In one embodiment, guest instructions execute in a direct execution mode of the virtualized computer system. The direct execution mode operates at a first privilege level having a lower privilege than a second privilege level. A branch count of previously executed first privilege level branch instructions is maintained as instructions execute. Execution of a first privilege level branch instruction caused by a control transfer to the direct execution mode is detected. Responsive to the detection, a guest branch instruction count is determined based on the first privilege level branch count.

摘要翻译： 描述了一种用于精确计算虚拟化计算机系统中的来宾分支指令的方法。 在一个实施例中，客户指令以虚拟化计算机系统的直接执行模式执行。 直接执行模式在具有比第二特权级别更低的特权的第一权限级别下操作。 先前执行的第一特权级别分支指令的分支计数被保持为指令执行。 检测由控制转移到直接执行模式引起的第一特权级分支指令的执行。 响应于检测，基于第一权限级别分支计数确定客户分支指令计数。

公开(公告)号：US20090119493A1

公开(公告)日：2009-05-07

申请号：US12057282

申请日：2008-03-27

申请人： Ganesh Venkitachalam ,  Michael Nelson ,  Boris Weissman ,  Min Xu ,  Vyacheslav V. Malyugin

发明人： Ganesh Venkitachalam ,  Michael Nelson ,  Boris Weissman ,  Min Xu ,  Vyacheslav V. Malyugin

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

CPC分类号： G06F11/3636 ,  G06F9/45558 ,  G06F2009/45591

摘要： A method and computer program product for logging non-deterministic events of a virtual machine executing a sequence guest instructions, the method including tracking an execution point in the sequence of executing guest instructions, the tracking of the execution point including determining a branch count of executed branch instructions; and detecting an occurrence of a non-deterministic event directed to the virtual machine during execution of the sequence of guest instructions, and recording information which includes an identifier of a current execution point, wherein the identifier includes the branch count.

摘要翻译： 一种用于记录执行序列访客指令的虚拟机的非确定性事件的方法和计算机程序产品，所述方法包括跟踪执行访客指令序列中的执行点，执行点的跟踪包括确定执行的分支计数 分支指示; 以及在执行所述访客指令序列期间检测指向所述虚拟机的非确定性事件的发生，以及记录包括当前执行点的标识符的信息，其中所述标识符包括所述分支计数。

公开(公告)号：US08201169B2

公开(公告)日：2012-06-12

申请号：US12484640

申请日：2009-06-15

申请人： Ganesh Venkitachalam ,  Rohit Jain ,  Boris Weissman ,  Daniel J. Scales ,  Vyacheslav Malyugin ,  Jeffrey W. Sheldon ,  Min Xu

发明人： Ganesh Venkitachalam ,  Rohit Jain ,  Boris Weissman ,  Daniel J. Scales ,  Vyacheslav Malyugin ,  Jeffrey W. Sheldon ,  Min Xu

IPC分类号： G06F9/455 ,  G06F9/46 ,  G06F11/00

CPC分类号： G06F11/1658 ,  G06F9/45533 ,  G06F9/45558 ,  G06F9/4881 ,  G06F11/0712 ,  G06F11/0766 ,  G06F11/079 ,  G06F2009/45579 ,  G06F2009/45591 ,  G06F2201/805 ,  G06F2201/815 ,  G06F2201/82

摘要： In a computer system running a primary virtual machine (VM) on virtualization software on a primary virtualized computer system (VCS) and running a secondary VM on virtualization software on a secondary VCS, a method for the secondary VM to provide quasi-lockstep fault tolerance for the primary VM includes: as the primary VM is executing a workload, virtualization software in the primary VCS is: (a) causing predetermined events to be recorded in an event log, (b) keeping output associated with the predetermined events pending, and (c) sending the log entries to the virtualization software in the secondary VCS; as the secondary VM is replaying the workload, virtualization software in the secondary VCS is: (a) sending acknowledgements indicating that log entries have been received; (b) when the virtualization software encounters one of the predetermined events, searching the log entries to determine whether a log entry corresponding to the same event was received from the primary VCS, and if so, comparing data associated with the predetermined event produced by the secondary VM with that of the primary VM; if there is a match, the virtualization software in the secondary VCS transmitting an acknowledgement to the virtualization software in the primary VCS; one of the virtualization software in the primary or secondary VCS dropping the event and the other dispatching the output; and if there is no match, performing a checkpoint resynchronization.

摘要翻译： 在主虚拟化计算机系统（VCS）上的虚拟化软件上运行主虚拟机（VM）并在辅助VCS上运行虚拟化软件上的辅助虚拟机的计算机系统中，辅助虚拟机提供准锁步骤容错 对于主虚拟机包括：当主虚拟机正在执行工作负载时，主VCS中的虚拟化软件是：（a）使事件日志中记录预定事件，（b）保持与预定事件挂起的输出挂起，以及 （c）将日志条目发送到二级VCS中的虚拟化软件; 当辅助虚拟机正在重播工作负载时，辅助VCS中的虚拟化软件是：（a）发送指示已经接收到日志条目的确认; （b）当虚拟化软件遇到预定事件之一时，搜索日志条目以确定是否从主VCS接收到与同一事件相对应的日志条目，如果是，则将与由该VCS生成的预定事件相关联的数据进行比较 辅助虚拟机与主虚拟机的辅助虚拟机; 如果存在匹配，则次级VCS中的虚拟化软件向主VCS中的虚拟化软件发送确认; 主要或次要VCS中的虚拟化软件之一放弃事件，另一个调度输出; 如果没有匹配，则执行检查点重新同步。

公开(公告)号：US09459895B2

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

申请号：US13471616

申请日：2012-05-15

申请人： Ganesh Venkitachalam ,  Rohit Jain ,  Boris Weissman ,  Daniel J. Scales ,  Vyacheslav Malyugin ,  Jeffrey W. Sheldon ,  Min Xu

发明人： Ganesh Venkitachalam ,  Rohit Jain ,  Boris Weissman ,  Daniel J. Scales ,  Vyacheslav Malyugin ,  Jeffrey W. Sheldon ,  Min Xu

IPC分类号： G06F9/455 ,  G06F11/07

CPC分类号： G06F11/1658 ,  G06F9/45533 ,  G06F9/45558 ,  G06F9/4881 ,  G06F11/0712 ,  G06F11/0766 ,  G06F11/079 ,  G06F2009/45579 ,  G06F2009/45591 ,  G06F2201/805 ,  G06F2201/815 ,  G06F2201/82

摘要： In a computer system running at least a first virtual machine (VM) and a second VM on virtualization software, a computer implemented method for the second VM to provide quasi-lockstep fault tolerance for the first VM. The method includes enabling operations of the second VM to diverge from being in lockstep with operations with the first VM without resynchronizing the second VM with the first VM, if output of the second VM is not diverging from output of the first VM. The output of the second VM is compared with the output of the first VM to determine whether the output of the second VM has diverged from the output of the first VM. In response to a determination that the output of the second VM has diverged from the output of the first VM, a resynchronization of the second VM is executed.

摘要翻译： 在运行虚拟化软件上的至少第一虚拟机（VM）和第二虚拟机的计算机系统中，用于所述第二虚拟机为所述第一虚拟机提供准锁步骤容错的计算机实现的方法。 该方法包括如果第二VM的输出不与第一VM的输出分离，则第二VM的启用操作使得与第一VM的操作不同步，而不与第一VM重新同步第二VM。 将第二VM的输出与第一VM的输出进行比较，以确定第二个VM的输出是否与第一个VM的输出分离。 响应于确定第二VM的输出已经从第一VM的输出分离，执行第二VM的重新同步。