Skip to main content

Module poll

Module poll 

Source
Expand description

Famille poll — attente synchrone bornée et interruptible (ppoll(2)).

Ajoutée par ADR-044 (RFC d’extension d’une couche scellée, re-sceau couche-0-v1.5) pour débloquer l’attente bornée/interruptible de air-process sans tirer io_uring dans la couche 1. Cf. docs/specs/layer-0/family-poll.md.

Caractéristiques (doctrine « kernel = bible ») :

  • ppoll uniquement : précision nanoseconde (aligne Duration), timeout non muté au retour, masque de signaux atomique — la variante moderne (ADR-021).
  • EINTR remonté, jamais de retry (ADR-021 §2) : la reprise (échéance recalculée) vit en couche 1.
  • PollFd emprunté (+0) : la slice de l’appelant est passée au kernel sans copie ni allocation (Principe 4) ; les revents sont restitués intégralement (ADR-032).
  • Conversion d’échéance défensive (Principe 2) : tv_sec clampé à i64::MAX en cas de débordement, jamais d’as lossy.

Functions§

ppoll
ppoll(2). Attend un événement sur l’un des fds jusqu’à timeout.