All of lore.kernel.org
 help / color / mirror / Atom feed
From: Pavel Dovgalyuk <pavel.dovgaluk@gmail.com>
To: qemu-devel@nongnu.org
Cc: kwolf@redhat.com, peter.maydell@linaro.org,
	pavel.dovgaluk@ispras.ru, pbonzini@redhat.com,
	quintela@redhat.com, ciro.santilli@gmail.com,
	jasowang@redhat.com, crosthwaite.peter@gmail.com,
	armbru@redhat.com, mreitz@redhat.com, alex.bennee@linaro.org,
	maria.klimushenkova@ispras.ru, mst@redhat.com, kraxel@redhat.com,
	boost.lists@gmail.com, thomas.dullien@googlemail.com,
	dovgaluk@ispras.ru, artem.k.pisarenko@gmail.com,
	dgilbert@redhat.com, rth@twiddle.net
Subject: [Qemu-devel] [PATCH for-4.1 05/24] replay: don't drain/flush bdrv queue while RR is working
Date: Fri, 21 Jun 2019 11:21:06 +0300	[thread overview]
Message-ID: <156110526652.25431.1704646168245762049.stgit@pasha-Precision-3630-Tower> (raw)
In-Reply-To: <156110523748.25431.9310430853468653085.stgit@pasha-Precision-3630-Tower>

From: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>

In record/replay mode bdrv queue is controlled by replay mechanism.
It does not allow saving or loading the snapshots
when bdrv queue is not empty. Stopping the VM is not blocked by nonempty
queue, but flushing the queue is still impossible there,
because it may cause deadlocks in replay mode.
This patch disables bdrv_drain_all and bdrv_flush_all in
record/replay mode.

Stopping the machine when the IO requests are not finished is needed
for the debugging. E.g., breakpoint may be set at the specified step,
and forcing the IO requests to finish may break the determinism
of the execution.

Signed-off-by: Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
Acked-by: Kevin Wolf <kwolf@redhat.com>
---
 block/io.c |   28 ++++++++++++++++++++++++++++
 cpus.c     |    2 --
 2 files changed, 28 insertions(+), 2 deletions(-)

diff --git a/block/io.c b/block/io.c
index 9ba1bada36..607abc04b0 100644
--- a/block/io.c
+++ b/block/io.c
@@ -32,6 +32,7 @@
 #include "qemu/cutils.h"
 #include "qapi/error.h"
 #include "qemu/error-report.h"
+#include "sysemu/replay.h"
 
 #define NOT_DONE 0x7fffffff /* used while emulated sync operation in progress */
 
@@ -539,6 +540,15 @@ void bdrv_drain_all_begin(void)
         return;
     }
 
+    /*
+     * bdrv queue is managed by record/replay,
+     * waiting for finishing the I/O requests may
+     * be infinite
+     */
+    if (replay_events_enabled()) {
+        return;
+    }
+
     /* AIO_WAIT_WHILE() with a NULL context can only be called from the main
      * loop AioContext, so make sure we're in the main context. */
     assert(qemu_get_current_aio_context() == qemu_get_aio_context());
@@ -567,6 +577,15 @@ void bdrv_drain_all_end(void)
 {
     BlockDriverState *bs = NULL;
 
+    /*
+     * bdrv queue is managed by record/replay,
+     * waiting for finishing the I/O requests may
+     * be endless
+     */
+    if (replay_events_enabled()) {
+        return;
+    }
+
     while ((bs = bdrv_next_all_states(bs))) {
         AioContext *aio_context = bdrv_get_aio_context(bs);
 
@@ -1934,6 +1953,15 @@ int bdrv_flush_all(void)
     BlockDriverState *bs = NULL;
     int result = 0;
 
+    /*
+     * bdrv queue is managed by record/replay,
+     * creating new flush request for stopping
+     * the VM may break the determinism
+     */
+    if (replay_events_enabled()) {
+        return result;
+    }
+
     for (bs = bdrv_first(&it); bs; bs = bdrv_next(&it)) {
         AioContext *aio_context = bdrv_get_aio_context(bs);
         int ret;
diff --git a/cpus.c b/cpus.c
index dde3b7b981..0a44253523 100644
--- a/cpus.c
+++ b/cpus.c
@@ -1083,7 +1083,6 @@ static int do_vm_stop(RunState state, bool send_stop)
     }
 
     bdrv_drain_all();
-    replay_disable_events();
     ret = bdrv_flush_all();
 
     return ret;
@@ -2163,7 +2162,6 @@ int vm_prepare_start(void)
     /* We are sending this now, but the CPUs will be resumed shortly later */
     qapi_event_send_resume();
 
-    replay_enable_events();
     cpu_enable_ticks();
     runstate_set(RUN_STATE_RUNNING);
     vm_state_notify(1, RUN_STATE_RUNNING);



  parent reply	other threads:[~2019-06-21  8:53 UTC|newest]

Thread overview: 30+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-06-21  8:20 [Qemu-devel] [PATCH for-4.1 00/24] Fix record/replay and add reverse debugging Pavel Dovgalyuk
2019-06-21  8:20 ` [Qemu-devel] [PATCH for-4.1 01/24] replay: add missing fix for internal function Pavel Dovgalyuk
2019-06-21  8:20 ` [Qemu-devel] [PATCH for-4.1 02/24] block: implement bdrv_snapshot_goto for blkreplay Pavel Dovgalyuk
2019-06-21  8:20 ` [Qemu-devel] [PATCH for-4.1 03/24] replay: disable default snapshot for record/replay Pavel Dovgalyuk
2019-06-21  8:21 ` [Qemu-devel] [PATCH for-4.1 04/24] replay: update docs for record/replay with block devices Pavel Dovgalyuk
2019-06-21  8:21 ` Pavel Dovgalyuk [this message]
2019-06-21  8:21 ` [Qemu-devel] [PATCH for-4.1 06/24] replay: finish record/replay before closing the disks Pavel Dovgalyuk
2019-06-21  8:21 ` [Qemu-devel] [PATCH for-4.1 07/24] qcow2: introduce icount field for snapshots Pavel Dovgalyuk
2019-06-21  8:21 ` [Qemu-devel] [PATCH for-4.1 08/24] migration: " Pavel Dovgalyuk
2019-06-21  8:21 ` [Qemu-devel] [PATCH for-4.1 09/24] replay: provide an accessor for rr filename Pavel Dovgalyuk
2019-06-21  8:21 ` [Qemu-devel] [PATCH for-4.1 10/24] qapi: introduce replay.json for record/replay-related stuff Pavel Dovgalyuk
2019-06-21  8:21 ` [Qemu-devel] [PATCH for-4.1 11/24] replay: introduce info hmp/qmp command Pavel Dovgalyuk
2019-06-21  8:21 ` [Qemu-devel] [PATCH for-4.1 12/24] replay: introduce breakpoint at the specified step Pavel Dovgalyuk
2019-06-21  8:21 ` [Qemu-devel] [PATCH for-4.1 13/24] replay: implement replay-seek command Pavel Dovgalyuk
2019-06-21  8:21 ` [Qemu-devel] [PATCH for-4.1 14/24] replay: refine replay-time module Pavel Dovgalyuk
2019-06-21  8:22 ` [Qemu-devel] [PATCH for-4.1 15/24] replay: flush rr queue before loading the vmstate Pavel Dovgalyuk
2019-06-21  8:22 ` [Qemu-devel] [PATCH for-4.1 16/24] gdbstub: add reverse step support in replay mode Pavel Dovgalyuk
2019-06-21  8:22 ` [Qemu-devel] [PATCH for-4.1 17/24] gdbstub: add reverse continue " Pavel Dovgalyuk
2019-06-21  8:22 ` [Qemu-devel] [PATCH for-4.1 18/24] replay: describe reverse debugging in docs/replay.txt Pavel Dovgalyuk
2019-06-21  8:22 ` [Qemu-devel] [PATCH for-4.1 19/24] replay: add BH oneshot event for block layer Pavel Dovgalyuk
2019-06-21  8:22 ` [Qemu-devel] [PATCH for-4.1 20/24] replay: document development rules Pavel Dovgalyuk
2019-06-21  8:22 ` [Qemu-devel] [PATCH for-4.1 21/24] util/qemu-timer: refactor deadline calculation for external timers Pavel Dovgalyuk
2019-06-21  8:22 ` [Qemu-devel] [PATCH for-4.1 22/24] replay: fix replay shutdown Pavel Dovgalyuk
2019-06-21  8:22 ` [Qemu-devel] [PATCH for-4.1 23/24] replay: rename step-related variables and functions Pavel Dovgalyuk
2019-06-21  8:22 ` [Qemu-devel] [PATCH for-4.1 24/24] icount: clean up cpu_can_io before jumping to the next block Pavel Dovgalyuk
2019-06-21  9:36 ` [Qemu-devel] [PATCH for-4.1 00/24] Fix record/replay and add reverse debugging no-reply
2019-06-27 17:49 ` dovgaluk
2019-07-01  9:24   ` Pavel Dovgalyuk
  -- strict thread matches above, loose matches on Subject: below --
2019-04-22 11:19 Pavel Dovgalyuk
2019-04-22 11:20 ` [Qemu-devel] [PATCH for-4.1 05/24] replay: don't drain/flush bdrv queue while RR is working Pavel Dovgalyuk
2019-04-22 11:20   ` Pavel Dovgalyuk

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=156110526652.25431.1704646168245762049.stgit@pasha-Precision-3630-Tower \
    --to=pavel.dovgaluk@gmail.com \
    --cc=alex.bennee@linaro.org \
    --cc=armbru@redhat.com \
    --cc=artem.k.pisarenko@gmail.com \
    --cc=boost.lists@gmail.com \
    --cc=ciro.santilli@gmail.com \
    --cc=crosthwaite.peter@gmail.com \
    --cc=dgilbert@redhat.com \
    --cc=dovgaluk@ispras.ru \
    --cc=jasowang@redhat.com \
    --cc=kraxel@redhat.com \
    --cc=kwolf@redhat.com \
    --cc=maria.klimushenkova@ispras.ru \
    --cc=mreitz@redhat.com \
    --cc=mst@redhat.com \
    --cc=pavel.dovgaluk@ispras.ru \
    --cc=pbonzini@redhat.com \
    --cc=peter.maydell@linaro.org \
    --cc=qemu-devel@nongnu.org \
    --cc=quintela@redhat.com \
    --cc=rth@twiddle.net \
    --cc=thomas.dullien@googlemail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.