1 #ifndef REPLAY_INTERNAL_H
2 #define REPLAY_INTERNAL_H
7 * Copyright (c) 2010-2015 Institute for System Programming
8 * of the Russian Academy of Sciences.
10 * This work is licensed under the terms of the GNU GPL, version 2 or later.
11 * See the COPYING file in the top-level directory.
18 /* for instruction event */
20 /* for software interrupt */
22 /* for emulated exceptions */
24 /* for async events */
26 /* for shutdown request */
28 /* for clock read/writes */
29 /* some of greater codes are reserved for clocks */
31 EVENT_CLOCK_LAST
= EVENT_CLOCK
+ REPLAY_CLOCK_COUNT
- 1,
32 /* for checkpoint event */
33 /* some of greater codes are reserved for checkpoints */
35 EVENT_CHECKPOINT_LAST
= EVENT_CHECKPOINT
+ CHECKPOINT_COUNT
- 1,
39 /* Asynchronous events IDs */
41 enum ReplayAsyncEventKind
{
42 REPLAY_ASYNC_EVENT_BH
,
46 typedef enum ReplayAsyncEventKind ReplayAsyncEventKind
;
48 typedef struct ReplayState
{
49 /*! Cached clock values. */
50 int64_t cached_clock
[REPLAY_CLOCK_COUNT
];
51 /*! Current step - number of processed instructions and timer events. */
52 uint64_t current_step
;
53 /*! Number of instructions to be executed before other events happen. */
54 int instructions_count
;
56 extern ReplayState replay_state
;
58 extern unsigned int replay_data_kind
;
60 /* File for replay writing */
61 extern FILE *replay_file
;
63 void replay_put_byte(uint8_t byte
);
64 void replay_put_event(uint8_t event
);
65 void replay_put_word(uint16_t word
);
66 void replay_put_dword(uint32_t dword
);
67 void replay_put_qword(int64_t qword
);
68 void replay_put_array(const uint8_t *buf
, size_t size
);
70 uint8_t replay_get_byte(void);
71 uint16_t replay_get_word(void);
72 uint32_t replay_get_dword(void);
73 int64_t replay_get_qword(void);
74 void replay_get_array(uint8_t *buf
, size_t *size
);
75 void replay_get_array_alloc(uint8_t **buf
, size_t *size
);
77 /* Mutex functions for protecting replay log file */
79 void replay_mutex_init(void);
80 void replay_mutex_destroy(void);
81 void replay_mutex_lock(void);
82 void replay_mutex_unlock(void);
84 /*! Checks error status of the file. */
85 void replay_check_error(void);
87 /*! Finishes processing of the replayed event and fetches
88 the next event from the log. */
89 void replay_finish_event(void);
90 /*! Reads data type from the file and stores it in the
91 replay_data_kind variable. */
92 void replay_fetch_data_kind(void);
94 /*! Saves queued events (like instructions and sound). */
95 void replay_save_instructions(void);
97 /*! Skips async events until some sync event will be found.
98 \return true, if event was found */
99 bool replay_next_event_is(int event
);
101 /*! Reads next clock value from the file.
102 If clock kind read from the file is different from the parameter,
103 the value is not used. */
104 void replay_read_next_clock(unsigned int kind
);
106 /* Asynchronous events queue */
108 /*! Initializes events' processing internals */
109 void replay_init_events(void);
110 /*! Clears internal data structures for events handling */
111 void replay_finish_events(void);
112 /*! Enables storing events in the queue */
113 void replay_enable_events(void);
114 /*! Flushes events queue */
115 void replay_flush_events(void);
116 /*! Clears events list before loading new VM state */
117 void replay_clear_events(void);
118 /*! Returns true if there are any unsaved events in the queue */
119 bool replay_has_events(void);
120 /*! Saves events from queue into the file */
121 void replay_save_events(int checkpoint
);
122 /*! Read events from the file into the input queue */
123 void replay_read_events(int checkpoint
);