code wiki / (root) / nx_session_test.nx

nx_session_test.nx

buildroot/runtime/nx_session_test.nx

4868 B109 linesdepth 4pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic session
docsdependenciesstructsconstsfunctions

about

nx_session_test.nx -- smoke for the composite session primitive.

dependencies 8 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_actor.nx nx_message.nx nx_stream_multiplexer.nx nx_resource_arbiter.nx nx_interrupt_broker.nx nx_session.nx nx_session_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_actor.nxnx_message.nxnx_stream_multiplexer.nxnx_resource_arbiter.nxnx_interrupt_broker.nxnx_session.nx

imported by: nobody (leaf or entry point)

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

main nx_se_v_is_valid nx_session_new_default nx_session_new sys_mmap nx_ac_sched_new sys_mmap ↻ nx_ms_bus_new sys_mmap ↻ nx_sm_new sys_mmap ↻ nx_ra_new sys_mmap ↻ nx_ib_new sys_mmap ↻ nx_session_verdict nx_session_is_ready nx_session_actor_count nx_ac_actor_count nx_session_new ↻ nx_session_spawn_actor nx_ac_spawn nx_ms_register sys_mmap ↻ nx_ms_find_mailbox _ms_mb_at nx_ac_find _ac_at nx_session_subscribe nx_ms_subscribe nx_ms_kind_is_valid nx_ms_subscription_count nx_ms_kind_is_valid ↻ _ms_sub_at nx_ms_send_fanout nx_ms_kind_is_valid ↻ _ms_sub_at ↻ nx_ms_find_mailbox ↻ _ms_mb_push nx_ms_pending

structs

none

consts

none

functions

12func main() -> i64
calls 21: nx_se_v_is_validnx_session_new_defaultnx_session_verdictnx_session_is_readynx_session_actor_countnx_session_new+15