code wiki / (root) / nx_task_graph_test.nx

nx_task_graph_test.nx

buildroot/runtime/nx_task_graph_test.nx

4552 B127 linesdepth 8pulls 15 transitivereach 0 importersview sourcekind gate/prooftopic task

docs dependencies structs consts functions

about

nx_task_graph_test.nx -- DAG ordering + dependency satisfaction. T1: diamond DAG A -> B A -> C B -> D C -> D Each node writes its tag (1..4) into a sequence log at an atomic-FAA index. D must appear AFTER both B and C. T2: fan-out / fan-in (1 source, K fan-out, 1 sink) with hw-sized parallelism inside the fan.

dependencies 6 imports · 0 importers

imports: nx_kernel_v2.nxnx_log.nxnx_atom.nxnx_thread_pool.nxnx_task_graph.nxnx_hw.nx

imported by: nobody (leaf or entry point)

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

structs

25	struct TraceState

consts

21	const SEQ_LOG_CAP: i64 = 64

functions

32	func _trace_log(state_addr: i64, tag: i64) -> i64 called by 4: node_A node_B node_C node_D calls 1: nx_atom_faa_i64
41	func node_A(ctx: i64) -> i64 calls 1: _trace_log
45	func node_B(ctx: i64) -> i64 calls 1: _trace_log
51	func node_C(ctx: i64) -> i64 calls 1: _trace_log
57	func node_D(ctx: i64) -> i64 calls 1: _trace_log
64	func main() -> nx_exit calls 8: nx_hw_worker_count nx_pool_new nx_graph_new nx_graph_add_node nx_graph_add_edge nx_graph_run+2