Zusammenfassung

  • Ein Paket mit einem QUIC-DATAGRAM-Frame ist ack-eliciting; seine Bestätigung kann die sendende Implementierung veranlassen, ihrer Anwendung die Übertragung und den Empfang des Datagramms zu melden.
  • Nach Abschnitt 5.2 von RFC 9221 belegt diese Bestätigung ausschließlich die Verarbeitung des Frames durch die Transportebene des Empfängers, nicht dessen erfolgreiche Anwendungsverarbeitung.

Im Leitstand klingt ein ACK schnell wie ein Abschluss. Eine Nummer wird bestätigt, ein lokaler Hinweis erscheint, und aus „empfangen“ wird unmerklich „verarbeitet“. Für DATAGRAMs wäre das eine falsche Kette. RFC 9221 bezeichnet einen eng umrissenen Protokollvorgang; es übernimmt keine Aussage über eine Semantik, die erst oberhalb des Transports entsteht.

Die im März 2022 veröffentlichte RFC 9221 nennt Tommy Pauly, E. Kinnear und David Schinazi als Autoren und fügt QUIC DATAGRAM-Frames für unzuverlässige Anwendungsdaten hinzu. Solche Frames lösen Bestätigungen aus. Wird ein Paket mit einem solchen Frame bestätigt, kann die sendende Implementierung ihre Anwendung darüber informieren, dass das Datagramm übertragen und empfangen wurde. Als Transportbeleg ist das konkret und brauchbar.

Abschnitt 5.2 beschränkt jedoch den Gegenstand dieses Belegs. Die Bestätigung bedeutet, dass die Transportebene des Empfängers den Frame verarbeitet hat. Sie garantiert nicht, dass die empfangende Anwendung die Daten erfolgreich verarbeitet hat. Sie belegt weder das Parsen einer Nutzlast noch eine fachliche Prüfung, eine Zustandsänderung oder ein Ergebnis für einen Nutzer.

Auch das Verlustverhalten liefert keine verdeckte Zusage. DATAGRAM-Daten werden nach erkannter Übertragungslücke nicht erneut gesendet. Das Anwendungsprotokoll legt Multiplexing-Kennungen und Datenbedeutung fest und entscheidet, ob eine Bestätigung für Zustellung oder Bearbeitung erforderlich ist. Eine solche Anwendungsbestätigung wäre ein eigener Gegenstand mit eigener Korrelation, Frist und Fehlerbehandlung. RFC 9000 und RFC 9002 beschreiben den QUIC-Transport und die Verlustbehandlung, aber sie erzeugen diese höhere Evidenz nicht.

Der empfangene Parameter max_datagram_frame_size verlangt dieselbe Zurückhaltung. Ein Wert ungleich null erklärt für diese Verbindung und diese Richtung die Bereitschaft eines Endpunkts, DATAGRAMs bis zu dieser Größe zu empfangen. Er ist kein Nachweis für Versand, Nutzung, Verständnis oder Abschluss einer Anwendung. Ebenso belegen eine veröffentlichte RFC und ihre Autorschaft keine Einführung bei einem konkreten Endpunkt, Produkt oder Netz.

Heng Lus Prinzip der Minimum Initial Specification setzt hierfür einen guten Maßstab: Ein Mechanismus soll nur für die kleinste Aussage stehen, die er lokal und bestimmt prüfen kann. Der Transport kann seine Frame-Verarbeitung bezeugen. Parser, Zustandsverwaltung und sichtbarer Ablauf der Anwendung müssen ihre Tatsachen selbst bezeugen.

So wird der ACK nicht entwertet, sondern korrekt abgelegt. Er bleibt ein Transportfakt. Wo Bearbeitungssicherheit verlangt wird, muss ein expliziter Anwendungsbeleg mit benannter Bedingung und Beobachtungsstelle hinzukommen. Beide Belege können zusammenpassen, aber keiner darf den anderen ersetzen.

Quellen