code wiki / _hdl_build / nx_quic_pipe_test.nx

nx_quic_pipe_test.nx

buildroot/runtime/_hdl_build/nx_quic_pipe_test.nx

4978 B101 linesdepth 4pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic quic
docsdependenciesstructsconstsfunctions

about

nx_quic_pipe_test.nx -- RUNG 8c.2 gate: the FULL resilient datagram pipe END-TO-END over a REAL UDP socket. A block of video frames is FEC-encoded (R8a), each datagram carries [index][frame] in a DATAGRAM frame (R1) sent over UDP (R8c.1); ONE source datagram is dropped IN TRANSIT (never sent = simulated link loss); the receiver reconstructs it from the survivors + parity -- zero retransmit, the thing that beats the TCP/ARQ stall. This proves the resilience exceed works on real sockets, sovereign. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_quic_fec.nx nx_g_puts_lib.nx nx_quic_udp.nx nx_quic_pipe_test.nx

imports: nx_quic_fec.nxnx_g_puts_lib.nxnx_quic_udp.nx

imported by: nobody (leaf or entry point)

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

main g_puts sys_write quic_fec_encode quic_udp_bind sys_socket sys_mmap nx_sc_sockaddr sys_bind sys_close g_check g_puts ↻ sys_set_socket_timeout sys_mmap ↻ sys_setsockopt sys_munmap quic_udp_socket sys_socket ↻ send_pkt quic_datagram_encode quic_varint_encode quic_udp_sendto sys_mmap ↻ nx_sc_sockaddr ↻ sys_sendto quic_udp_recv sys_mmap ↻ sys_recvfrom quic_datagram_parse sys_mmap ↻ quic_varint_decode quic_fec_recover_one g_pn

structs

none

consts

none

functions

11func g_pn(v: i64) -> i64
called by 1: main
20func g_check(name: *u8, cond: i64) -> i64
called by 1: main calls 1: g_puts
26func send_pkt(sfd: i64, port: i64, idx: i64, data: *u8, L: i64) -> i64
called by 1: main calls 2: quic_datagram_encodequic_udp_sendto
35func main() -> i64
calls 11: g_putsquic_fec_encodequic_udp_bindg_checksys_set_socket_timeoutquic_udp_socket+5