Source/Packages

Runtime.NativeSocketPlan

packages/execution/src/Runtime/NativeSocketPlan.alpha

256 lines20 declarations10.0 KiBSHA-256 74d80a07b61a

def · lines 108–121

nativeSocketNoDelay

Full file
Explicit latency policy for small request/acknowledgment frames. Linux TCP may otherwise delay the separate digest write behind unacknowledged bytes. The option is per socket, never a host-wide network setting. The caller supplies a Linux int (0 or 1) at valueAddress and checks the syscall result. Linux UAPI: IPPROTO_TCP=6, TCP_NODELAY=1, sizeof(int)=4 on this ABI. https://man7.org/linux/man-pages/man7/tcp.7.html (TCP_NODELAY) https://man7.org/linux/man-pages/man2/setsockopt.2.html
108def nativeSocketNoDelay =
109  (lambda unrestricted descriptor : (family NativePhysicalOperand) .
110    (lambda unrestricted valueAddress : (family NativePhysicalOperand) .
111      (nativeSocketSystemCall
112        54
113        (constructor
114          NativePhysicalArguments
115          NativePhysicalArgumentsValue
116          descriptor
117          (nativeLaunchRecipeImmediate 6)
118          (nativeLaunchRecipeImmediate 1)
119          valueAddress
120          (nativeLaunchRecipeImmediate 4)
121          (nativeLaunchRecipeImmediate 0)))))

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.