scripts/replay-dump: update to latest format

To help debugging replay logs I've implemented decode_plain and
decode_char_write as well as put in a new table for the current format
of log.

Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Message-Id: <20231211091346.14616-5-alex.bennee@linaro.org>
This commit is contained in:
Alex Bennée 2023-12-11 09:13:33 +00:00
parent 6f6b71536c
commit fcc8c529fe

View File

@ -21,6 +21,7 @@
import argparse
import struct
from collections import namedtuple
from os import path
# This mirrors some of the global replay state which some of the
# stream loading refers to. Some decoders may read the next event so
@ -82,6 +83,12 @@ def read_qword(fin):
"Read a 64 bit word"
return struct.unpack('>Q', fin.read(8))[0]
def read_array(fin):
"Read a sized array"
size = read_dword(fin)
data = fin.read(size)
return data
# Generic decoder structure
Decoder = namedtuple("Decoder", "eid name fn")
@ -115,6 +122,11 @@ def decode_unimp(eid, name, _unused_dumpfile):
print("%s not handled - will now stop" % (name))
return False
def decode_plain(eid, name, _unused_dumpfile):
"Plain events without additional data"
print_event(eid, name, "no data")
return True
# Checkpoint decoder
def swallow_async_qword(eid, name, dumpfile):
"Swallow a qword of data without looking at it"
@ -151,6 +163,12 @@ def decode_instruction(eid, name, dumpfile):
print_event(eid, name, "0x%x" % (ins_diff))
return True
def decode_char_write(eid, name, dumpfile):
res = read_dword(dumpfile)
offset = read_dword(dumpfile)
print_event(eid, name, "%d -> %d" % (offset, res))
return True
def decode_audio_out(eid, name, dumpfile):
audio_data = read_dword(dumpfile)
print_event(eid, name, "%d" % (audio_data))
@ -189,14 +207,19 @@ def decode_clock(eid, name, dumpfile):
print_event(eid, name, "0x%x" % (clock_data))
return True
def decode_random(eid, name, dumpfile):
ret = read_dword(dumpfile)
data = read_array(dumpfile)
print_event(eid, "%d bytes of random data" % len(data))
return True
# pre-MTTCG merge
v5_event_table = [Decoder(0, "EVENT_INSTRUCTION", decode_instruction),
Decoder(1, "EVENT_INTERRUPT", decode_interrupt),
Decoder(2, "EVENT_EXCEPTION", decode_unimp),
Decoder(2, "EVENT_EXCEPTION", decode_plain),
Decoder(3, "EVENT_ASYNC", decode_async),
Decoder(4, "EVENT_SHUTDOWN", decode_unimp),
Decoder(5, "EVENT_CHAR_WRITE", decode_unimp),
Decoder(5, "EVENT_CHAR_WRITE", decode_char_write),
Decoder(6, "EVENT_CHAR_READ_ALL", decode_unimp),
Decoder(7, "EVENT_CHAR_READ_ALL_ERROR", decode_unimp),
Decoder(8, "EVENT_CLOCK_HOST", decode_clock),
@ -215,10 +238,10 @@ v5_event_table = [Decoder(0, "EVENT_INSTRUCTION", decode_instruction),
# post-MTTCG merge, AUDIO support added
v6_event_table = [Decoder(0, "EVENT_INSTRUCTION", decode_instruction),
Decoder(1, "EVENT_INTERRUPT", decode_interrupt),
Decoder(2, "EVENT_EXCEPTION", decode_unimp),
Decoder(2, "EVENT_EXCEPTION", decode_plain),
Decoder(3, "EVENT_ASYNC", decode_async),
Decoder(4, "EVENT_SHUTDOWN", decode_unimp),
Decoder(5, "EVENT_CHAR_WRITE", decode_unimp),
Decoder(5, "EVENT_CHAR_WRITE", decode_char_write),
Decoder(6, "EVENT_CHAR_READ_ALL", decode_unimp),
Decoder(7, "EVENT_CHAR_READ_ALL_ERROR", decode_unimp),
Decoder(8, "EVENT_AUDIO_OUT", decode_audio_out),
@ -250,7 +273,7 @@ v7_event_table = [Decoder(0, "EVENT_INSTRUCTION", decode_instruction),
Decoder(10, "EVENT_SHUTDOWN_GUEST_RESET", decode_unimp),
Decoder(11, "EVENT_SHUTDOWN_GUEST_PANIC", decode_unimp),
Decoder(12, "EVENT_SHUTDOWN___MAX", decode_unimp),
Decoder(13, "EVENT_CHAR_WRITE", decode_unimp),
Decoder(13, "EVENT_CHAR_WRITE", decode_char_write),
Decoder(14, "EVENT_CHAR_READ_ALL", decode_unimp),
Decoder(15, "EVENT_CHAR_READ_ALL_ERROR", decode_unimp),
Decoder(16, "EVENT_AUDIO_OUT", decode_audio_out),
@ -268,6 +291,48 @@ v7_event_table = [Decoder(0, "EVENT_INSTRUCTION", decode_instruction),
Decoder(28, "EVENT_CP_RESET", decode_checkpoint),
]
v12_event_table = [Decoder(0, "EVENT_INSTRUCTION", decode_instruction),
Decoder(1, "EVENT_INTERRUPT", decode_interrupt),
Decoder(2, "EVENT_EXCEPTION", decode_plain),
Decoder(3, "EVENT_ASYNC", decode_async),
Decoder(4, "EVENT_ASYNC", decode_async),
Decoder(5, "EVENT_ASYNC", decode_async),
Decoder(6, "EVENT_ASYNC", decode_async),
Decoder(6, "EVENT_ASYNC", decode_async),
Decoder(8, "EVENT_ASYNC", decode_async),
Decoder(9, "EVENT_ASYNC", decode_async),
Decoder(10, "EVENT_ASYNC", decode_async),
Decoder(11, "EVENT_SHUTDOWN", decode_unimp),
Decoder(12, "EVENT_SHUTDOWN_HOST_ERR", decode_unimp),
Decoder(13, "EVENT_SHUTDOWN_HOST_QMP_QUIT", decode_unimp),
Decoder(14, "EVENT_SHUTDOWN_HOST_QMP_RESET", decode_unimp),
Decoder(14, "EVENT_SHUTDOWN_HOST_SIGNAL", decode_unimp),
Decoder(15, "EVENT_SHUTDOWN_HOST_UI", decode_unimp),
Decoder(16, "EVENT_SHUTDOWN_GUEST_SHUTDOWN", decode_unimp),
Decoder(17, "EVENT_SHUTDOWN_GUEST_RESET", decode_unimp),
Decoder(18, "EVENT_SHUTDOWN_GUEST_PANIC", decode_unimp),
Decoder(19, "EVENT_SHUTDOWN_GUEST_SUBSYSTEM_RESET", decode_unimp),
Decoder(20, "EVENT_SHUTDOWN_GUEST_SNAPSHOT_LOAD", decode_unimp),
Decoder(21, "EVENT_SHUTDOWN___MAX", decode_unimp),
Decoder(22, "EVENT_CHAR_WRITE", decode_char_write),
Decoder(23, "EVENT_CHAR_READ_ALL", decode_unimp),
Decoder(24, "EVENT_CHAR_READ_ALL_ERROR", decode_unimp),
Decoder(25, "EVENT_AUDIO_IN", decode_unimp),
Decoder(26, "EVENT_AUDIO_OUT", decode_audio_out),
Decoder(27, "EVENT_RANDOM", decode_random),
Decoder(28, "EVENT_CLOCK_HOST", decode_clock),
Decoder(29, "EVENT_CLOCK_VIRTUAL_RT", decode_clock),
Decoder(30, "EVENT_CP_CLOCK_WARP_START", decode_checkpoint),
Decoder(31, "EVENT_CP_CLOCK_WARP_ACCOUNT", decode_checkpoint),
Decoder(32, "EVENT_CP_RESET_REQUESTED", decode_checkpoint),
Decoder(33, "EVENT_CP_SUSPEND_REQUESTED", decode_checkpoint),
Decoder(34, "EVENT_CP_CLOCK_VIRTUAL", decode_checkpoint),
Decoder(35, "EVENT_CP_CLOCK_HOST", decode_checkpoint),
Decoder(36, "EVENT_CP_CLOCK_VIRTUAL_RT", decode_checkpoint),
Decoder(37, "EVENT_CP_INIT", decode_checkpoint_init),
Decoder(38, "EVENT_CP_RESET", decode_checkpoint),
]
def parse_arguments():
"Grab arguments for script"
parser = argparse.ArgumentParser()
@ -278,14 +343,18 @@ def parse_arguments():
def decode_file(filename):
"Decode a record/replay dump"
dumpfile = open(filename, "rb")
dumpsize = path.getsize(filename)
# read and throwaway the header
version = read_dword(dumpfile)
junk = read_qword(dumpfile)
# see REPLAY_VERSION
print("HEADER: version 0x%x" % (version))
if version == 0xe02007:
if version == 0xe0200c:
event_decode_table = v12_event_table
replay_state.checkpoint_start = 30
elif version == 0xe02007:
event_decode_table = v7_event_table
replay_state.checkpoint_start = 12
elif version == 0xe02006:
@ -299,8 +368,13 @@ def decode_file(filename):
decode_ok = True
while decode_ok:
event = read_event(dumpfile)
decode_ok = call_decode(event_decode_table, event, dumpfile)
decode_ok = call_decode(event_decode_table, event,
dumpfile)
except Exception as inst:
print(f"error {inst}")
finally:
print(f"Reached {dumpfile.tell()} of {dumpsize} bytes")
dumpfile.close()
if __name__ == "__main__":