From 8eda206e09089914006bfbdd71467d5246c06e4a Mon Sep 17 00:00:00 2001 From: Pavel Dovgalyuk Date: Thu, 17 Sep 2015 19:24:28 +0300 Subject: 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 Message-Id: <20150917162427.8676.36558.stgit@PASHA-ISP.def.inno> Signed-off-by: Paolo Bonzini Signed-off-by: Pavel Dovgalyuk --- replay/Makefile.objs | 1 + 1 file changed, 1 insertion(+) (limited to 'replay/Makefile.objs') diff --git a/replay/Makefile.objs b/replay/Makefile.objs index 6b439c2..56328ac 100644 --- a/replay/Makefile.objs +++ b/replay/Makefile.objs @@ -1,3 +1,4 @@ common-obj-y += replay.o common-obj-y += replay-internal.o common-obj-y += replay-events.o +common-obj-y += replay-time.o -- cgit v1.1