christoph/failnix
1
Fork 0
Code Releases Activity

Compare commits

base: christoph:bc98e2af5cb72b763a75a219f912600f7b91d69e
Branches Tags
christoph:main
...
compare: christoph:main
Branches Tags
christoph:main

7 Commits
bc98e2af5c ... 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
6 changed files with 180 additions and 167 deletions
Expand all files Collapse all files

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.

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