Runtime.LinuxSyscall

1136def linuxBaseRequestRetriesInterrupted =
1137  (lambda unrestricted request : (family LinuxSyscallRequest) .
1138    (eliminate
1139      LinuxSyscallRequest
1140      (lambda unrestricted current : (family LinuxSyscallRequest) . Nat)
1141      request
1142      (branch LinuxOpenAt directory path flags mode . (succ zero))
1143      (branch LinuxRead descriptor requestedBytes . (succ zero))
1144      (branch LinuxSeek descriptor offset whence . (succ zero))
1145      (branch LinuxWrite descriptor payload . (succ zero))
1146      -- close is never retried after EINTR: Linux may already have released fd.
1147      (branch LinuxClose descriptor . zero)
1148      (branch LinuxFsync descriptor . (succ zero))
1149      (branch LinuxFdatasync descriptor . (succ zero))
1150      -- Namespace mutation is not replayed after an indeterminate interruption.
1151      (branch LinuxUnlinkAt directory path flags . zero)
1152      (branch
1153        LinuxRenameAt2
1154        sourceDirectory
1155        sourcePath
1156        destinationDirectory
1157        destinationPath
1158        flags
1159        .
1160        zero)
1161      -- NVIDIA transport receipts carry bounded retry telemetry for ioctl.
1162      (branch LinuxIoctl descriptor ioctlRequest payload . (succ zero))
1163      (branch LinuxMmap address extent protection flags descriptor offset . zero)
1164      (branch LinuxMunmap address extent . zero)))