b22a714840
The JIT that runs makepad apps from source: lexer, front end, type checker, lazy borrow checker (Gandalf; `--check-first` opts in), codegen, session and warm/cold caches keyed by compiler stamp, provided crates bound late, startup images, live patching. User-facing name is `makepad run` (binary `makepad`, MAKEPAD_RUN_* env, ~/.makepad-run); libs/relax stays the internal library name. `makepad check` reports rustc-style diagnostics with rustc error codes and checks a whole workspace (`--workspace`). Runs on macOS, Linux, Windows and Android. makepad-remote: one tool schema for apps and the WM (app/1): grabs, captures, traces, frame profiles and tweaks. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
3.3 KiB
Relax std comparison
Run ./libs/relax/compiler/std/bench/run.sh mac from this checkout. On node 165,
after the usual std_gate.sh source sync, run
~/fastrust-std/src/libs/relax/compiler/std/bench/run.sh 165 there. The runner does
not sync, install software, build Relax, or alter its dependencies.
It uses the existing release Relax executable and offline release rustc builds.
Cargo uses four jobs. Every build and measured process is invoked with nice -n 10.
A is rustc with real std; B is rustc with Relax's std shim; C is Relax with its std, using exactly the A source and wrappers. Shared workload bodies are in src/benches.rs. B's primitive operations are explicitly redirected through free functions so host slice/str methods cannot silently substitute for Relax algorithms. Its iterator traits and thread spawning are host std; its containers, formatting, parsing, sorting, Rc/RefCell, and mpsc are Relax. Default hashers intentionally differ; LiveId and Fx rows control that variable.
One exception is hashset_string: Relax's shim String does not implement the
host Hash trait. B uses real std for that entire row (including key creation
and the key vector), visibly marked B=real. C still uses Relax std.
The other fallback is rc_refcell_churn: the optimized shim panicked with
RefCell already borrowed in the initial probe (preserved in
logs-mac/rc_refcell_churn-B-shim-failure.log). Its custom UnsafeCell is
recognized by Relax but is not rustc's interior-mutability lang item.
B therefore uses host Rc, RefCell and Vec for this entire row.
The shim build sets relax_check and relax_shim, as the dependencies' own Cargo configurations require.
Fixed batch counts in benches::batch_size target 50–300 ms in A without changing the specified operation counts within each workload. Table times are per batch, with the same count in every column; checksums sum the individual workload checksums with wrapping arithmetic.
Each workload is deterministic, black-boxes inputs/results, warms up once, and prints the best of five measurements with two decimal places and a checksum. Input construction, allocation, checksum work and destruction are included; process start and JIT boot are excluded. Each C workload has an isolated entry point/unit graph following /tmp/rp/runone.sh's schema. This lets later workloads run even if one JIT compilation fails. Raw build and per-workload logs, generated entry points, units, and the markdown result table remain under this directory. Binary/JIT output uses the host's requested target directory. All mismatches and execution failures are retained in the table; unavailable C is never reported as a checksum pass.
These are standalone CPU workloads with no UI loop, per-frame work or app
changes. Results include checksum overhead and are not claims about an
application's frame latency. Timings should be repeated outside the sandbox
if nice reports setpriority: Operation not permitted.
Validation on this Mac: 51 existing release tests passed (core_vec, coll_hash_map, coll_btree, coll_heap_rc, text_str, text_string, fmt_int, fmt_float, fmt_parse, and check_os's futex_backend). Raw output is in logs-mac/tests.log and logs-mac/tests-os.log. No test files were added. The initial unbatched calibration table is logs-mac/calibration.md; results-mac.md is the final batched comparison.