include/exec/replay-core.h

   1 /*
   2  * QEMU replay core API
   3  *
   4  * Copyright (c) 2010-2015 Institute for System Programming
   5  *                         of the Russian Academy of Sciences.
   6  *
   7  * This work is licensed under the terms of the GNU GPL, version 2 or later.
   8  * See the COPYING file in the top-level directory.
   9  */
  10
  11 #ifndef EXEC_REPLAY_H
  12 #define EXEC_REPLAY_H
  13
  14 #include "qapi/qapi-types-replay.h"
  15
  16 extern ReplayMode replay_mode;
  17
  18 /* Replay process control functions */
  19
  20 /* Enables recording or saving event log with specified parameters */
  21 void replay_configure(struct QemuOpts *opts);
  22 /* Initializes timers used for snapshotting and enables events recording */
  23 void replay_start(void);
  24 /* Closes replay log file and frees other resources. */
  25 void replay_finish(void);
  26 /* Adds replay blocker with the specified error description */
  27 void replay_add_blocker(const char *feature);
  28 /* Returns name of the replay log file */
  29 const char *replay_get_filename(void);
  30
  31 /*
  32  * Start making one step in backward direction.
  33  * Used by gdbstub for backwards debugging.
  34  * Returns true on success.
  35  */
  36 bool replay_reverse_step(void);
  37 /*
  38  * Start searching the last breakpoint/watchpoint.
  39  * Used by gdbstub for backwards debugging.
  40  * Returns true if the process successfully started.
  41  */
  42 bool replay_reverse_continue(void);
  43 /*
  44  * Returns true if replay module is processing
  45  * reverse_continue or reverse_step request
  46  */
  47 bool replay_running_debug(void);
  48 /* Called in reverse debugging mode to collect breakpoint information */
  49 void replay_breakpoint(void);
  50 /* Called when gdb is attached to gdbstub */
  51 void replay_gdb_attached(void);
  52
  53 /* Interrupts and exceptions */
  54
  55 /* Called by exception handler to write or read exception processing events */
  56 bool replay_exception(void);
  57 /*
  58  * Used to determine that exception is pending.
  59  * Does not proceed to the next event in the log.
  60  */
  61 bool replay_has_exception(void);
  62 /*
  63  * Called by interrupt handlers to write or read interrupt processing events.
  64  * Returns true if interrupt should be processed.
  65  */
  66 bool replay_interrupt(void);
  67 /*
  68  * Tries to read interrupt event from the file.
  69  * Returns true, when interrupt request is pending.
  70  */
  71 bool replay_has_interrupt(void);
  72
  73 /* Processing data from random generators */
  74
  75 /* Saves the values from the random number generator */
  76 void replay_save_random(int ret, void *buf, size_t len);
  77 /* Loads the saved values for the random number generator */
  78 int replay_read_random(void *buf, size_t len);
  79
  80 #endif