nx_parexec_gate.nx
buildroot/runtime/nx_parexec_gate.nx
about
nx_parexec_gate.nx -- proves the PARALLEL executor is CORRECT: forking one worker per partition over
shared memory yields byte-identical results to the sequential run, for several worker counts, including
a worker count that does not divide the row count. Timing is nondeterministic and lives in the `bench`
verb; this gate proves only correctness -- that real forked children over shared memory do not lose,
double, or corrupt a single row. D001 verdict via nx_gate_verdict. expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_gate_verdict.nxnx_parexec.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 9 | func pg_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 } called by 1: main |
| 10 | func pg_frame1(a: *i64, nm: *u8, n: i64) -> *u8 |
| 21 | func main() -> i64 |