shoney.arickathil
79605cbb4f
- `woc` now emits `.wob` that `wovm` runs: emit.ml lowers the typed, owner-annotated AST (scope-stack registers with a >64 WO-E401 diagnostic, Lua-style call windows, ICALL by slot, dedup const pool, drop maps, line tables, implicit terminators); disasm.ml backs `--dump-bc` goldens. - Ownership lowering consumes the four owner tables verbatim; RESIDUAL is the only source of borrow ops, coalesced per operand. Review caught the emitter consuming only 2 of owner.ml's 4 residual producers — an assignment-anchored aliasing violation ran to exit 0 instead of trapping; fixed, plus a backstop raising WO-E404 for any residual region left unconsumed. - Conformance harness `scripts/oop-e2e.sh` (`just oop-e2e`): four fixture kinds with exact outcomes — byte-exact stdout, one WO-E### anchored on `error CODE:`, numeric trap code, gc trace. 25 fixtures incl. pricing-demo logic, the ownership suite, and DB_STUB's parse-but-trap. `tests/` un-ignored so the corpus is actually tracked. - `woc build` produces a self-contained binary: wovm copy + appended image + 20-byte trailer, self-exec via /proc/self/exe. Verified relocated outside the repo, argless, and against adversarial trailer corruption. - Milestone 1's five spec criteria all MET (`just oop-accept`). Criterion 3 closed by WO-E405 — the entry must return `Int`, since program mode already says its return value is the exit code — which deletes the leak class without adding return-type metadata to the format. `gc/held-cycle` retired: an externally-held cycle is not expressible in a post-exit pump. - New spec: inferred GC + incremental per-shard tri-color mark-sweep, retiring `@gc` and reference counting. Story gains iterations 7b (that work) and 9b (`@table`, relations, compiler-checked query); `.dev/reference` gains a sparse System.Linq checkout. Priority: 5→6→7 (log-watcher) then 7b, 8, 9, 9b.
219 lines
12 KiB
Makefile
219 lines
12 KiB
Makefile
# writeonce — task runner. `just --list` shows all recipes.
|
|
|
|
# serve the hello example (docs/examples/hello/main.wo) on :8080
|
|
hello:
|
|
cargo run --bin wo -- run docs/examples/hello
|
|
|
|
# C runtime reference (prototypes/wo-rt-c): build, serve, CRUD round-trip, shut down
|
|
# Phase A: thread-per-core — each connection hashes to one shard (SO_REUSEPORT),
|
|
# so a list may land on a different shard than the create. The counters on /
|
|
# show the spread. WO_THREADS=4 keeps the demo output readable.
|
|
rt-c-demo port="8085" threads="4":
|
|
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
make -C prototypes/wo-rt-c
|
|
data=$(mktemp -d /tmp/wo-demo-XXXXXX)
|
|
WO_PORT={{port}} WO_THREADS={{threads}} WO_DATA=$data ./prototypes/wo-rt-c/wo-rt &
|
|
server=$!
|
|
trap 'kill $server 2>/dev/null; sleep 0.3; rm -rf $data' EXIT
|
|
base=http://127.0.0.1:{{port}}
|
|
for _ in $(seq 1 40); do curl -s "$base/healthz" >/dev/null && break; sleep 0.25; done
|
|
echo
|
|
echo "--- runtime:"; curl -s "$base/"; echo
|
|
echo "--- create x4 (each connection may hash to a different shard):"
|
|
for i in 1 2 3 4; do curl -s -X POST "$base/api/notes" -d '{"title":"note '$i'"}'; echo; done
|
|
echo "--- list (the connection's own shard only — shared-nothing):"
|
|
curl -s "$base/api/notes"; echo
|
|
echo "--- spread:"; curl -s "$base/"; echo
|
|
|
|
# woc compiler front (compiler/): build the executable
|
|
woc-build:
|
|
dune build --root compiler
|
|
|
|
# woc gate: unit tests (test_diag) + golden suite (runner, WOC_BLESS=1 to update)
|
|
woc-test:
|
|
dune runtest --root compiler
|
|
|
|
# wovm (runtime/): build the plain, optimized binary — the release build,
|
|
# no sanitizer (wovm-test is the ASan-clean gate; `make -C runtime wovm-asan`
|
|
# builds a separate sanitized binary for the corpus, see oop-accept)
|
|
wovm-build:
|
|
make -C runtime wovm
|
|
|
|
# wovm gate: unit suites (both dispatch flavors: computed-goto + ISO switch
|
|
# under -DWO_ISO_C, so neither rots) + CLI smoke, all ASan+UBSan
|
|
wovm-test:
|
|
make -C runtime test
|
|
make -C runtime test-iso
|
|
bash runtime/test/cli_smoke.sh
|
|
|
|
# conformance harness (plan 3): walks tests/corpus/{run,compile-fail,trap},
|
|
# exact outcome per fixture kind — see docs/plan/oop-vm/02-corpus.md.
|
|
# Fails loudly (and names the recipe to run) if woc or wovm isn't built.
|
|
oop-e2e:
|
|
./scripts/oop-e2e.sh
|
|
|
|
# milestone-1 acceptance gate (docs/superpowers/specs/2026-08-01-oop-compiler-vm-design.md
|
|
# "Success criteria"): the five spec criteria plus both unit gates, one
|
|
# command, in the spec's order. Fails loudly on the first failing stage,
|
|
# names the criterion, exits nonzero — a measurement that only prints is
|
|
# not a gate.
|
|
oop-accept:
|
|
#!/usr/bin/env bash
|
|
set -uo pipefail
|
|
ROOT="$(pwd)"
|
|
fail() { echo "oop-accept: FAILED -- $1" >&2; exit 1; }
|
|
WORK="$(mktemp -d "${TMPDIR:-/tmp}/oop-accept.XXXXXX")"
|
|
trap 'rm -rf "$WORK"' EXIT
|
|
|
|
echo "=== criterion 1: woc compile time, pricing subset (budget: under 100ms) ==="
|
|
dune build --root compiler || fail "criterion 1: dune build --root compiler"
|
|
WOC="$ROOT/compiler/_build/default/bin/woc"
|
|
PRICING="tests/corpus/run/pricing-containers/fixture.wo tests/corpus/run/pricing-current-price/fixture.wo tests/corpus/run/pricing-discounted/fixture.wo tests/corpus/run/pricing-text/fixture.wo tests/corpus/trap/pricing-set-price-db-stub/fixture.wo"
|
|
N=20
|
|
total_ns=0; max_ns=0; min_ns=""
|
|
for i in $(seq 1 "$N"); do
|
|
start=$(date +%s%N)
|
|
for f in $PRICING; do
|
|
"$WOC" --emit "$f" -o "$WORK/pricing.wob" || fail "criterion 1: woc --emit $f"
|
|
done
|
|
end=$(date +%s%N)
|
|
elapsed=$((end - start))
|
|
total_ns=$((total_ns + elapsed))
|
|
[[ -z "$min_ns" || elapsed -lt min_ns ]] && min_ns=$elapsed
|
|
[[ elapsed -gt max_ns ]] && max_ns=$elapsed
|
|
done
|
|
avg_ms=$(awk -v t="$total_ns" -v n="$N" 'BEGIN{printf "%.3f", t/n/1000000}')
|
|
min_ms=$(awk -v t="$min_ns" 'BEGIN{printf "%.3f", t/1000000}')
|
|
max_ms=$(awk -v t="$max_ns" 'BEGIN{printf "%.3f", t/1000000}')
|
|
echo " woc --emit over all 5 pricing-subset fixtures, $N runs: min ${min_ms}ms avg ${avg_ms}ms max ${max_ms}ms"
|
|
[[ "$max_ns" -lt 100000000 ]] || fail "criterion 1: worst case ${max_ms}ms meets/exceeds the 100ms budget"
|
|
echo " criterion 1: MET"
|
|
|
|
echo "=== criteria 2-4: full conformance corpus under ASan (runtime/build/wovm_asan) ==="
|
|
make -C runtime wovm || fail "criteria 2-4: make -C runtime wovm"
|
|
make -C runtime wovm-asan || fail "criteria 2-4: make -C runtime wovm-asan"
|
|
cp "$ROOT/runtime/wovm" "$WORK/wovm.release"
|
|
restore_wovm() { cp "$WORK/wovm.release" "$ROOT/runtime/wovm"; }
|
|
echo " swapping runtime/wovm -> runtime/build/wovm_asan for this stage only (oop-e2e.sh has no --wovm override)"
|
|
cp "$ROOT/runtime/build/wovm_asan" "$ROOT/runtime/wovm"
|
|
if ./scripts/oop-e2e.sh; then
|
|
restore_wovm
|
|
else
|
|
restore_wovm
|
|
fail "criteria 2-4: conformance corpus failed under ASan (see output above)"
|
|
fi
|
|
echo " runtime/wovm restored to the release binary"
|
|
echo " criteria 2-4: MET"
|
|
|
|
echo "=== criterion 5: single-binary smoke (runtime/wovm, release binary) ==="
|
|
./scripts/single-binary-smoke.sh || fail "criterion 5: single-binary smoke"
|
|
echo " criterion 5: MET"
|
|
|
|
echo "=== unit gate: runtime (both dispatch flavors + cli_smoke) ==="
|
|
make -C runtime test || fail "runtime unit gate: make -C runtime test"
|
|
make -C runtime test-iso || fail "runtime unit gate: make -C runtime test-iso"
|
|
bash runtime/test/cli_smoke.sh || fail "runtime unit gate: cli_smoke"
|
|
echo " runtime unit gate: MET"
|
|
|
|
echo "=== unit gate: compiler ==="
|
|
dune runtest --root compiler || fail "compiler unit gate: dune runtest --root compiler"
|
|
echo " compiler unit gate: MET"
|
|
|
|
echo
|
|
echo "oop-accept: ALL CRITERIA MET"
|
|
|
|
# phase-F benchmark: reads, durable writes, 10k idle conns (scaled geometry)
|
|
rt-c-bench port="8085" threads="8" conns="64":
|
|
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
make -C prototypes/wo-rt-c clean >/dev/null
|
|
make -C prototypes/wo-rt-c CFLAGS="-O2 -Wall -Wextra -std=c11 -DSLOTS_PER_SHARD=262144" wo-rt bench >/dev/null
|
|
data=$(mktemp -d /tmp/wo-bench-XXXXXX)
|
|
WO_PORT={{port}} WO_THREADS={{threads}} WO_DATA=$data ./prototypes/wo-rt-c/wo-rt >/dev/null 2>&1 &
|
|
server=$!
|
|
trap 'kill $server 2>/dev/null; sleep 0.3; rm -rf $data; make -C prototypes/wo-rt-c clean >/dev/null; make -C prototypes/wo-rt-c wo-rt bench >/dev/null' EXIT
|
|
base=127.0.0.1; for _ in $(seq 1 40); do curl -s "http://$base:{{port}}/healthz" >/dev/null && break; sleep 0.25; done
|
|
B=./prototypes/wo-rt-c/bench/bench
|
|
echo "wo-rt-c ({{threads}} shards, durable WAL):"
|
|
$B $base {{port}} {{conns}} 5 /healthz
|
|
$B $base {{port}} {{conns}} 5 /
|
|
$B $base {{port}} {{conns}} 3 /api/notes '{"title":"bench"}'
|
|
$B $base {{port}} 10000 0 /healthz
|
|
|
|
# serve the pricing demo (class model — docs/examples/pricing) on :8080
|
|
pricing:
|
|
cargo run --bin wo -- run docs/examples/pricing
|
|
|
|
# class model in action: CRUD + row-scoped method RPC (13b) on Product.
|
|
# WO_THREADS=1 + WO_DATA=off keep ids deterministic and the demo stateless.
|
|
pricing-demo port="8092":
|
|
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
cargo build --bin wo
|
|
WO_THREADS=1 WO_DATA=off WO_LISTEN=127.0.0.1:{{port}} ./target/debug/wo run docs/examples/pricing &
|
|
server=$!
|
|
trap 'kill $server 2>/dev/null' EXIT
|
|
base=http://127.0.0.1:{{port}}
|
|
for _ in $(seq 1 40); do curl -s "$base/healthz" >/dev/null && break; sleep 0.25; done
|
|
echo
|
|
echo "--- create:"; curl -s -X POST "$base/api/products" -H 'Content-Type: application/json' -d '{"sku":"WO-001","name":"writeonce mug"}'; echo
|
|
echo "--- list:"; curl -s "$base/api/products"; echo
|
|
echo "--- patch 1:"; curl -s -X PATCH "$base/api/products/1" -d '{"name":"writeonce mug v2"}'; echo
|
|
echo "--- set_price 4999 (method RPC, expect 200):"; curl -s -X POST "$base/api/products/1/set_price" -d '{"amount":4999}' -o /dev/null -w '%{http_code}\n'
|
|
echo "--- set_price 5999 (expect 200):"; curl -s -X POST "$base/api/products/1/set_price" -d '{"amount":5999}' -o /dev/null -w '%{http_code}\n'
|
|
echo "--- current_price (expect 5999):"; curl -s -X POST "$base/api/products/1/current_price"; echo
|
|
echo "--- set_price 0 (assert aborts, expect 409):"; curl -s -X POST "$base/api/products/1/set_price" -d '{"amount":0}'; echo
|
|
echo "--- current_price unchanged (expect 5999):"; curl -s -X POST "$base/api/products/1/current_price"; echo
|
|
echo "--- price history via select (projected amount+at):"; curl -s -X POST "$base/api/products/1/history"; echo
|
|
echo "--- indexed REST filter ?product=1:"; curl -s "$base/api/prices?product=1"; echo
|
|
echo "--- live (13c pending, expect 501):"; curl -s -o /dev/null -w '%{http_code}\n' "$base/api/products/live"
|
|
echo "--- delete 1 (expect 204):"; curl -s -X DELETE "$base/api/products/1" -o /dev/null -w '%{http_code}\n'
|
|
|
|
# Postgres backup mirror (plan 16): throwaway postgres:16 container, pricing
|
|
# demo with WO_PG, verify rows via psql, tear everything down.
|
|
# Needs docker + psql. RAM stays authoritative — psql is the backup view.
|
|
pricing-pg-demo port="8093" pgport="54331":
|
|
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
cargo build --bin wo
|
|
docker rm -f wo-pg-demo >/dev/null 2>&1 || true
|
|
docker run -d --rm --name wo-pg-demo -e POSTGRES_HOST_AUTH_METHOD=trust -e POSTGRES_DB=wo -p {{pgport}}:5432 postgres:16 >/dev/null
|
|
trap 'kill $server 2>/dev/null || true; docker rm -f wo-pg-demo >/dev/null 2>&1 || true' EXIT
|
|
for _ in $(seq 1 60); do psql -h 127.0.0.1 -p {{pgport}} -U postgres wo -c 'select 1' >/dev/null 2>&1 && break; sleep 0.5; done
|
|
WO_THREADS=1 WO_DATA=off WO_PG=postgres://postgres@127.0.0.1:{{pgport}}/wo WO_LISTEN=127.0.0.1:{{port}} \
|
|
./target/debug/wo run docs/examples/pricing &
|
|
server=$!
|
|
base=http://127.0.0.1:{{port}}
|
|
for _ in $(seq 1 40); do curl -s "$base/healthz" >/dev/null && break; sleep 0.25; done
|
|
echo
|
|
echo "--- create + set_price 4999, 5999 (RAM ack; mirror follows):"
|
|
curl -s -X POST "$base/api/products" -d '{"sku":"WO-001","name":"writeonce mug"}'; echo
|
|
curl -s -o /dev/null -X POST "$base/api/products/1/set_price" -d '{"amount":4999}'
|
|
curl -s -o /dev/null -X POST "$base/api/products/1/set_price" -d '{"amount":5999}'
|
|
echo "--- set_price 0 (aborts; must NOT reach Postgres):"
|
|
curl -s -X POST "$base/api/products/1/set_price" -d '{"amount":0}'; echo
|
|
sleep 1
|
|
echo "--- psql: the backup view (table name from @table(name: \"prices\")):"
|
|
psql -h 127.0.0.1 -p {{pgport}} -U postgres wo -c "SELECT id, row->>'amount' AS amount, row->>'at' AS at FROM prices ORDER BY id"
|
|
echo "--- current_price from RAM (reads never touch Postgres):"
|
|
curl -s -X POST "$base/api/products/1/current_price"; echo
|
|
|
|
# main.wo in action: serve hello, run the full CRUD round-trip, shut down
|
|
hello-demo port="8090":
|
|
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
cargo build --bin wo
|
|
WO_LISTEN=127.0.0.1:{{port}} ./target/debug/wo run docs/examples/hello &
|
|
server=$!
|
|
trap 'kill $server 2>/dev/null' EXIT
|
|
base=http://127.0.0.1:{{port}}
|
|
for _ in $(seq 1 40); do curl -s "$base/healthz" >/dev/null && break; sleep 0.25; done
|
|
echo
|
|
echo "--- create:"; curl -s -X POST "$base/api/notes" -H 'Content-Type: application/json' -d '{"title":"hello","body":"# First note"}'; echo
|
|
echo "--- list:"; curl -s "$base/api/notes"; echo
|
|
echo "--- get 1:"; curl -s "$base/api/notes/1"; echo
|
|
echo "--- patch 1:"; curl -s -X PATCH "$base/api/notes/1" -d '{"pinned":true}'; echo
|
|
echo "--- live (Stage 3 stub, expect 501):"; curl -s -o /dev/null -w '%{http_code}\n' "$base/api/notes/live"
|
|
echo "--- delete 1 (expect 204):"; curl -s -X DELETE "$base/api/notes/1" -o /dev/null -w '%{http_code}\n'
|
|
echo "--- list after delete:"; curl -s "$base/api/notes"; echo
|