2 # -*- coding: utf-8 -*-
4 # Dump the contents of a recorded execution stream
6 # Copyright (c) 2017 Alex Bennée <alex.bennee@linaro.org>
8 # This library is free software; you can redistribute it and/or
9 # modify it under the terms of the GNU Lesser General Public
10 # License as published by the Free Software Foundation; either
11 # version 2.1 of the License, or (at your option) any later version.
13 # This library is distributed in the hope that it will be useful,
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 # Lesser General Public License for more details.
18 # You should have received a copy of the GNU Lesser General Public
19 # License along with this library; if not, see <http://www.gnu.org/licenses/>.
23 from collections
import namedtuple
26 # This mirrors some of the global replay state which some of the
27 # stream loading refers to. Some decoders may read the next event so
28 # we need handle that case. Calling reuse_event will ensure the next
29 # event is read from the cache rather than advancing the file.
31 class ReplayState(object):
35 self
.already_read
= False
36 self
.current_checkpoint
= 0
39 def set_event(self
, ev
):
44 self
.already_read
= False
47 def reuse_event(self
, ev
):
49 self
.already_read
= True
51 def set_checkpoint(self
):
52 self
.checkpoint
= self
.event
- self
.checkpoint_start
54 def get_checkpoint(self
):
55 return self
.checkpoint
57 replay_state
= ReplayState()
59 # Simple read functions that mirror replay-internal.c
60 # The file-stream is big-endian and manually written out a byte at a time.
64 return struct
.unpack('>B', fin
.read(1))[0]
67 "Read a single byte event, but save some state"
68 if replay_state
.already_read
:
69 return replay_state
.get_event()
71 replay_state
.set_event(read_byte(fin
))
72 return replay_state
.event
76 return struct
.unpack('>H', fin
.read(2))[0]
80 return struct
.unpack('>I', fin
.read(4))[0]
84 return struct
.unpack('>Q', fin
.read(8))[0]
88 size
= read_dword(fin
)
92 # Generic decoder structure
93 Decoder
= namedtuple("Decoder", "eid name fn")
95 def call_decode(table
, index
, dumpfile
):
96 "Search decode table for next step"
97 decoder
= next((d
for d
in table
if d
.eid
== index
), None)
99 print("Could not decode index: %d" % (index
))
100 print("Entry is: %s" % (decoder
))
101 print("Decode Table is:\n%s" % (table
))
104 return decoder
.fn(decoder
.eid
, decoder
.name
, dumpfile
)
107 def print_event(eid
, name
, string
=None, event_count
=None):
108 "Print event with count"
110 event_count
= replay_state
.event_count
113 print("%d:%s(%d) %s" % (event_count
, name
, eid
, string
))
115 print("%d:%s(%d)" % (event_count
, name
, eid
))
118 # Decoders for each event type
120 def decode_unimp(eid
, name
, _unused_dumpfile
):
121 "Unimplemented decoder, will trigger exit"
122 print("%s not handled - will now stop" % (name
))
125 def decode_plain(eid
, name
, _unused_dumpfile
):
126 "Plain events without additional data"
127 print_event(eid
, name
, "no data")
131 def swallow_async_qword(eid
, name
, dumpfile
):
132 "Swallow a qword of data without looking at it"
133 step_id
= read_qword(dumpfile
)
134 print(" %s(%d) @ %d" % (name
, eid
, step_id
))
137 async_decode_table
= [ Decoder(0, "REPLAY_ASYNC_EVENT_BH", swallow_async_qword
),
138 Decoder(1, "REPLAY_ASYNC_INPUT", decode_unimp
),
139 Decoder(2, "REPLAY_ASYNC_INPUT_SYNC", decode_unimp
),
140 Decoder(3, "REPLAY_ASYNC_CHAR_READ", decode_unimp
),
141 Decoder(4, "REPLAY_ASYNC_EVENT_BLOCK", decode_unimp
),
142 Decoder(5, "REPLAY_ASYNC_EVENT_NET", decode_unimp
),
144 # See replay_read_events/replay_read_event
145 def decode_async(eid
, name
, dumpfile
):
146 """Decode an ASYNC event"""
148 print_event(eid
, name
)
150 async_event_kind
= read_byte(dumpfile
)
151 async_event_checkpoint
= read_byte(dumpfile
)
153 if async_event_checkpoint
!= replay_state
.current_checkpoint
:
154 print(" mismatch between checkpoint %d and async data %d" % (
155 replay_state
.current_checkpoint
, async_event_checkpoint
))
158 return call_decode(async_decode_table
, async_event_kind
, dumpfile
)
162 def decode_instruction(eid
, name
, dumpfile
):
164 ins_diff
= read_dword(dumpfile
)
165 total_insns
+= ins_diff
166 print_event(eid
, name
, "+ %d -> %d" % (ins_diff
, total_insns
))
169 def decode_char_write(eid
, name
, dumpfile
):
170 res
= read_dword(dumpfile
)
171 offset
= read_dword(dumpfile
)
172 print_event(eid
, name
, "%d -> %d" % (offset
, res
))
175 def decode_audio_out(eid
, name
, dumpfile
):
176 audio_data
= read_dword(dumpfile
)
177 print_event(eid
, name
, "%d" % (audio_data
))
180 def decode_checkpoint(eid
, name
, dumpfile
):
181 """Decode a checkpoint.
183 Checkpoints contain a series of async events with their own specific data.
185 replay_state
.set_checkpoint()
186 # save event count as we peek ahead
187 event_number
= replay_state
.event_count
188 next_event
= read_event(dumpfile
)
190 # if the next event is EVENT_ASYNC there are a bunch of
191 # async events to read, otherwise we are done
193 print_event(eid
, name
, "no additional data", event_number
)
195 print_event(eid
, name
, "more data follows", event_number
)
197 replay_state
.reuse_event(next_event
)
200 def decode_checkpoint_init(eid
, name
, dumpfile
):
201 print_event(eid
, name
)
204 def decode_interrupt(eid
, name
, dumpfile
):
205 print_event(eid
, name
)
208 def decode_clock(eid
, name
, dumpfile
):
209 clock_data
= read_qword(dumpfile
)
210 print_event(eid
, name
, "0x%x" % (clock_data
))
213 def decode_random(eid
, name
, dumpfile
):
214 ret
= read_dword(dumpfile
)
215 data
= read_array(dumpfile
)
216 print_event(eid
, "%d bytes of random data" % len(data
))
220 v5_event_table
= [Decoder(0, "EVENT_INSTRUCTION", decode_instruction
),
221 Decoder(1, "EVENT_INTERRUPT", decode_interrupt
),
222 Decoder(2, "EVENT_EXCEPTION", decode_plain
),
223 Decoder(3, "EVENT_ASYNC", decode_async
),
224 Decoder(4, "EVENT_SHUTDOWN", decode_unimp
),
225 Decoder(5, "EVENT_CHAR_WRITE", decode_char_write
),
226 Decoder(6, "EVENT_CHAR_READ_ALL", decode_unimp
),
227 Decoder(7, "EVENT_CHAR_READ_ALL_ERROR", decode_unimp
),
228 Decoder(8, "EVENT_CLOCK_HOST", decode_clock
),
229 Decoder(9, "EVENT_CLOCK_VIRTUAL_RT", decode_clock
),
230 Decoder(10, "EVENT_CP_CLOCK_WARP_START", decode_checkpoint
),
231 Decoder(11, "EVENT_CP_CLOCK_WARP_ACCOUNT", decode_checkpoint
),
232 Decoder(12, "EVENT_CP_RESET_REQUESTED", decode_checkpoint
),
233 Decoder(13, "EVENT_CP_SUSPEND_REQUESTED", decode_checkpoint
),
234 Decoder(14, "EVENT_CP_CLOCK_VIRTUAL", decode_checkpoint
),
235 Decoder(15, "EVENT_CP_CLOCK_HOST", decode_checkpoint
),
236 Decoder(16, "EVENT_CP_CLOCK_VIRTUAL_RT", decode_checkpoint
),
237 Decoder(17, "EVENT_CP_INIT", decode_checkpoint_init
),
238 Decoder(18, "EVENT_CP_RESET", decode_checkpoint
),
241 # post-MTTCG merge, AUDIO support added
242 v6_event_table
= [Decoder(0, "EVENT_INSTRUCTION", decode_instruction
),
243 Decoder(1, "EVENT_INTERRUPT", decode_interrupt
),
244 Decoder(2, "EVENT_EXCEPTION", decode_plain
),
245 Decoder(3, "EVENT_ASYNC", decode_async
),
246 Decoder(4, "EVENT_SHUTDOWN", decode_unimp
),
247 Decoder(5, "EVENT_CHAR_WRITE", decode_char_write
),
248 Decoder(6, "EVENT_CHAR_READ_ALL", decode_unimp
),
249 Decoder(7, "EVENT_CHAR_READ_ALL_ERROR", decode_unimp
),
250 Decoder(8, "EVENT_AUDIO_OUT", decode_audio_out
),
251 Decoder(9, "EVENT_AUDIO_IN", decode_unimp
),
252 Decoder(10, "EVENT_CLOCK_HOST", decode_clock
),
253 Decoder(11, "EVENT_CLOCK_VIRTUAL_RT", decode_clock
),
254 Decoder(12, "EVENT_CP_CLOCK_WARP_START", decode_checkpoint
),
255 Decoder(13, "EVENT_CP_CLOCK_WARP_ACCOUNT", decode_checkpoint
),
256 Decoder(14, "EVENT_CP_RESET_REQUESTED", decode_checkpoint
),
257 Decoder(15, "EVENT_CP_SUSPEND_REQUESTED", decode_checkpoint
),
258 Decoder(16, "EVENT_CP_CLOCK_VIRTUAL", decode_checkpoint
),
259 Decoder(17, "EVENT_CP_CLOCK_HOST", decode_checkpoint
),
260 Decoder(18, "EVENT_CP_CLOCK_VIRTUAL_RT", decode_checkpoint
),
261 Decoder(19, "EVENT_CP_INIT", decode_checkpoint_init
),
262 Decoder(20, "EVENT_CP_RESET", decode_checkpoint
),
265 # Shutdown cause added
266 v7_event_table
= [Decoder(0, "EVENT_INSTRUCTION", decode_instruction
),
267 Decoder(1, "EVENT_INTERRUPT", decode_interrupt
),
268 Decoder(2, "EVENT_EXCEPTION", decode_unimp
),
269 Decoder(3, "EVENT_ASYNC", decode_async
),
270 Decoder(4, "EVENT_SHUTDOWN", decode_unimp
),
271 Decoder(5, "EVENT_SHUTDOWN_HOST_ERR", decode_unimp
),
272 Decoder(6, "EVENT_SHUTDOWN_HOST_QMP", decode_unimp
),
273 Decoder(7, "EVENT_SHUTDOWN_HOST_SIGNAL", decode_unimp
),
274 Decoder(8, "EVENT_SHUTDOWN_HOST_UI", decode_unimp
),
275 Decoder(9, "EVENT_SHUTDOWN_GUEST_SHUTDOWN", decode_unimp
),
276 Decoder(10, "EVENT_SHUTDOWN_GUEST_RESET", decode_unimp
),
277 Decoder(11, "EVENT_SHUTDOWN_GUEST_PANIC", decode_unimp
),
278 Decoder(12, "EVENT_SHUTDOWN___MAX", decode_unimp
),
279 Decoder(13, "EVENT_CHAR_WRITE", decode_char_write
),
280 Decoder(14, "EVENT_CHAR_READ_ALL", decode_unimp
),
281 Decoder(15, "EVENT_CHAR_READ_ALL_ERROR", decode_unimp
),
282 Decoder(16, "EVENT_AUDIO_OUT", decode_audio_out
),
283 Decoder(17, "EVENT_AUDIO_IN", decode_unimp
),
284 Decoder(18, "EVENT_CLOCK_HOST", decode_clock
),
285 Decoder(19, "EVENT_CLOCK_VIRTUAL_RT", decode_clock
),
286 Decoder(20, "EVENT_CP_CLOCK_WARP_START", decode_checkpoint
),
287 Decoder(21, "EVENT_CP_CLOCK_WARP_ACCOUNT", decode_checkpoint
),
288 Decoder(22, "EVENT_CP_RESET_REQUESTED", decode_checkpoint
),
289 Decoder(23, "EVENT_CP_SUSPEND_REQUESTED", decode_checkpoint
),
290 Decoder(24, "EVENT_CP_CLOCK_VIRTUAL", decode_checkpoint
),
291 Decoder(25, "EVENT_CP_CLOCK_HOST", decode_checkpoint
),
292 Decoder(26, "EVENT_CP_CLOCK_VIRTUAL_RT", decode_checkpoint
),
293 Decoder(27, "EVENT_CP_INIT", decode_checkpoint_init
),
294 Decoder(28, "EVENT_CP_RESET", decode_checkpoint
),
297 v12_event_table
= [Decoder(0, "EVENT_INSTRUCTION", decode_instruction
),
298 Decoder(1, "EVENT_INTERRUPT", decode_interrupt
),
299 Decoder(2, "EVENT_EXCEPTION", decode_plain
),
300 Decoder(3, "EVENT_ASYNC", decode_async
),
301 Decoder(4, "EVENT_ASYNC", decode_async
),
302 Decoder(5, "EVENT_ASYNC", decode_async
),
303 Decoder(6, "EVENT_ASYNC", decode_async
),
304 Decoder(6, "EVENT_ASYNC", decode_async
),
305 Decoder(8, "EVENT_ASYNC", decode_async
),
306 Decoder(9, "EVENT_ASYNC", decode_async
),
307 Decoder(10, "EVENT_ASYNC", decode_async
),
308 Decoder(11, "EVENT_SHUTDOWN", decode_unimp
),
309 Decoder(12, "EVENT_SHUTDOWN_HOST_ERR", decode_unimp
),
310 Decoder(13, "EVENT_SHUTDOWN_HOST_QMP_QUIT", decode_unimp
),
311 Decoder(14, "EVENT_SHUTDOWN_HOST_QMP_RESET", decode_unimp
),
312 Decoder(14, "EVENT_SHUTDOWN_HOST_SIGNAL", decode_unimp
),
313 Decoder(15, "EVENT_SHUTDOWN_HOST_UI", decode_unimp
),
314 Decoder(16, "EVENT_SHUTDOWN_GUEST_SHUTDOWN", decode_unimp
),
315 Decoder(17, "EVENT_SHUTDOWN_GUEST_RESET", decode_unimp
),
316 Decoder(18, "EVENT_SHUTDOWN_GUEST_PANIC", decode_unimp
),
317 Decoder(19, "EVENT_SHUTDOWN_GUEST_SUBSYSTEM_RESET", decode_unimp
),
318 Decoder(20, "EVENT_SHUTDOWN_GUEST_SNAPSHOT_LOAD", decode_unimp
),
319 Decoder(21, "EVENT_SHUTDOWN___MAX", decode_unimp
),
320 Decoder(22, "EVENT_CHAR_WRITE", decode_char_write
),
321 Decoder(23, "EVENT_CHAR_READ_ALL", decode_unimp
),
322 Decoder(24, "EVENT_CHAR_READ_ALL_ERROR", decode_unimp
),
323 Decoder(25, "EVENT_AUDIO_IN", decode_unimp
),
324 Decoder(26, "EVENT_AUDIO_OUT", decode_audio_out
),
325 Decoder(27, "EVENT_RANDOM", decode_random
),
326 Decoder(28, "EVENT_CLOCK_HOST", decode_clock
),
327 Decoder(29, "EVENT_CLOCK_VIRTUAL_RT", decode_clock
),
328 Decoder(30, "EVENT_CP_CLOCK_WARP_START", decode_checkpoint
),
329 Decoder(31, "EVENT_CP_CLOCK_WARP_ACCOUNT", decode_checkpoint
),
330 Decoder(32, "EVENT_CP_RESET_REQUESTED", decode_checkpoint
),
331 Decoder(33, "EVENT_CP_SUSPEND_REQUESTED", decode_checkpoint
),
332 Decoder(34, "EVENT_CP_CLOCK_VIRTUAL", decode_checkpoint
),
333 Decoder(35, "EVENT_CP_CLOCK_HOST", decode_checkpoint
),
334 Decoder(36, "EVENT_CP_CLOCK_VIRTUAL_RT", decode_checkpoint
),
335 Decoder(37, "EVENT_CP_INIT", decode_checkpoint_init
),
336 Decoder(38, "EVENT_CP_RESET", decode_checkpoint
),
339 def parse_arguments():
340 "Grab arguments for script"
341 parser
= argparse
.ArgumentParser()
342 parser
.add_argument("-f", "--file", help='record/replay dump to read from',
344 return parser
.parse_args()
346 def decode_file(filename
):
347 "Decode a record/replay dump"
348 dumpfile
= open(filename
, "rb")
349 dumpsize
= path
.getsize(filename
)
350 # read and throwaway the header
351 version
= read_dword(dumpfile
)
352 junk
= read_qword(dumpfile
)
355 print("HEADER: version 0x%x" % (version
))
357 if version
== 0xe0200c:
358 event_decode_table
= v12_event_table
359 replay_state
.checkpoint_start
= 30
360 elif version
== 0xe02007:
361 event_decode_table
= v7_event_table
362 replay_state
.checkpoint_start
= 12
363 elif version
== 0xe02006:
364 event_decode_table
= v6_event_table
365 replay_state
.checkpoint_start
= 12
367 event_decode_table
= v5_event_table
368 replay_state
.checkpoint_start
= 10
373 event
= read_event(dumpfile
)
374 decode_ok
= call_decode(event_decode_table
, event
,
376 except Exception as inst
:
377 print(f
"error {inst}")
380 print(f
"Reached {dumpfile.tell()} of {dumpsize} bytes")
383 if __name__
== "__main__":
384 args
= parse_arguments()
385 decode_file(args
.file)