Zusammenfassung

  • Erkennt eine späte RMT-Stufe eine nötige Änderung in einer früheren Stufe, speist Presto ein Pseudo-Segment ohne Payload am Pipeline-Anfang ein; normale Logik führt die Korrektur aus.
  • Dieses Artefakt belegt einen Transportvorgang, keine Nutzdatenzustellung. Herkunft, Zustandsmutation, DMA, Host-Benachrichtigung, Socket-Rückgabe und Anwendungseffekt brauchen eigene Belege.

Rückwärts schreiben, indem etwas Neues vorwärts läuft

Eine CPU kann Speicher während einer TCP-Routine erneut lesen. In RMT läuft der Packet Header Vector durch feste Stufen, und veränderlicher Zustand bleibt stufenlokal. Schließt ein echtes Segment die Lücke zu einem Out-of-order-Intervall, müssen next-seq und avail angepasst werden. Die Gewissheit entsteht jedoch erst bei ooo-head hinter den Stufen, die diese Werte halten.

Das Presto-Paper spiegelt deshalb einen kleinen Datensatz zum Eingang. Das Pseudo-Segment trägt keine Anwendungspayload, sondern codiert den nun zusammenhängenden Sequenzbereich. Die Pipeline behandelt es wie ein gewöhnliches In-order-Segment, verschiebt next-seq, verkleinert avail und löscht das OOO-Intervall. Aus einer circular write dependency wird ein neues Vorwärtsereignis.

Damit besitzt das Pseudo-Segment enge Autorität über den TCP-Zustand. Es ist keine zweite Übertragung der Benutzerbytes und belegt weder Lesen noch Persistieren durch die Anwendung.

Spekulation, Urteil und Wiederherstellung

Bei der einfachen Fensterverfolgung wird next-seq zunächst optimistisch verschoben. Erst später folgen avail und die endgültige Fensterprüfung. Überschreitet der Sender die angekündigte Grenze, wird das Segment verworfen und die Control Plane stellt den Verbindungszustand wieder her. Währenddessen stoppt negatives avail weitere Segmente und ein Nullfenster pausiert den Sender. Payload gilt erst nach endgültiger Validierung als angenommen.

Auch das Pseudo-Segment ist best-effort. Geht es bei Überlast verloren, bleibt das Intervall erhalten und ein späterer Trigger speist es erneut ein. Das Paper nennt dies eventual consistency. In-order-Verkehr dazwischen kann den überholten Präfix durch normales Trimming entfernen. Entscheidend ist Konvergenz, nicht die erste Erzeugung.

DMA endet nicht bei der Anwendung

Presto kann empfangene Bytes per DMA in Hostspeicher platzieren, auch außer Reihenfolge. Ein separater Block meldet libPresto den höchsten zusammenhängenden Offset, der konsumierbar ist. Beim Lückenschluss darf diese Meldung dem späteren Pseudo-Segment-Merge vorausgehen.

DMA belegt eine Buffer-Schreiboperation, die Meldung eine Freigabe an die Bibliothek, der Socket besitzt sein Ergebnis. Erst ein anwendungsspezifischer Beleg zeigt Verbrauch oder dauerhafte Wirkung. Auch ein TCP ACK ist Transportnachweis, kein Geschäftsabschluss.

Der Prototyp erschien auf der ACM SIGCOMM 2026, DOI 10.1145/3789240.3829111. Repository und APNIC-Beitrag der Autoren ermöglichen Prüfung, beweisen aber keine breite Produktion, universelle Kompatibilität oder unabhängige Replikation.

Ein belastbares Protokoll trennt reales Segment, Annahme, Validierung, Korrekturtrigger, Pseudo-Segment-Provenienz und Epoche, Mutation, Retransmission/Reassembly, DMA, Host-Meldung, Socket-Ergebnis, Application Receipt und Rollback.

Quellen