From e7cfc590962d0e750f43e84733447dcf65ade830 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Sat, 18 Apr 2026 11:52:52 +0200
Subject: [PATCH] add fork logs to inject

---
 scripts/runner.pl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/runner.pl b/scripts/runner.pl
index bf38a9b..7229e2f 100644
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@@ -140,12 +140,14 @@ sub inject {
 
     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(
 "$fail_server --port $fail_server_port --database-option-file $remote_db_conf -v $experiment -b % --inject-single-bit --inject-registers"
         ) or die "exec server failed: $!";
@@ -153,10 +155,12 @@ sub inject {
 
     # parent -> client
     # "-Wf,--catch-write-textsegment",
+    say "Running client with $count cores in parent process";
     system(
 "nice $bochs_runner -V $fail_share/vgabios.bin -b $fail_share/BIOS-bochs-latest -f $fail_inject -e $remote_builds_dir/$experiment/system.elf -i $remote_builds_dir/$experiment/system.iso -j $count -- -Wf,--server-port=$fail_server_port -Wf,--state-dir=$remote_builds_dir/$experiment/state -Wf,--trap -Wf,--catch-outerspace -Wf,--timeout=500000 -Wf,--ok-marker=fail_marker_positive -Wf,--fail-marker=fail_marker_negative -Wf,--detected-marker=fail_marker_detected > /dev/null"
     ) or die "client failed: $?";
 
+    say "Killing server with pid $pid...";
     kill 'TERM', $pid;
     waitpid( $pid, 0 );