christoph/fail-targets
1
Fork 0
Code Releases Activity

trace: use full-trace when possible

Browse Source 
If the fail-client was compiled with our modified, register-tracing,
sail compiler, the full trace will also record register R/W events.
Therefore, we also try to import the memory-type 'register'.
This commit is contained in:
Christian Dietrich
2021-08-17 12:41:27 +02:00
parent 77f7526a6e
commit cba1c2a510
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
Makefile
View File

@ -7,7 +7,7 @@ all: help
BUILD_DIR := build-${ARCH} BUILD_DIR := build-${ARCH}
FAIL_BIN ?= ${BUILD_DIR}/bin FAIL_BIN ?= ${BUILD_DIR}/bin
FAIL_SERVER ?= ${FAIL_BIN}/generic-experiment-server FAIL_SERVER ?= ${FAIL_BIN}/generic-experiment-server
FAIL_TRACE ?= ${FAIL_BIN}/fail-generic-tracing FAIL_TRACE ?= ${FAIL_BIN}/fail-generic-tracing -Wf,--full-trace
FAIL_INJECT ?= ${FAIL_BIN}/fail-generic-experiment FAIL_INJECT ?= ${FAIL_BIN}/fail-generic-experiment
FAIL_IMPORT ?= ${FAIL_BIN}/import-trace --enable-sanitychecks FAIL_IMPORT ?= ${FAIL_BIN}/import-trace --enable-sanitychecks
FAIL_PRUNE ?= ${FAIL_BIN}/prune-trace FAIL_PRUNE ?= ${FAIL_BIN}/prune-trace
@ -87,7 +87,8 @@ ${HOME}/.my.cnf:
@echo "port=3306" >> $@ @echo "port=3306" >> $@
import-%: ${BUILD_DIR}/%/trace.pb ${HOME}/.my.cnf import-%: ${BUILD_DIR}/%/trace.pb ${HOME}/.my.cnf
${FAIL_IMPORT} -v ${ARCH}/$(patsubst import-%,%,$@) -b mem -t $< -e $(shell dirname $<)/system.elf -i mem ${FAIL_IMPORT} -v ${ARCH}/$(patsubst import-%,%,$@) -b mem -t $< -e $(shell dirname $<)/system.elf -i mem --memory-type ram
${FAIL_IMPORT} -v ${ARCH}/$(patsubst import-%,%,$@) -b regs-trace -t $< -e $(shell dirname $<)/system.elf -i mem --memory-type register
${FAIL_IMPORT} -v ${ARCH}/$(patsubst import-%,%,$@) -b regs -t $< -e $(shell dirname $<)/system.elf -i regs ${FAIL_IMPORT} -v ${ARCH}/$(patsubst import-%,%,$@) -b regs -t $< -e $(shell dirname $<)/system.elf -i regs
${FAIL_IMPORT} -v ${ARCH}/$(patsubst import-%,%,$@) -b ip -t $< -e $(shell dirname $<)/system.elf -i regs --no-gp --ip ${FAIL_IMPORT} -v ${ARCH}/$(patsubst import-%,%,$@) -b ip -t $< -e $(shell dirname $<)/system.elf -i regs --no-gp --ip
${FAIL_PRUNE} -v ${ARCH}/$(patsubst import-%,%,$@) -b %% --overwrite ${FAIL_PRUNE} -v ${ARCH}/$(patsubst import-%,%,$@) -b %% --overwrite