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 ») :
ppolluniquement : précision nanoseconde (aligneDuration),timeoutnon muté au retour, masque de signaux atomique — la variante moderne (ADR-021).EINTRremonté, jamais de retry (ADR-021 §2) : la reprise (échéance recalculée) vit en couche 1.PollFdemprunté (+0) : la slice de l’appelant est passée au kernel sans copie ni allocation (Principe 4) ; lesreventssont restitués intégralement (ADR-032).- Conversion d’échéance défensive (Principe 2) :
tv_secclampé ài64::MAXen cas de débordement, jamais d’aslossy.
Functions§
- ppoll
ppoll(2). Attend un événement sur l’un desfdsjusqu’àtimeout.