coop/rose-ash
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

host: warm-conf.sh — add eval/reload modes (the profiler that found the perf bug)

Browse Source 
`eval <expr>` evals an SX expression against the warm image and reports round-trip time —
the profiling primitive that isolated relations/relate at 6s/call (super-linear). `reload
<files>` hot-reloads specific modules into the warm image. GOTCHAS baked in: the epoch
protocol rejects bare exprs ("Unknown command") so eval wraps in (eval "<src>") with quote/
backslash escaping; an (eval …) acks as (ok-len N C) with the result on its own line (NOT
(ok N R), which is the LOAD ack), errors as (error N …).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
This commit is contained in:
giles
2026-06-30 23:55:20 +00:00
parent e12e314bc3
commit 07dfad5919
1 changed files with 22 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
lib/host/warm-conf.sh
View File

@@ -119,10 +119,31 @@ cmd_run() {
if [ "$totf" -eq 0 ]; then echo "ok $totp passed (warm)"; else echo "FAIL $totp passed, $totf failed (warm)"; return 1; fi
}
# profiling: eval an SX expression against the warm image, report round-trip time. The
# epoch protocol only accepts COMMANDS, so the expr is wrapped in (eval "<source>") with
# quotes/backslashes escaped; errors come back as (error N …), success as (ok N …).
cmd_eval() {
if ! _running; then echo "warm: not running"; return 1; fi
local expr="$1" esc off e t0 t1
esc="${expr//\\/\\\\}"; esc="${esc//\"/\\\"}"
off="$(wc -c < "$LOG")"; e="$(cat "$EPF")"; e=$((e+1)); echo "$e" > "$EPF"
t0=$(date +%s.%N)
{ printf '(epoch %d)\n(eval "%s")\n' "$e" "$esc"; } > "$FIFO"
# an (eval …) acks as (ok-len N C) with the result printed on its own line(s); an error
# acks as (error N …). Wait for either, then show the result line (the non-ack output).
_wait_for "^\((ok-len|error) $e " "$off" 600 || { echo " (eval timeout)"; return 1; }
t1=$(date +%s.%N)
printf ' [%6.2fs] %s\n' "$(echo "$t1 - $t0" | bc -l)" "$(tail -c +"$((off+1))" "$LOG" | grep -vE '^\((ok|ok-len) ' | tail -1)"
}
# reload one or more module files into the warm image (e.g. after editing blog.sx).
cmd_reload() { if ! _running; then echo "warm: not running"; return 1; fi; shift; local last; last="$(_emit_loads "$@")"; _wait_for "^\(ok $last " 0 300 && echo "warm: reloaded $* (epoch $last)"; }
case "${1:-}" in
start) cmd_start ;;
stop) cmd_stop ;;
restart) cmd_stop; cmd_start ;;
run) shift; cmd_run "${1:-}" ;;
*) echo "usage: $0 {start|run [suite]|stop|restart}" >&2; exit 1 ;;
eval) cmd_eval "${2:-}" ;;
reload) cmd_reload "$@" ;;
*) echo "usage: $0 {start|run [suite]|stop|restart|eval <expr>|reload <files...>}" >&2; exit 1 ;;
esac