发明名称 |
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. |
申请公布号 |
EP2294512(A4) |
申请公布日期 |
2012.05.02 |
申请号 |
EP20090773941 |
申请日期 |
2009.04.09 |
申请人 |
VMWARE, INC. |
发明人 |
MALYUGIN, VYACHESLAV, V.;XU, MIN;WEISSMAN, BORIS;VENKITACHALAM, GANESH;KLAIBER, ALEXANDER |
分类号 |
G06F15/00;G06F9/00;G06F11/34;G06F12/02 |
主分类号 |
G06F15/00 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|