Source/Packages

Runtime.NativeSocketEndpoint

packages/execution/src/Runtime/NativeSocketEndpoint.alpha

351 lines15 declarations16.0 KiBSHA-256 1e45c8e4599a

def · lines 23–24

nativeSocketNonblock

Full file
Linux x86-64 endpoint operations. connect uses the stream ABI's fd/address/ extent/timeout/attempt registers; accept uses fd/unused/1/timeout/attempts. Both require O_NONBLOCK before any potentially blocking operation. The caller retains descriptor ownership on error and must close/abandon it. A successful accept returns an owned nonblocking, close-on-exec descriptor. The common poll budget covers retries and readiness races; it is not yet a session-wide monotonic deadline. No retry makes a failed connection usable. Sources, checked 2026-10-02: Linux UAPI asm/unistd_64.h, asm-generic/fcntl.h, asm-generic/socket.h; https://man7.org/linux/man-pages/man2/connect.2.html and https://man7.org/linux/man-pages/man2/accept.2.html. The common pollfd storage becomes SO_ERROR(int) + socklen_t after poll: these lifetimes do not overlap and both views occupy exactly eight bytes.
23def nativeSocketNonblock : Nat =
24  2048

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.