EFFICIENT RECORDING AND REPLAYING OF NON-DETERMINISTIC INSTRUCTIONS IN A VIRTUAL MACHINE AND CPU THEREFOR
摘要
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.
申请公布号
WO2010002489(A1)
申请公布日期
2010.01.07
申请号
WO2009US39999
申请日期
2009.04.09
申请人
VMWARE, INC.;MALYUGIN, VYACHESLAV, V.;XU, MIN;WEISSMAN, BORIS;VENKITACHALAM, GANESH;KLAIBER, ALEXANDER
发明人
MALYUGIN, VYACHESLAV, V.;XU, MIN;WEISSMAN, BORIS;VENKITACHALAM, GANESH;KLAIBER, ALEXANDER