diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-11-24 12:39:36 +0000 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-11-25 15:19:12 +0000 |
| commit | 93c9f415f0babd5a7094ffece950b43622270d85 (patch) | |
| tree | 2de12e0ea02b0ea020b5cc3191f73b46d2245c23 /run.py | |
| parent | 70075a64519de3e760ebae7465e5409088c13d19 (diff) | |
| download | focaccia-93c9f415f0babd5a7094ffece950b43622270d85.tar.gz focaccia-93c9f415f0babd5a7094ffece950b43622270d85.zip | |
Update runner
Diffstat (limited to 'run.py')
| -rw-r--r-- | run.py | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/run.py b/run.py index e7a7ad4..b7a4285 100644 --- a/run.py +++ b/run.py @@ -112,15 +112,15 @@ def trace(pid, sched_socket_path): srv.bind(sched_socket_path) srv.listen(1) - print(f"Waiting for scheduler connection on {sched_socket_path}") - conn, _ = srv.accept() - print("Scheduler connected") - # ------------------------------------------------------------------ # 1) Run proc0 until first clone, detach the child # ------------------------------------------------------------------ run_until_first_clone_and_ignore_child(debugger, proc0) + print(f"Waiting for scheduler connection on {sched_socket_path}") + conn, _ = srv.accept() + print("Scheduler connected") + # ------------------------------------------------------------------ # 2) Attach ALL threads EXCEPT the ignored clone # ------------------------------------------------------------------ @@ -211,7 +211,12 @@ if __name__ == "__main__": "qemu-x86_64", "-g", "12348", - "./reproducers/issue-508.static-musl.rr.out/mmap_clone_4_issue-508.static-musl.out" + "/nix/store/dmpq06y392i752zwhcna07kb2x5l58l5-memcached-static-x86_64-unknown-linux-musl-1.6.37/bin/memcached", + "-p", + "11211", + "-t", + "4", + "-vv" ] sched_path = "/tmp/memcached_scheduler.sock" |