code wiki / (root) / nx_kv_arena_test.nx

nx_kv_arena_test.nx

buildroot/runtime/nx_kv_arena_test.nx

9461 B206 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic kv
docsdependenciesstructsconstsfunctions

about

nx_kv_arena_test.nx -- smoke for PagedAttention page pool. Exercises: 1. Allocation + canary + initial state (all pages free) 2. Sequence creation + page appends from empty pool 3. Pool exhaustion: more requests than pages -> POOL_EXHAUSTED 4. Sequence free returns pages to the pool 5. Newly-free pages can be allocated by a different sequence 6. Multi-sequence independence (each owns its own indices) 7. Page byte-pointer arithmetic: indices map to distinct byte offsets in page_storage 8. Canary tamper on arena and sequence 9. Bad-input gates 10. Sealed-enum verdict gate 11. Idempotent re-free (calling free twice on same seq is no-op)

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_kv_arena.nx nx_kv_arena_test.nx

imports: nx_syscalls.nxnx_kv_arena.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_kv_arena_new sys_mmap nx_kv_arena_is_valid nx_kv_arena_n_pages nx_kv_arena_is_valid ↻ nx_kv_arena_n_free nx_kv_arena_is_valid ↻ nx_kv_arena_n_in_use nx_kv_arena_is_valid ↻ nx_kv_sequence_new nx_kv_arena_is_valid ↻ sys_mmap ↻ nx_kv_sequence_is_valid nx_kv_arena_is_valid ↻ nx_kv_sequence_n_pages nx_kv_sequence_is_valid ↻ nx_kv_sequence_append_page nx_kv_sequence_is_valid ↻ _kv_arena_find_free nx_kv_sequence_free nx_kv_sequence_is_valid ↻ nx_kv_arena_page_bytes nx_kv_arena_is_valid ↻ nx_kv_verdict_is_valid nx_kv_arena_page_refcount nx_kv_arena_is_valid ↻ nx_kv_sequence_share_page nx_kv_sequence_is_valid ↻

structs

none

consts

none

functions

20func main() -> i64