diff --git a/NEXT.md b/NEXT.md index 38445a7..f6e2750 100644 --- a/NEXT.md +++ b/NEXT.md @@ -104,8 +104,9 @@ the check took it from 2/8 failures to 0/10, and closed a second race that was b **The `the daemon never listened` flake is closed at the root, and the root was a cold cache.** The wait is not for a socket but for an llc-and-link of the whole program before `flan dev` binds, and that build was cold on every invocation because `Build.cachedir` sat under `$TMPDIR` — which dune makes private per run. The cache now lives under -`$XDG_CACHE_HOME/flan/objcache` (`$FLAN_CACHE_DIR` overrides). Measured on `dev-repl.flan`, launch to bound socket: -**2.0s cold, 0.48s warm**; whole-program `flan build` **1.44s cold, 0.06s warm**; full `dune test` 25.7s/30.1s before +`$XDG_CACHE_HOME/flan/objcache` (`$FLAN_CACHE_DIR` overrides). Measured on an idle machine, and so not comparable +with the 6.5-6.8s this file used to quote, which was a cold build under dune's own parallelism — on `dev-repl.flan`, +launch to bound socket: **2.0s cold, 0.48s warm**; whole-program `flan build` **1.44s cold, 0.06s warm**; full `dune test` 25.7s/30.1s before against 24.0s after, with user CPU down from ~50s to ~34s — the wall gain is small because the suite is bound by sequential test steps, not by compiles. diff --git a/test/test_dev.ml b/test/test_dev.ml index 53bf694..cce1cbd 100644 --- a/test/test_dev.ml +++ b/test/test_dev.ml @@ -68,7 +68,9 @@ let listening ?(ms = 30000) ~pid path = Printf.sprintf "exited with status %d before binding %s" n path | Some (Unix.WSIGNALED n) -> Printf.sprintf "was killed by signal %d before binding %s" n path - | Some (Unix.WSTOPPED n) -> Printf.sprintf "stopped on signal %d" n + (* Unreachable without WUNTRACED, and here only for exhaustiveness. *) + | Some (Unix.WSTOPPED n) -> + Printf.sprintf "stopped on signal %d without binding %s" n path | None -> Printf.sprintf "was still running after %ds without binding %s, so it was the \ diff --git a/test/test_emacs.ml b/test/test_emacs.ml index c5e0cda..9b7f378 100644 --- a/test/test_emacs.ml +++ b/test/test_emacs.ml @@ -46,7 +46,9 @@ let listening ?(ms = 30000) ~pid path = Printf.sprintf "exited with status %d before binding %s" n path | Some (Unix.WSIGNALED n) -> Printf.sprintf "was killed by signal %d before binding %s" n path - | Some (Unix.WSTOPPED n) -> Printf.sprintf "stopped on signal %d" n + (* Unreachable without WUNTRACED, and here only for exhaustiveness. *) + | Some (Unix.WSTOPPED n) -> + Printf.sprintf "stopped on signal %d without binding %s" n path | None -> Printf.sprintf "was still running after %ds without binding %s, so it was the \ diff --git a/test/test_repl.ml b/test/test_repl.ml index a11b688..bf607e7 100644 --- a/test/test_repl.ml +++ b/test/test_repl.ml @@ -57,7 +57,9 @@ let listening ?(ms = 30000) ~pid path = Printf.sprintf "exited with status %d before binding %s" n path | Some (Unix.WSIGNALED n) -> Printf.sprintf "was killed by signal %d before binding %s" n path - | Some (Unix.WSTOPPED n) -> Printf.sprintf "stopped on signal %d" n + (* Unreachable without WUNTRACED, and here only for exhaustiveness. *) + | Some (Unix.WSTOPPED n) -> + Printf.sprintf "stopped on signal %d without binding %s" n path | None -> Printf.sprintf "was still running after %ds without binding %s, so it was the \