code wiki / (root) / nx_arena_scope_test.nx

nx_arena_scope_test.nx

buildroot/runtime/nx_arena_scope_test.nx

4271 B111 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic arena
docsdependenciesstructsconstsfunctions

about

nx_arena_scope_test.nx -- smoke for mark/reset-to-mark + ceiling. Verifies the SSS-class behaviour that closes the arena issue from NISHI_HONEST_TRADE_OFFS.md: nested workloads can scope their allocations without accumulating across loop iterations. Construct the NxArena manually from a caller-provided buffer (per user directive "user owns every bit") rather than calling nx_arena_new which mmaps internally. This keeps the smoke cross-target portable -- the test doesn't depend on a particular syscall set. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls_x86_64.nx nx_arena_types.nx nx_arena_scope.nx nx_arena_scope_test.nx

imports: nx_syscalls_x86_64.nxnx_arena_types.nxnx_arena_scope.nx

imported by: nobody (leaf or entry point)

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

main nx_arena_verdict_is_valid nx_arena_used nx_arena_headroom_bytes nx_arena_mark nx_arena_reset_to_mark nx_arena_would_fit nx_arena_align_up

structs

none

consts

none

functions

26func main() -> i64