christoph/failnix
1
Fork 0
Code Releases Activity

Compare commits

base: christoph:4bd3a9d7a4c424e93822005bcdd782b1b702bac8
Branches Tags
christoph:main
..
compare: christoph:2c43e630f0d484a8166b2434a300620417593d1e
Branches Tags
christoph:main

2 Commits
4bd3a9d7a4 ... 2c43e630f0

Author SHA1 Message Date
Christoph Urlacher
2c43e630f0 capture stderr in runner.pl 2026-05-21 00:27:03 +02:00
Christoph Urlacher
0cb829ccf4 Revert "update fail binaries" 
This reverts commit 4bd3a9d7a4.
 2026-05-21 00:26:40 +02:00
9 changed files with 71 additions and 73 deletions
Expand all files Collapse all files

BIN
fail/bin/fail-x86-tracing (Stored with Git LFS)
View File

Binary file not shown.

BIN
fail/bin/generic-experiment-client (Stored with Git LFS)
View File

Binary file not shown.

BIN
fail/bin/generic-experiment-server (Stored with Git LFS)
View File

Binary file not shown.

BIN
fail/bin/import-trace (Stored with Git LFS)
View File

Binary file not shown.

BIN
fail/bin/prune-trace (Stored with Git LFS)
View File

Binary file not shown.

2
scripts/Queries/Faults.pm
View File

@ -12,7 +12,7 @@ benchmark, resulttype, SUM(t.time2 - t.time1 + 1) AS faults,
CONCAT('0x', HEX(p.injection_instr_absolute)) AS fault_address
FROM variant v
JOIN trace t ON v.id = t.variant_id
JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_address = t.data_address
JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_physical_address = t.data_physical_address
JOIN result_GenericExperimentMessage r ON r.pilot_id = g.pilot_id
JOIN fsppilot p ON r.pilot_id = p.id
WHERE v.variant = '$experiment'

2
scripts/Queries/Results.pm
View File

@ -11,7 +11,7 @@ sub query {
benchmark, resulttype, sum(t.time2 - t.time1 + 1) AS faults
FROM variant v
JOIN trace t ON v.id = t.variant_id
JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_address = t.data_address
JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_physical_address = t.data_physical_address
JOIN result_GenericExperimentMessage r ON r.pilot_id = g.pilot_id
JOIN fsppilot p ON r.pilot_id = p.id
WHERE v.variant = '$experiment'

2
scripts/Queries/ResultsData.pm
View File

@ -11,7 +11,7 @@ sub query {
benchmark, resulttype, sum(t.time2 - t.time1 + 1) AS faults
FROM variant v
JOIN trace t ON v.id = t.variant_id
JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_address = t.data_address
JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_physical_address = t.data_physical_address
JOIN result_GenericExperimentMessage r ON r.pilot_id = g.pilot_id
JOIN fsppilot p ON r.pilot_id = p.id
WHERE v.variant = '$experiment'

118
scripts/runner.pl
View File

@ -55,7 +55,7 @@ sub trace {
# "-Wf,--full-trace",
# "-Wf,--check-bounds",
">$remote_builds_dir/$experiment/1_trace.log"
">$remote_builds_dir/$experiment/1_trace.log 2>&1"
);
say "Trace command: $trace_command";
@ -78,10 +78,9 @@ sub import_trace {
"-b ip",
"--no-gp", # Don't inject general purpose registers
"--ip", # Inject instruction pointer
">$remote_builds_dir/$experiment/2_import_ip.log"
">$remote_builds_dir/$experiment/2_import_ip.log 2>&1"
);
say "Import IP command: $import_ip_command";
system($import_ip_command);
# Benchmark: mem
@ -94,10 +93,9 @@ sub import_trace {
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b mem",
">$remote_builds_dir/$experiment/2_import_mem.log"
">$remote_builds_dir/$experiment/2_import_mem.log 2>&1"
);
say "Import MEM command: $import_mem_command";
system($import_mem_command);
# Benchmark: regs
@ -110,10 +108,9 @@ sub import_trace {
"-v $experiment",
"-b regs",
"--flags", # Inject flags register
">$remote_builds_dir/$experiment/2_import_regs.log"
">$remote_builds_dir/$experiment/2_import_regs.log 2>&1"
);
say "Import REGS command: $import_regs_command";
system($import_regs_command);
# Import fulltrace for VisualFAIL
@ -129,63 +126,64 @@ sub import_trace {
# )
# );
# Import disassembly/sources
system(
join " ",
(
"$fail_import",
"--database-option-file $remote_db_conf",
"-t $remote_builds_dir/$experiment/trace.pb",
"-i ElfImporter",
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b ip",
"--objdump objdump",
# Import disassembly/sources
my $import_ip_asm_command = join " ", (
"$fail_import",
"--database-option-file $remote_db_conf",
"-t $remote_builds_dir/$experiment/trace.pb",
"-i ElfImporter",
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b ip",
"--objdump objdump",
# "--sources",
)
);
system(
join " ",
(
"$fail_import",
"--database-option-file $remote_db_conf",
"-t $remote_builds_dir/$experiment/trace.pb",
"-i ElfImporter",
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b mem",
"--objdump objdump",
# "--sources",
">$remote_builds_dir/$experiment/2_import_ip_asm.log 2>&1"
);
say "Import IP Asm command: $import_ip_asm_command";
system($import_ip_asm_command);
# "--sources",
)
);
system(
join " ",
(
"$fail_import",
"--database-option-file $remote_db_conf",
"-t $remote_builds_dir/$experiment/trace.pb",
"-i ElfImporter",
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b regs",
"--objdump objdump",
my $import_mem_asm_command = join " ", (
"$fail_import",
"--database-option-file $remote_db_conf",
"-t $remote_builds_dir/$experiment/trace.pb",
"-i ElfImporter",
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b mem",
"--objdump objdump",
# "--sources",
)
);
# "--sources",
">$remote_builds_dir/$experiment/2_import_mem_asm.log 2>&1"
);
say "Import Mem Asm command: $import_mem_asm_command";
system($import_mem_asm_command);
my $prune_command = join " ",
(
my $import_regs_asm_command = join " ", (
"$fail_import",
"--database-option-file $remote_db_conf",
"-t $remote_builds_dir/$experiment/trace.pb",
"-i ElfImporter",
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b regs",
"--objdump objdump",
# "--sources",
">$remote_builds_dir/$experiment/2_import_regs_asm.log 2>&1"
);
say "Import Regs Asm command: $import_regs_asm_command";
system($import_regs_asm_command);
my $prune_command = join " ", (
"$fail_prune", "--database-option-file $remote_db_conf",
"-v $experiment", "-b %%",
#'-p NoPruner',
`-p BasicPruner`,
"--overwrite", ">$remote_builds_dir/$experiment/2_prune.log"
);
say "Prune command: $prune_command";
#'-p NoPruner',
'-p BasicPruner',
"--overwrite", ">$remote_builds_dir/$experiment/2_prune.log 2>&1"
);
say "Prune command: $prune_command";
system($prune_command);
}
@ -203,7 +201,7 @@ sub inject {
"--database-option-file $remote_db_conf", "-v $experiment",
"-b %", "--inject-single-bit",
"--inject-registers",
">$remote_builds_dir/$experiment/3_server.log"
">$remote_builds_dir/$experiment/3_server.log 2>&1"
);
say "Server command: $server_command";
@ -230,9 +228,9 @@ sub inject {
# Called in WAMR exception handler
"-Wf,--group1-marker=fail_marker_group1",
">/dev/null"
">/dev/null 2>&1"
# ">$remote_builds_dir/$experiment/4_client.log"
# ">$remote_builds_dir/$experiment/4_client.log 2>&1"
);
say "Client command: $client_command";