ocaml-eio-net/lib/ at main · gazagnaire.org/ocaml-eio-net · Tangled

gazagnaire.org / ocaml-eio-net

0

Eio network backends and test helpers

0

ocaml-eio-net / lib /

at main 4 folders 7 files

Thomas Gazagnaire eio-net: report reset-class writev errors the Eio way 5d ago

eio-net: report reset-class writev errors the Eio way EPIPE and ECONNRESET from the offload write now raise the same Connection_reset the inline path reports, so callers keep one error vocabulary and need no Unix of their own.

5 days ago

eio-net: add an adversarial/chaos wrapper for flows, datagrams, and nets Protocol adapters (requests, h2, quic, ssh, ttrpc, tls, tcpcl, websocket) must survive a hostile or degraded network -- dribbled and coalesced reads, short and torn writes, a mid-stream reset, dropped or duplicated or reordered datagrams, a refused or slow connect, a keep-alive server that drops after N accepts. That fault-injecting socket belongs in one shared library, not duplicated per adapter, so it lives here beside eio-net.mem and reuses its in-memory transport. Eio_net_chaos.{Flow,Datagram,Net} each wrap a base Eio resource and inject faults from an inspectable schedule -- either an exact per-call script or a seeded generator whose sequence is a pure function of the seed, so a fuzz run replays byte for byte and composes with Eio_mock.Backend's deadlock detector as a liveness oracle. Stalls yield cooperatively rather than block; a scripted EOF/reset surfaces as End_of_file or an Eio.Io error carrying a dedicated backend code. eio-net.mem gains pipe, handing out a bare connected flow pair so the chaos layer (and any test) can wrap both ends without a listen/connect handshake.

1 week ago

eio-net: connect to wildcard listeners in the mem backend

1 week ago

eio-net: report reset-class writev errors the Eio way EPIPE and ECONNRESET from the offload write now raise the same Connection_reset the inline path reports, so callers keep one error vocabulary and need no Unix of their own.

5 days ago

eio-net: add an addressed datagram channel Frame presents a datagram socket as a source-blind channel: one recv is one datagram, and who sent it is dropped. That is right for a link where the peer is the link (a CCSDS frame carrier over UDP), and useless for a server that has to answer whoever wrote to it. Datagram is the addressed carrier: recv hands back the source with the payload, and send takes a destination or falls back to the configured one. Frame stays as it is, for the protocols that do not care. While there, make an oversized datagram raise instead of being truncated into a short frame that a protocol would then try to decode as a whole one. The channel stays usable after the refusal.

2 weeks ago

eio-net: add an addressed datagram channel Frame presents a datagram socket as a source-blind channel: one recv is one datagram, and who sent it is dropped. That is right for a link where the peer is the link (a CCSDS frame carrier over UDP), and useless for a server that has to answer whoever wrote to it. Datagram is the addressed carrier: recv hands back the source with the payload, and send takes a destination or falls back to the configured one. Frame stays as it is, for the protocols that do not care. While there, make an oversized datagram raise instead of being truncated into a short frame that a protocol would then try to decode as a whole one. The channel stays usable after the refusal.

2 weeks ago

eio-net: add a TCP relay Splice two flows both ways with half-close propagation, and forward a listening address to another one connection at a time. The immediate consumer is uniboot's remote port forwarder (localhost in front of a cloud instance), but nothing in it is uniboot's: the tree had unidirectional relays only, each coupled to its owner's flow types. The listener runs as a daemon fiber so a caller's switch still ends; a failed dial is reported and never takes the accept loop down.

5 days ago

eio-net: batch connected datagram frames Add a Unix frame adapter for connected datagram descriptors. On Darwin it weak-links the multi-message sendmsg_x and recvmsg_x entry points; other systems preserve ordering with portable per-datagram fallbacks. Keep batching in the generic frame-channel interface so device adapters can amortise edge syscalls without leaking that policy into protocol cores.

1 week ago

eio-net: batch connected datagram frames Add a Unix frame adapter for connected datagram descriptors. On Darwin it weak-links the multi-message sendmsg_x and recvmsg_x entry points; other systems preserve ordering with portable per-datagram fallbacks. Keep batching in the generic frame-channel interface so device adapters can amortise edge syscalls without leaking that policy into protocol cores.

1 week ago

eio-net: add a TCP relay Splice two flows both ways with half-close propagation, and forward a listening address to another one connection at a time. The immediate consumer is uniboot's remote port forwarder (localhost in front of a cloud instance), but nothing in it is uniboot's: the tree had unidirectional relays only, each coupled to its owner's flow types. The listener runs as a daemon fiber so a caller's switch still ends; a failed dial is reported and never takes the accept loop down.

5 days ago

eio-net: add a TCP relay Splice two flows both ways with half-close propagation, and forward a listening address to another one connection at a time. The immediate consumer is uniboot's remote port forwarder (localhost in front of a cloud instance), but nothing in it is uniboot's: the tree had unidirectional relays only, each coupled to its owner's flow types. The listener runs as a daemon fiber so a caller's switch still ends; a failed dial is reported and never takes the accept loop down.

5 days ago