nx_llm_sched_gate.nx
buildroot/runtime/nx_llm_sched_gate.nx
about
nx_llm_sched_gate.nx -- MEASURED gate for the CONTINUOUS-BATCHING
scheduler (nx_llm_sched) on the REAL model.
STAGGER 4 requests admitted at different times (2 up front, 1 after
round 2, 1 after round 4) -- requests JOIN the running batch
mid-flight (the continuous-batching property)
INVARIANT each request's bytes BIT-IDENTICAL to its SOLO sequential
run (same seed) -- output independent of co-tenants and
admission timing (the fundamental serving correctness)
HYGIENE pool all-free after releases
license_tier: ORIGINAL expect_exit: 0
dependencies 27 imports · 0 importers
diagram shows first 10 each side; +17 more imports, +0 more importers in the complete lists below.
imports: nx_syscalls.nxnx_tier.nxnx_le.nxnx_bpe.nxnx_gguf.nxnx_gguf_load.nxnx_gguf_meta.nxnx_f32.nxnx_f32_kv_cache.nxnx_f32_lazy_weight.nxnx_f32_llama_block.nxnx_f32_llama_block_v4.nxnx_f32_llama_stack_v4.nxnx_f32_llama_layer_lazy_load.nxnx_f32_llm.nxnx_f32_llm_v4.nxnx_f32_llm_read_dims.nxnx_f32_bpe_load.nxnx_f32_llm_special_tokens.nxnx_f32_sampler.nxnx_prng.nxnx_reasoning.nxnx_kvcache.nxnx_f32_attn_paged.nxnx_f32_llama_v4p.nxnx_f32_llama_v4b.nxnx_llm_sched.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
| 42 | const SG_MAXNEW: nx_int = 6 |
functions
| 44 | func sg2_w(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 45 | func sg2_wn(v: i64) -> i64 |
| 58 | func sg2_beq(a: *u8, b: *u8, n: i64) -> i64 called by 1: main |
| 66 | func sg2_solo(rc: *NxReasonCfg, pool: *NxPagedPool, toks: *i64, nt: nx_int, |
| 112 | func main() -> i64 |