code wiki / (root) / nx_log_v2_test.nx

nx_log_v2_test.nx

buildroot/runtime/nx_log_v2_test.nx

5564 B155 linesdepth 6pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic log
docsdependenciesstructsconstsfunctions

about

nx_log_v2_test.nx -- correctness + bench for fast emit. PASS criteria: T1 emit-correctness v2 emits the expected formatted line T2 below-min fast path filtered emits return without writing T3 perf-vs-v1 v2 is at LEAST 3x faster than v1 for INFO emit, and below-min v2 is at LEAST 100x faster than below-min v1 (target: fast enough for CASC / SAT-COMP background use)

dependencies 4 imports · 0 importers

nx_kernel_v2.nx nx_clock.nx nx_log.nx nx_log_v2.nx nx_log_v2_test.nx

imports: nx_kernel_v2.nxnx_clock.nxnx_log.nxnx_log_v2.nx

imported by: nobody (leaf or entry point)

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

main t1_emit_correctness nx_log_global nx_log_new nx_log_v2_emit nx_log_v2_buf sys_mmap nx_log_v2_write_seq nx_log_v2_write_level nx_log_v2_slen nx_log_v2_memcpy sys_write t2_below_min_fast nx_log_global ↻ nx_log_v2_emit ↻ t3_perf_emit nx_log_global ↻ nx_clock_monotonic_ns sys_mmap ↻ sys_clock_gettime_mono nx_log_emit ipow10 nx_log_puts nx_log_level_name nx_log_v2_emit ↻ nx_log_v2_render_int

structs

none

consts

18const N_BENCH: i64 = 5000

functions

16func nx_log_v2_render_int(buf: *u8, off: i64, v: i64) -> i64;
called by 1: t3_perf_emit
21func t1_emit_correctness() -> nx_int
called by 1: main calls 2: nx_log_globalnx_log_v2_emit
32func t2_below_min_fast() -> nx_int
called by 1: main calls 2: nx_log_globalnx_log_v2_emit
52func t3_perf_emit() -> nx_int
called by 1: main calls 5: nx_log_globalnx_clock_monotonic_nsnx_log_emitnx_log_v2_emitnx_log_v2_render_int
115func nx_log_v2_render_int(buf: *u8, off: i64, v: i64) -> i64
136func main() -> nx_exit
calls 3: t1_emit_correctnesst2_below_min_fastt3_perf_emit