diff options
author | Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru> | 2015-09-17 19:24:28 +0300 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2015-11-06 10:16:02 +0100 |
commit | 8eda206e09089914006bfbdd71467d5246c06e4a (patch) | |
tree | c4b8e848794b28a8f4619cacf92a23ad611ca7b8 /qemu-timer.c | |
parent | c0c071d05279ec1429352200affc5c70bb4e5980 (diff) |
replay: recording and replaying clock ticks
Clock ticks are considered as the sources of non-deterministic data for
virtual machine. This patch implements saving the clock values when they
are acquired (virtual, host clock).
When replaying the execution corresponding values are read from log and
transfered to the module, which wants to read the values.
Such a design required the clock polling to be synchronized. Sometimes
it is not true - e.g. when timeouts for timer lists are checked. In this case
we use a cached value of the clock, passing it to the client code.
Signed-off-by: Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
Message-Id: <20150917162427.8676.36558.stgit@PASHA-ISP.def.inno>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>
Diffstat (limited to 'qemu-timer.c')
-rw-r--r-- | qemu-timer.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/qemu-timer.c b/qemu-timer.c index 2463fe6f6a..3dc847ba3d 100644 --- a/qemu-timer.c +++ b/qemu-timer.c @@ -24,6 +24,7 @@ #include "qemu/main-loop.h" #include "qemu/timer.h" +#include "sysemu/replay.h" #ifdef CONFIG_POSIX #include <pthread.h> @@ -570,15 +571,16 @@ int64_t qemu_clock_get_ns(QEMUClockType type) return cpu_get_clock(); } case QEMU_CLOCK_HOST: - now = get_clock_realtime(); + now = REPLAY_CLOCK(REPLAY_CLOCK_HOST, get_clock_realtime()); last = clock->last; clock->last = now; - if (now < last || now > (last + get_max_clock_jump())) { + if ((now < last || now > (last + get_max_clock_jump())) + && replay_mode == REPLAY_MODE_NONE) { notifier_list_notify(&clock->reset_notifiers, &now); } return now; case QEMU_CLOCK_VIRTUAL_RT: - return cpu_get_clock(); + return REPLAY_CLOCK(REPLAY_CLOCK_VIRTUAL_RT, cpu_get_clock()); } } |