Zusammenfassung

  • OSPFv2 ordnet Instanzen einer LSA linear als vorzeichenbehaftete 32-Bit-Werte von 0x80000001 bis 0x7fffffff; ein unmittelbarer Sprung zum Anfang würde gegen jede noch vorhandene Maximalkopie verlieren.
  • Der Urheber flutet daher zuerst die maximale Instanz mit MaxAge, wartet auf Bestätigung und sichere Entfernung und erzeugt erst anschließend den Initialwert als Beginn einer neuen Epoche.

Aus dem Lollipop wurde eine Gerade

Die erste veröffentlichte OSPF-Spezifikation gab dem Sequenzraum eine Lollipop-Form. In RFC 1131 vom Oktober 1989 führte ein linearer Anlauf in einen Kreis. Der Stiel sollte einem neu gestarteten Router helfen, Reste einer früheren Inkarnation zu überholen; die Schleife sollte fortlaufende Neuerzeugung ermöglichen.

OSPF Version 2 entfernte den Kreis. RFC 1247 vom Juli 1991 nannte den Lollipop-Raum ausdrücklich ein korrigiertes Problem. Fortan wurden Sequenzen als vorzeichenbehaftete 32-Bit-Ganzzahlen verglichen. 0x80000000 blieb reserviert, 0x80000001 wurde der älteste zulässige und 0x7fffffff der neueste Wert.

Die Regel war leicht zu prüfen: Bei derselben LSA ist die größere Zahl neuer. Eine Gerade besitzt aber ein Ende. War das Maximum erreicht und der Inhalt musste sich erneut ändern, brauchte „neu“ eine Bedeutung jenseits bloßer Arithmetik.

Ein Wrap hätte der alten Kopie Recht gegeben

LS type, Link State ID und Advertising Router bilden gemeinsam die LSA-Identität. Die Sequenz ist keine Uhr für die gesamte LSDB. Sie sortiert nur aufeinanderfolgende Instanzen dieser einen Identität.

Spränge der Urheber von 0x7fffffff direkt zu 0x80000001, müsste ein Nachbar mit erhaltener Maximalkopie die neue Nachricht verwerfen. Nach der linearen Ordnung ist die alte Kopie tatsächlich neuer. Zuverlässiges Flooding würde den vergangenen Inhalt gegen seine beabsichtigte Ablösung verteidigen.

Schweigen schafft keinen Nachweis. Eine Kopie kann im Nachbarbestand, auf einer Retransmission List oder in einer laufenden Datenbanksynchronisation überleben. LS age wächst zwar, ist aber keine gemeinsame Wanduhr, die das Vergessen aller Teilnehmer beweist.

OSPFv2 verzichtete daher auf zyklische Vergleichstricks. Zwischen zwei Zahlenepochen musste die alte Behauptung ausdrücklich widerrufen werden.

Das Maximum wurde zum eigenen Widerruf

Wenn eine Instanz jenseits von MaxSequenceNumber nötig wird, setzt der Urheber gemäß RFC 2328 das LS age der maximalen Instanz auf MaxAge und flutet sie erneut. Dieses absichtliche Altern vor dem natürlichen Ablauf heißt premature aging.

Die Befugnis folgt der Urheberschaft. Ein Router darf seine selbst erzeugte LSA vorzeitig altern, nicht die eines fremden Advertising Router. Identität, maximale Sequenz und Inhaltschecksum bleiben gleich; das age-Feld ändert sich. Es liegt außerhalb der Checksum, weil es während Übertragung und Speicherung steigen muss.

MaxAge ist hier aktiver Entzug. Stimmen Sequenz und Checksum zweier Kopien überein, gilt die MaxAge-Instanz als neuer als die lebende. Der Widerruf kann sie verdrängen, ohne auf den natürlichen Einstundenablauf jeder einzelnen Kopie zu warten.

Das Urteil bleibt auf die LSA beschränkt. Es beweist weder einen Kabelbruch noch einen Routerausfall oder weltweite Unerreichbarkeit eines Ziels.

Vergessen brauchte Quittungen

Eine empfangene MaxAge-LSA wird nicht sofort gelöscht. Sie bleibt, solange sie auf der Link State Retransmission List eines Nachbarn steht. Auch bei Nachbarn in Exchange oder Loading darf sie nicht verschwinden, weil eine laufende Synchronisierung die alte Epoche erneut eintragen könnte.

Beim Sequenzende wartet der Urheber zusätzlich auf die Bestätigung aller angrenzenden Nachbarn. Erst wenn die maximale Instanz sicher entfernbar ist, darf dieselbe Identität mit InitialSequenceNumber neu entstehen.

Damit wird die scheinbare Abnahme erklärbar. Der kleine Wert konkurriert nicht mit dem großen innerhalb derselben Generation. Die alte Generation wurde widerrufen, über die Adjazenzen getragen und aus laufenden Abgleichen entfernt. Der Initialwert eröffnet eine andere Epoche.

RFC 1247 änderte sogar die Database-Description-Verarbeitung, damit eine LSA nicht verschwindet, während ein Nachbar noch ihre alte Zusammenfassung lernt. OSPF behauptet keinen global gleichzeitigen Commit; es sammelt an den relevanten Grenzen genug Belege, um Epochen nicht unbemerkt zu vermischen.

Nach dem Neustart brachte der Nachbar die Vergangenheit zurück

Den gesamten 32-Bit-Raum natürlich zu verbrauchen ist fern. Ein Neustart mit verlorenem flüchtigem Zustand ist näher. Der Nachbar kann eine vor dem Neustart selbst erzeugte LSA mit deutlich höherer Sequenz bewahren. Für ihn ist diese Kopie zu Recht neuer.

RFC 2328 verpflichtet den Urheber, die fremd gespeicherte Erinnerung anzuerkennen. Soll er die LSA weiterhin erzeugen, veröffentlicht er eine Instanz oberhalb der empfangenen Sequenz. Soll er sie nicht mehr erzeugen, setzt er ihre Identität auf MaxAge und flutet den Entzug. Liegt die zurückgekehrte Kopie bereits am Maximum, folgt erst die Spülung und dann der Neubeginn.

Dieser Vorgang heißt häufig LSA fight-back. Der Name beweist keinen Angriff. Oft hat ein ehrlicher Nachbar lediglich länger erinnert als der neu gestartete Autor. Der Advertising Router besitzt Aktualisierungs- und Widerrufsrecht; der im Netz erhaltene Beleg bestimmt dennoch, welche Nummer er schlagen muss.

Drei Merkmale teilten sich das Neuheitsurteil

Zuerst wird die Sequenz verglichen. Bei Gleichstand entscheidet die größere Checksum als vorzeichenloser Wert. Stimmen beide überein, können MaxAge und definierte Altersunterschiede weiter unterscheiden; ausreichend ähnliche ages beschreiben dieselbe Instanz.

Jedes Merkmal schützt eine andere Grenze. Die Sequenz steht für absichtliche Neuerzeugung. Die Checksum erkennt unterschiedliche Inhalte unter derselben Nummer. Das Alter lässt den Widerruf seine lebende Zwillingskopie überstimmen, ohne normale Laufzeit als endlose Versionen zu zählen.

Keines dieser Felder ist ein globaler Zeitstempel. Zahlen verschiedener LSA-Identitäten gegeneinander zu stellen, erfindet eine nicht vorhandene Autorität.

DoNotAge sparte Refresh, nicht Widerruf

Normales OSPFv2 erneuert selbst erzeugte LSAs alle 30 Minuten, bevor sie nach einer Stunde MaxAge erreichen. Stabile Topologien verbrauchen dadurch Sequenzen und Bandbreite. RFC 1793 führte für Demand Circuits DoNotAge ein; RFC 4136 weitete die Refresh- und Flooding-Reduktion aus.

DoNotAge erspart regelmäßige Erneuerung ohne Inhaltsänderung. Es beseitigt weder die Neuerzeugung bei Änderungen noch den MaxAge-Widerruf. Die Einsparung überträgt keine Urheberschaft und macht eine LSA nicht unkündbar.

RFC 5340 bewahrte die grundlegende Flooding- und Aktualitätslogik in OSPFv3 für IPv6, obwohl Format und Scope sich änderten. Das Problem entsteht durch verteilte Erinnerung, nicht durch das Adressformat.

Gleichnamige Sequenzen gehörten zu anderen Automaten

Database-Description-Pakete nutzen eine eigene Sequenz beim Nachbarabgleich. Kryptografisch geschützte OSPF-Pakete können ebenfalls Anti-Replay-Sequenzen tragen. RFC 6863 trennt deren Sicherheitszustand von der Sequenz innerhalb einer LSA.

Die LSA-Sequenz fragt, welche Version einer Routingaussage gewinnt. Die Authentifizierungssequenz fragt, ob ein geschütztes Paket im Kontext eines Schlüssels wiederholt wurde. Eigentümer, Lebensdauer und Überlauf unterscheiden sich. Gemeinsame Alarme würden verdecken, welcher Automat versagte.

Das Verschwinden war Teil des Protokolls

OSPF vergrößerte den Zähler nicht und hoffte nicht auf spontanes Vergessen. Die Maximalinstanz trug ihren eigenen Widerruf. Bestätigungen, Retransmissionen und Synchronisationszustände zeigten, wann die alte Epoche nicht mehr umlief. Erst dann durfte die kleinste legale Zahl wieder „neu“ bedeuten.

Darin liegt die historische Pointe: In einem verteilten System ist das Ausbleiben einer Nachricht keine Löschung. Vergessen hat einen berechtigten Urheber, einen Ausbreitungsweg und einen nachweisbaren Abschluss. Die scheinbare Leerstelle zwischen zwei Sequenzepochen leistete die entscheidende Protokollarbeit.

Quellen und Evidenzgrenzen

Die Standards belegen Mechanik und Entwicklung, nicht heutige Häufigkeit, Herstellervorgaben oder die Ursache eines konkreten Ausfalls. MaxAge widerruft eine OSPF-LSA und beweist keine globale Störung. Die Reaktion auf eine selbst erzeugte LSA nach Neustart ist allein auch kein Nachweis feindlicher Einspeisung.