From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:42361) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZYrzh-00031w-8D for qemu-devel@nongnu.org; Mon, 07 Sep 2015 04:41:42 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZYrzg-000100-1z for qemu-devel@nongnu.org; Mon, 07 Sep 2015 04:41:41 -0400 Received: from mail.ispras.ru ([83.149.199.45]:52633) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZYrzf-0000zg-MH for qemu-devel@nongnu.org; Mon, 07 Sep 2015 04:41:40 -0400 From: Pavel Dovgalyuk Date: Mon, 07 Sep 2015 11:41:39 +0300 Message-ID: <20150907084139.1664.60553.stgit@PASHA-ISP> In-Reply-To: <20150907084005.1664.19540.stgit@PASHA-ISP> References: <20150907084005.1664.19540.stgit@PASHA-ISP> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Subject: [Qemu-devel] [PATCH v17 16/21] replay: ptimer List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: qemu-devel@nongnu.org Cc: edgar.iglesias@xilinx.com, peter.maydell@linaro.org, igor.rubinov@gmail.com, alex.bennee@linaro.org, mark.burton@greensocs.com, real@ispras.ru, batuzovk@ispras.ru, maria.klimushenkova@ispras.ru, pavel.dovgaluk@ispras.ru, pbonzini@redhat.com, hines@cert.org, fred.konrad@greensocs.com This patch adds deterministic replay for hardware periodic countdown timers. ptimer uses bottom halves layer to execute such an asynchronous callback. We put this callback into the replay queue instead of bottom halves one. When checkpoint is met by main loop thread, the replay queue is processed and callback is executed. Binding callback moment to one of the checkpoints makes it deterministic. Signed-off-by: Pavel Dovgalyuk --- hw/core/ptimer.c | 7 ++++++- replay/replay-events.c | 18 +++++++++++++++++- replay/replay-internal.h | 1 + replay/replay.h | 2 ++ 4 files changed, 26 insertions(+), 2 deletions(-) diff --git a/hw/core/ptimer.c b/hw/core/ptimer.c index 8437bd6..c56078d 100644 --- a/hw/core/ptimer.c +++ b/hw/core/ptimer.c @@ -9,6 +9,7 @@ #include "qemu/timer.h" #include "hw/ptimer.h" #include "qemu/host-utils.h" +#include "replay/replay.h" struct ptimer_state { @@ -27,7 +28,11 @@ struct ptimer_state static void ptimer_trigger(ptimer_state *s) { if (s->bh) { - qemu_bh_schedule(s->bh); + if (replay_mode != REPLAY_MODE_NONE) { + replay_add_ptimer_event(s->bh, replay_get_current_step()); + } else { + qemu_bh_schedule(s->bh); + } } } diff --git a/replay/replay-events.c b/replay/replay-events.c index f973cb0..f356493 100755 --- a/replay/replay-events.c +++ b/replay/replay-events.c @@ -13,6 +13,7 @@ #include "qemu/error-report.h" #include "replay.h" #include "replay-internal.h" +#include "block/aio.h" typedef struct Event { ReplayAsyncEventKind event_kind; @@ -35,6 +36,9 @@ static bool events_enabled; static void replay_run_event(Event *event) { switch (event->event_kind) { + case REPLAY_ASYNC_EVENT_PTIMER: + aio_bh_call(event->opaque); + break; default: error_report("Replay: invalid async event ID (%d) in the queue", event->event_kind); @@ -117,6 +121,11 @@ static void replay_add_event(ReplayAsyncEventKind event_kind, replay_mutex_unlock(); } +void replay_add_ptimer_event(void *bh, uint64_t id) +{ + replay_add_event(REPLAY_ASYNC_EVENT_PTIMER, bh, NULL, id); +} + static void replay_save_event(Event *event, int checkpoint) { if (replay_mode != REPLAY_MODE_PLAY) { @@ -127,10 +136,12 @@ static void replay_save_event(Event *event, int checkpoint) /* save event-specific data */ switch (event->event_kind) { + case REPLAY_ASYNC_EVENT_PTIMER: + replay_put_qword(event->id); + break; default: error_report("Unknown ID %d of replay event", read_event_kind); exit(1); - break; } } } @@ -166,6 +177,11 @@ static Event *replay_read_event(int checkpoint) /* Events that has not to be in the queue */ switch (read_event_kind) { + case REPLAY_ASYNC_EVENT_PTIMER: + if (read_id == -1) { + read_id = replay_get_qword(); + } + break; default: error_report("Unknown ID %d of replay event", read_event_kind); exit(1); diff --git a/replay/replay-internal.h b/replay/replay-internal.h index bf64be5..89c1dc7 100755 --- a/replay/replay-internal.h +++ b/replay/replay-internal.h @@ -39,6 +39,7 @@ enum ReplayEvents { /* Asynchronous events IDs */ enum ReplayAsyncEventKind { + REPLAY_ASYNC_EVENT_PTIMER, REPLAY_ASYNC_COUNT }; diff --git a/replay/replay.h b/replay/replay.h index e2696fe..c7de964 100755 --- a/replay/replay.h +++ b/replay/replay.h @@ -97,5 +97,7 @@ bool replay_checkpoint(ReplayCheckpoint checkpoint); void replay_disable_events(void); /*! Returns true when saving events is enabled */ bool replay_events_enabled(void); +/*! Adds ptimer event to the queue */ +void replay_add_ptimer_event(void *bh, uint64_t id); #endif