[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [PATCH v15 16/21] replay: ptimer
From: |
Pavel Dovgalyuk |
Subject: |
[Qemu-devel] [PATCH v15 16/21] replay: ptimer |
Date: |
Wed, 01 Jul 2015 14:53:06 +0300 |
User-agent: |
StGit/0.16 |
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 <address@hidden>
---
hw/core/ptimer.c | 7 ++++++-
replay/replay-events.c | 17 +++++++++++++++++
replay/replay-internal.h | 1 +
replay/replay.h | 2 ++
4 files changed, 26 insertions(+), 1 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 409c9ad..1e14cce 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 = false;
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);
@@ -123,6 +127,11 @@ void replay_add_event(ReplayAsyncEventKind event_kind,
void *opaque)
replay_add_event_internal(event_kind, opaque, NULL, 0);
}
+void replay_add_ptimer_event(void *bh, uint64_t id)
+{
+ replay_add_event_internal(REPLAY_ASYNC_EVENT_PTIMER, bh, NULL, id);
+}
+
static void replay_save_event(Event *event, int checkpoint)
{
if (replay_mode != REPLAY_MODE_PLAY) {
@@ -133,6 +142,9 @@ 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;
}
}
}
@@ -168,6 +180,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 f758371..4ae451f 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 b6c4a8d..e97b87c 100755
--- a/replay/replay.h
+++ b/replay/replay.h
@@ -96,5 +96,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
- [Qemu-devel] [PATCH v15 06/21] replay: introduce icount event, (continued)
- [Qemu-devel] [PATCH v15 06/21] replay: introduce icount event, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 07/21] cpu-exec: allow temporary disabling icount, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 08/21] cpu: replay instructions sequence, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 09/21] i386: interrupt poll processing, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 10/21] replay: interrupts and exceptions, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 11/21] replay: asynchronous events infrastructure, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 12/21] replay: recording and replaying clock ticks, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 13/21] replay: shutdown event, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 14/21] replay: checkpoints, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 15/21] bottom halves: introduce bh call function, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 16/21] replay: ptimer,
Pavel Dovgalyuk <=
- [Qemu-devel] [PATCH v15 17/21] typedef: add typedef for QemuOpts, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 18/21] replay: initialization and deinitialization, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 19/21] replay: replay blockers for devices, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 20/21] replay: command line options, Pavel Dovgalyuk, 2015/07/01
- [Qemu-devel] [PATCH v15 21/21] replay: recording of the user input, Pavel Dovgalyuk, 2015/07/01
- Re: [Qemu-devel] [PATCH v15 00/21] Deterministic replay core, Pavel Dovgaluk, 2015/07/06