mirror of
https://github.com/Motorhead1991/qemu.git
synced 2025-08-05 00:33:55 -06:00
8eda206e09
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 <pavel.dovgaluk@ispras.ru> Message-Id: <20150917162427.8676.36558.stgit@PASHA-ISP.def.inno> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>
76 lines
2.3 KiB
C
76 lines
2.3 KiB
C
#ifndef REPLAY_H
|
|
#define REPLAY_H
|
|
|
|
/*
|
|
* replay.h
|
|
*
|
|
* Copyright (c) 2010-2015 Institute for System Programming
|
|
* of the Russian Academy of Sciences.
|
|
*
|
|
* This work is licensed under the terms of the GNU GPL, version 2 or later.
|
|
* See the COPYING file in the top-level directory.
|
|
*
|
|
*/
|
|
|
|
#include <stdbool.h>
|
|
#include <stdint.h>
|
|
#include "qapi-types.h"
|
|
|
|
/* replay clock kinds */
|
|
enum ReplayClockKind {
|
|
/* host_clock */
|
|
REPLAY_CLOCK_HOST,
|
|
/* virtual_rt_clock */
|
|
REPLAY_CLOCK_VIRTUAL_RT,
|
|
REPLAY_CLOCK_COUNT
|
|
};
|
|
typedef enum ReplayClockKind ReplayClockKind;
|
|
|
|
extern ReplayMode replay_mode;
|
|
|
|
/* Processing the instructions */
|
|
|
|
/*! Returns number of executed instructions. */
|
|
uint64_t replay_get_current_step(void);
|
|
/*! Returns number of instructions to execute in replay mode. */
|
|
int replay_get_instructions(void);
|
|
/*! Updates instructions counter in replay mode. */
|
|
void replay_account_executed_instructions(void);
|
|
|
|
/* Interrupts and exceptions */
|
|
|
|
/*! Called by exception handler to write or read
|
|
exception processing events. */
|
|
bool replay_exception(void);
|
|
/*! Used to determine that exception is pending.
|
|
Does not proceed to the next event in the log. */
|
|
bool replay_has_exception(void);
|
|
/*! Called by interrupt handlers to write or read
|
|
interrupt processing events.
|
|
\return true if interrupt should be processed */
|
|
bool replay_interrupt(void);
|
|
/*! Tries to read interrupt event from the file.
|
|
Returns true, when interrupt request is pending */
|
|
bool replay_has_interrupt(void);
|
|
|
|
/* Processing clocks and other time sources */
|
|
|
|
/*! Save the specified clock */
|
|
int64_t replay_save_clock(ReplayClockKind kind, int64_t clock);
|
|
/*! Read the specified clock from the log or return cached data */
|
|
int64_t replay_read_clock(ReplayClockKind kind);
|
|
/*! Saves or reads the clock depending on the current replay mode. */
|
|
#define REPLAY_CLOCK(clock, value) \
|
|
(replay_mode == REPLAY_MODE_PLAY ? replay_read_clock((clock)) \
|
|
: replay_mode == REPLAY_MODE_RECORD \
|
|
? replay_save_clock((clock), (value)) \
|
|
: (value))
|
|
|
|
/* Asynchronous events queue */
|
|
|
|
/*! Disables storing events in the queue */
|
|
void replay_disable_events(void);
|
|
/*! Returns true when saving events is enabled */
|
|
bool replay_events_enabled(void);
|
|
|
|
#endif
|