diff options
| author | Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru> | 2018-02-27 12:53:16 +0300 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2018-03-12 17:10:38 +0100 |
| commit | 89e46eb477113550485bc24264d249de9fd1260a (patch) | |
| tree | 854a4701002c4171b2ee900a4854a9dbfcd3f7af /include/qemu/timer.h | |
| parent | 821c113033075d4f1b50966d92022a1064085422 (diff) | |
| download | focaccia-qemu-89e46eb477113550485bc24264d249de9fd1260a.tar.gz focaccia-qemu-89e46eb477113550485bc24264d249de9fd1260a.zip | |
replay: don't process async events when warping the clock
Virtual clock is warped from iothread and vcpu thread. When the hardware events associated with warp checkpoint, then interrupt delivering may be non-deterministic if checkpoint is processed in different threads in record and replay. This patch disables event processing for clock warp checkpoint and leaves all hardware events to other checkpoints (e.g., virtual clock). Signed-off-by: Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru> Message-Id: <20180227095316.1060.4134.stgit@pasha-VirtualBox> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>
Diffstat (limited to 'include/qemu/timer.h')
0 files changed, 0 insertions, 0 deletions