christoph/failnix
1
Fork 0
Code Releases Activity

Compare commits

base: christoph:6859402483bad4ad4fdbf3e8ad554ae80666f35b
Branches Tags
christoph:main
...
compare: christoph:main
Branches Tags
christoph:main

10 Commits
6859402483 ... main

Author SHA1 Message Date
Christoph Urlacher
9ca8e88ec0 don't save client logs 2026-05-06 20:36:10 +02:00
Christoph Urlacher
be2c4b7bf2 log experiment stages to separate files 2026-05-06 20:30:41 +02:00
Christoph Urlacher
644603fb8b don't move runner log 2026-05-06 20:08:39 +02:00
Christoph Urlacher
0dccd1df46 update fail binaries again again 2026-05-06 19:52:25 +02:00
Christoph Urlacher
9db4cb8bb1 remove fail binaries 2026-05-06 19:39:47 +02:00
Christoph Urlacher
10fe608a90 separate client/server logs + move logs to experiment dir 2026-05-04 13:32:34 +02:00
Christoph Urlacher
2de6e20675 update fail binaries again - set static port (--server-port doesn't work) 2026-05-04 13:31:18 +02:00
Christoph Urlacher
bc98e2af5c add updated fail binaries 2026-05-04 11:38:05 +02:00
Christoph Urlacher
3819e84acb remove fail binaries 2026-05-04 11:35:42 +02:00
Christoph Urlacher
6ce8987ebd add --server-port option to generic-experiment-client 2026-04-29 21:02:10 +02:00
13 changed files with 182 additions and 169 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.

BIN
fail/bin_old_vss/fail-x86-tracing
View File

Binary file not shown.

BIN
fail/bin_old_vss/generic-experiment-client
View File

Binary file not shown.

BIN
fail/bin_old_vss/generic-experiment-server
View File

Binary file not shown.

BIN
fail/bin_old_vss/import-trace
View File

Binary file not shown.

BIN
fail/bin_old_vss/prune-trace
View File

Binary file not shown.

2
flake.nix
View File

@ -417,7 +417,7 @@ rec {
mariadb.client
# dbeaver-bin
# beekeeper-studio
tableplus
# tableplus
lazysql
iwasm
wamrc

6
scripts/menu.pl
View File

@ -381,7 +381,11 @@ my %handlers = (
);
},
'20. Run Build in GDB' => sub {
'20. Open TablePlus (Mars)' => sub {
system('tableplus');
},
'21. Run Build in GDB' => sub {
my @builds = grep { /linux/ } Util::find_subdirs($local_builds_dir);
my @selected_builds =
TUI::select_from_list( "Select Build to Run in GDB", 0, @builds );

237
scripts/runner.pl
View File

@ -35,11 +35,9 @@ my $result_browser = "$fail_bin/resultbrowser.py";
sub trace {
my ($experiment) = @_;
Util::notify("Tracing $experiment...");
# Util::notify("Tracing $experiment...");
system(
join " ",
(
my $trace_command = join " ", (
"$bochs_runner",
"-V $fail_share/vgabios.bin",
"-b $fail_share/BIOS-bochs-latest",
@ -53,23 +51,24 @@ sub trace {
"-Wf,--end-symbol=fail_stop_trace",
"-Wf,--state-file=$remote_builds_dir/$experiment/state",
"-Wf,--trace-file=$remote_builds_dir/$experiment/trace.pb",
"-Wf,--elf-file=$remote_builds_dir/$experiment/system.elf"
"-Wf,--elf-file=$remote_builds_dir/$experiment/system.elf",
# "-Wf,--full-trace",
# "-Wf,--check-bounds",
)
">$remote_builds_dir/$experiment/1_trace.log"
);
say "Trace command: $trace_command";
system($trace_command);
}
sub import_trace {
my ($experiment) = @_;
Util::notify("Importing $experiment trace...");
# Util::notify("Importing $experiment trace...");
# Benchmark: ip
system(
join " ",
(
my $import_ip_command = join " ", (
"$fail_import",
"--database-option-file $remote_db_conf",
"-t $remote_builds_dir/$experiment/trace.pb",
@ -78,13 +77,15 @@ sub import_trace {
"-v $experiment",
"-b ip",
"--no-gp", # Don't inject general purpose registers
"--ip" # Inject instruction pointer
)
"--ip", # Inject instruction pointer
">$remote_builds_dir/$experiment/2_import_ip.log"
);
say "Import IP command: $import_ip_command";
system($import_ip_command);
# Benchmark: mem
system(
join " ",
my $import_mem_command = join " ",
(
"$fail_import",
"--database-option-file $remote_db_conf",
@ -92,14 +93,15 @@ sub import_trace {
"-i MemoryImporter",
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b mem"
)
"-b mem",
">$remote_builds_dir/$experiment/2_import_mem.log"
);
say "Import MEM command: $import_mem_command";
system($import_mem_command);
# Benchmark: regs
system(
join " ",
(
my $import_regs_command = join " ", (
"$fail_import",
"--database-option-file $remote_db_conf",
"-t $remote_builds_dir/$experiment/trace.pb",
@ -107,76 +109,82 @@ sub import_trace {
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b regs",
"--flags" # Inject flags register
)
"--flags", # Inject flags register
">$remote_builds_dir/$experiment/2_import_regs.log"
);
say "Import REGS command: $import_regs_command";
system($import_regs_command);
# Import fulltrace for VisualFAIL
system(
join " ",
(
"$fail_import",
"--database-option-file $remote_db_conf",
"-t $remote_builds_dir/$experiment/trace.pb",
"-i FullTraceImporter",
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
)
);
# system(
# join " ",
# (
# "$fail_import",
# "--database-option-file $remote_db_conf",
# "-t $remote_builds_dir/$experiment/trace.pb",
# "-i FullTraceImporter",
# "-e $remote_builds_dir/$experiment/system.elf",
# "-v $experiment",
# )
# );
# Import objdump disassembly + source files
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",
"--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",
)
);
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",
"--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",
#
# # "--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",
# )
# );
# 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",
#
# # "--sources",
# )
# );
system(
join " ",
my $prune_command = join " ",
(
"$fail_prune",
"--database-option-file $remote_db_conf",
"-v $experiment",
"-b %%", "--overwrite"
)
"$fail_prune", "--database-option-file $remote_db_conf",
"-v $experiment", "-b %%",
"--overwrite", ">$remote_builds_dir/$experiment/2_prune.log"
);
say "Prune command: $prune_command";
system($prune_command);
}
sub inject {
@ -186,39 +194,18 @@ sub inject {
Util::notify("Injecting $experiment using $count cores...");
say "Forking...";
my $pid = fork();
die "fork failed: $!" unless defined $pid;
if ( $pid == 0 ) {
# child -> server
say "Running server in child process...";
exec(
join " ",
(
my $server_command = join " ", (
"$fail_server",
"--port $fail_server_port",
"--database-option-file $remote_db_conf",
"-v $experiment",
"-b %",
"--inject-single-bit",
"--inject-registers"
)
) == 0 or die "exec server failed: $!";
}
# parent -> client
# "--port $fail_server_port",
"--database-option-file $remote_db_conf", "-v $experiment",
"-b %", "--inject-single-bit",
"--inject-registers",
">$remote_builds_dir/$experiment/3_server.log"
);
say "Server command: $server_command";
say "Waiting for server...";
sleep(10);
say "Running client with $count cores in parent process";
system(
join " ",
(
my $client_command = join " ", (
"nice $bochs_runner",
"-V $fail_share/vgabios.bin",
"-b $fail_share/BIOS-bochs-latest",
@ -227,7 +214,8 @@ sub inject {
"-i $remote_builds_dir/$experiment/system.iso",
"-j $count",
"--",
"-Wf,--server-port=$fail_server_port",
# "-Wf,--server-port=$fail_server_port",
"-Wf,--state-dir=$remote_builds_dir/$experiment/state",
"-Wf,--trap",
"-Wf,--catch-outerspace",
@ -236,9 +224,30 @@ sub inject {
"-Wf,--ok-marker=fail_marker_positive",
"-Wf,--fail-marker=fail_marker_negative",
"-Wf,--detected-marker=fail_marker_detected",
">/dev/null"
)
) == 0 or die "client failed: $?";
# ">$remote_builds_dir/$experiment/4_client.log"
);
say "Client command: $client_command";
say "Forking...";
my $pid = fork();
die "fork failed: $!" unless defined $pid;
if ( $pid == 0 ) {
# child -> server
say "Running server in child process...";
exec($server_command) == 0 or die "exec server failed: $!";
}
# parent -> client
say "Waiting for server...";
sleep(10);
say "Running client with $count cores in parent process";
system($client_command) == 0 or die "client failed: $?";
say "Killing server with pid $pid...";
kill 'TERM', $pid;