Résumé

  • Le récepteur QUIC ne peut accuser réception d’un paquet qu’après avoir retiré sa protection et traité toutes ses trames.
  • Pour une trame STREAM, le traitement s’arrête à la mise en file des données en vue de leur réception par l’application.
  • Une affirmation de livraison ou d’exécution exige un reçu applicatif relié au paquet, aux offsets du flux et aux retransmissions.

Le tableau d’exploitation passe au vert dès que le paquet contenant une requête apparaît dans une plage ACK. S’il s’agit du paquet sollicitant un ACK, nouvellement acquitté et retenu pour la mesure, il peut fournir un échantillon RTT ; l’acquittement met aussi fin à la retransmission de l’information ainsi acquittée. Pourtant, le processus distant est bloqué avant son appel de lecture : aucune donnée n’a été analysée, écrite ou mise en œuvre. L’outil a transformé un reçu de transport en résultat applicatif.

La frontière est explicite dans la section 13.1 du RFC 9000. Un paquet ne doit être acquitté qu’après retrait réussi de sa protection et traitement de toutes ses trames. Pour STREAM, « traité » signifie que les données sont mises en file en préparation de leur réception par le protocole applicatif. Leur livraison ou leur consommation par l’application n’est pas requise. L’ACK établit donc un traitement QUIC précis, pas une consommation par le logiciel métier.

Il faut aussi identifier ce qui est acquitté. La section 19.3 décrit des plages de numéros de paquets reçus et traités dans un même espace de numérotation. Ces numéros désignent des paquets protégés, pas des messages métier. Un paquet peut réunir plusieurs types de trames et un message peut s’étendre sur plusieurs trames STREAM.

Le flux confirme cette différence. La section 2.2 fournit une suite ordonnée d’octets et précise que les frontières de trames STREAM ne sont pas préservées lors de la transmission, de la retransmission ou de la livraison. La section 3.2 distingue Data Recvd, lorsque toutes les données sont arrivées, de Data Read, atteint lorsque l’application a lu toutes les données. L’arrivée complète, le début de la réception applicative et l’achèvement de la lecture restent des transitions distinctes.

La visibilité des ACK n’est pas un reçu individuel garanti. Selon la section 13.2, les paquets qui sollicitent un ACK doivent être acquittés dans le délai maximal annoncé, sous réserve des règles du protocole. Les autres peuvent attendre un trafic ultérieur. Un ACK peut se perdre et les anciennes plages peuvent finir par être omises. Le silence observé par l’émetteur ne prouve donc pas immédiatement l’absence de traitement.

La retransmission change également l’identité du paquet. La section 13.3 retransmet de l’information, non une copie du paquet perdu. Les mêmes offsets STREAM peuvent revenir dans une nouvelle trame et sous un nouveau numéro. La retransmission de l’information acquittée cesse normalement lorsqu’un paquet qui la porte est acquitté. Il faut donc relier plage ACK, trames, identifiant de flux, offset, longueur, FIN et filiation de retransmission. Même enrichie, cette preuve s’arrête à la file de transport.

Les algorithmes de reprise gardent cette portée. La section 5.1 du RFC 9002 tire un échantillon RTT du plus grand paquet sollicitant un ACK nouvellement acquitté, avec traitement de l’ACK Delay. Il mesure la boucle de transport, pas le temps de service applicatif. La section 6.1 combine acquittements ultérieurs et seuils de paquets et de temps pour déclarer une perte tout en tolérant le réordonnancement. Ni l’absence immédiate ni la présence d’un ACK ne répondent à la question métier.

La preuve utile forme une échelle. Conserver d’abord connexion, espace de numérotation, paquet, heures d’envoi et d’ACK, ACK Delay et trames. Conserver ensuite flux, offsets, longueurs, FIN, perte déclarée et retransmissions. Ajouter l’événement de mise en file, puis la lecture ou le rappel applicatif. Enfin, joindre l’identifiant de message ou de transaction, l’accusé du protocole applicatif, la validation durable, l’effet observé et la réponse.

Chaque niveau autorise une phrase différente : « le pair a traité le paquet », « les octets ont atteint sa file QUIC », « le processus les a lus », « le message a été accepté », puis « l’opération a été durablement accomplie ». Une couleur unique ne doit pas effacer ces transitions.

Cette discipline évite deux erreurs opposées. Assimiler l’ACK à l’achèvement empêche une reprise alors que le travail demeure bloqué en file. Assimiler l’absence d’ACK visible à un échec instantané peut répéter une opération déjà traitée. Seule la couche qui connaît l’identité et l’idempotence de l’opération peut décider d’une répétition sûre.

QUIC fournit une preuve de transport forte parce que sa portée est étroite. Le reçu d’application doit venir de l’application.