commit 0194749ac4131e1bed8e166c5d5cf541678ef204
author Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru> Thu Sep 17 19:25:13 2015 +0300
committer Paolo Bonzini <pbonzini@redhat.com> Fri Nov 06 10:16:03 2015 +0100
tree 61eb38b9a47dd0513233f0d5103092e393037e16
parent 7615936ebf4e60c4565268a30df2356c841526f8

replay: replay blockers for devices

Some devices are not supported by record/replay subsystem.
This patch introduces replay blocker which denies starting record/replay
if such devices are included into the configuration.

Signed-off-by: Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
Message-Id: <20150917162512.8676.11367.stgit@PASHA-ISP.def.inno>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>

vl.c

diff --git a/vl.c b/vl.c
index b3ff137..c1e54f4 100644
--- a/vl.c
+++ b/vl.c
@@ -123,6 +123,7 @@
 #include "exec/semihost.h"
 #include "crypto/init.h"
 #include "sysemu/replay.h"
+#include "qapi/qmp/qerror.h"
 
 #define MAX_VIRTIO_CONSOLES 1
 #define MAX_SCLP_CONSOLES 1
@@ -847,7 +848,11 @@
         if (!strcmp(value, "utc")) {
             rtc_utc = 1;
         } else if (!strcmp(value, "localtime")) {
+            Error *blocker = NULL;
             rtc_utc = 0;
+            error_setg(&blocker, QERR_REPLAY_NOT_SUPPORTED,
+                      "-rtc base=localtime");
+            replay_add_blocker(blocker);
         } else {
             configure_rtc_date_offset(value, 0);
         }
@@ -1256,6 +1261,11 @@
         exit(1);
     }
 
+    if (smp_cpus > 1 || smp_cores > 1 || smp_threads > 1) {
+        Error *blocker = NULL;
+        error_setg(&blocker, QERR_REPLAY_NOT_SUPPORTED, "smp");
+        replay_add_blocker(blocker);
+    }
 }
 
 static void realtime_init(void)