russell@unturf.com
f7352b51b0
Historical internal name "uncommonlisp" retired in favor of the
public name "lumbda" ahead of lumbda.com going live. Scope of
this commit:
Source files renamed:
uncommonlisp.py -> lumbda.py
asm/uncommonlisp.s -> asm/lumbda.s
c/uncommonlisp.h -> c/lumbda.h
whitepaper/uncommonlisp-whitepaper -> whitepaper/lumbda-whitepaper (.rst + .pdf)
Binaries renamed (tracked ones; c/ was always gitignored):
asm/uncommonlisp, asm/uncommonlisp-gc, asm/uncommonlisp.o,
asm/uncommonlisp-gc.o -> asm/lumbda(-gc)(.o)
c/.gitignore -> ignores lumbda
Internal string updates (sed pass ordered longest-first):
asm/uncommonlisp -> asm/lumbda
c/uncommonlisp -> c/lumbda
uncommonlisp.py -> lumbda.py
UNCOMMONLISP_BIN -> LUMBDA_BIN (asm/test.sh env var)
"uncommonlisp> " -> "lumbda> " (asm REPL prompt baked into binary)
UNCOMMONLISP -> LUMBDA (macros, comments)
uncommonlisp -> lumbda (prose)
Binary portal magic updated:
"ULPORTAL" -> "LUMBDAB1" # "Lumbda Binary v1"
Old portal files are not backward-compatible — this is a deliberate
break since it's the rename moment. S-expression portals already
carry their own ";; lumbda-portal v1" header and remain cleanly
versioned.
WHITEPAPER.pdf / WHITEPAPER.rst symlinks repointed to the renamed
files. Makefile's whitepaper target targets lumbda-whitepaper.pdf.
Not changed (intentional, separate phases):
- Filesystem directory /home/fox/git/uncommonlisp itself
(fox renames locally and the gitlab repo URL in a follow-up)
- tests.py hardcoded cwd=/home/fox/git/uncommonlisp
(matches the current on-disk location; will flip when the
directory rename ships)
- Git history (immutable; old commits still say uncommonlisp,
which is correct — that's what they were)
Verified:
137 asm no-GC + 137 asm GC + 571 Python + 83 C + 189 shared
functional tests all pass under the new names.
bench-gc-http (2000 req): all 4 cells behave as expected
(cells 1/2 flat, 3 leaks, 4 bounded at 1 chunk).
Python REPL, C REPL, asm REPL all start cleanly.
75 lines
2.2 KiB
Bash
Executable file
75 lines
2.2 KiB
Bash
Executable file
#!/bin/bash
|
|
# spiral-demo.sh — 2-node envelope teleport demonstration.
|
|
#
|
|
# Launches two independent netspace servers on ports 9086 and 9087 with
|
|
# independent cache directories, runs the spiral client to drive one
|
|
# round-trip of envelope exchange in each direction, and tears down.
|
|
#
|
|
# Usage: bash examples/spiral-demo.sh [impl]
|
|
# impl: python (default) | c | asm
|
|
#
|
|
# The implementation choice governs BOTH servers and the client.
|
|
# Any combination works at the protocol level; the script uses the
|
|
# same binary to keep the demo self-consistent.
|
|
|
|
set -e
|
|
ulimit -v 524288
|
|
trap 'pkill -9 -u "$USER" -f "proof-netspace-node|spiral-client" 2>/dev/null || true' EXIT INT TERM
|
|
|
|
IMPL="${1:-python}"
|
|
|
|
case "$IMPL" in
|
|
python) BIN="python3 lumbda.py --fast" ;;
|
|
c) BIN="./c/lumbda --fast" ;;
|
|
asm) BIN="asm/lumbda" ;;
|
|
*) echo "unknown impl: $IMPL (expected python|c|asm)"; exit 1 ;;
|
|
esac
|
|
|
|
# Fresh state — no preloaded caches from prior runs
|
|
rm -rf /tmp/lumbda-A-db.sexp /tmp/lumbda-A-proofs
|
|
rm -rf /tmp/lumbda-B-db.sexp /tmp/lumbda-B-proofs
|
|
mkdir -p /tmp/lumbda-A-proofs /tmp/lumbda-B-proofs
|
|
|
|
echo "=== spiral demo ($IMPL) ==="
|
|
|
|
# Start both nodes
|
|
if [ "$IMPL" = "asm" ]; then
|
|
timeout 25 $BIN < examples/proof-netspace-node-a.lsp > /tmp/spiral-a.log 2>&1 &
|
|
SPID_A=$!
|
|
timeout 25 $BIN < examples/proof-netspace-node-b.lsp > /tmp/spiral-b.log 2>&1 &
|
|
SPID_B=$!
|
|
else
|
|
timeout 25 $BIN examples/proof-netspace-node-a.lsp > /tmp/spiral-a.log 2>&1 &
|
|
SPID_A=$!
|
|
timeout 25 $BIN examples/proof-netspace-node-b.lsp > /tmp/spiral-b.log 2>&1 &
|
|
SPID_B=$!
|
|
fi
|
|
|
|
sleep 3
|
|
|
|
# Run spiral client
|
|
if [ "$IMPL" = "asm" ]; then
|
|
timeout 15 $BIN < examples/spiral-client.lsp
|
|
else
|
|
timeout 15 $BIN examples/spiral-client.lsp
|
|
fi
|
|
|
|
# Tear down
|
|
kill -TERM $SPID_A $SPID_B 2>/dev/null || true
|
|
sleep 1
|
|
kill -9 $SPID_A $SPID_B 2>/dev/null || true
|
|
wait $SPID_A 2>/dev/null || true
|
|
wait $SPID_B 2>/dev/null || true
|
|
|
|
echo
|
|
echo "=== node A log ==="
|
|
head -1 /tmp/spiral-a.log
|
|
echo "=== node B log ==="
|
|
head -1 /tmp/spiral-b.log
|
|
|
|
# Verify no stragglers
|
|
if pgrep -u "$USER" -f 'proof-netspace-node|spiral-client' > /dev/null; then
|
|
echo "STRAGGLER — check pgrep manually"
|
|
exit 1
|
|
fi
|
|
echo "clean"
|