Zusammenfassung

  • Der Restart-Grund „switch to redundant control processor“ kann Forwarding-Hardware am Leben lassen. Er belegt nicht, dass der neue OSPFv3-Prozess die semantischen Zuordnungstabellen übernommen hat.
  • RFC 5187 verlangt erhaltene LSA-ID-zu-Präfix- und Interface-ID-Zuordnungen. Ohne sie beschreiben alte LSAs nach dem Umschalten andere oder unbekannte Objekte.

Der aktive Kontrollprozessor fiel planmäßig aus der Rolle, der redundante übernahm. Die Linecards leiteten weiter, Counter stiegen, und die Grace-LSA nannte den vorgesehenen Grund. Doch der neue Prozess hatte die Tabelle nicht geladen, die den freien 32-Bit-LSA-IDs ihre Präfixe zuordnete.

Der Datenpfad war nicht ausgeschaltet. Die Bedeutung seiner Steuerungsobjekte war dennoch unterbrochen.

Split Plane bedeutet zwei Kontinuitätsnachweise

RFC 3623 nutzt die Trennung von control und forwarding plane. Wenn Topologie stabil bleibt und Forwarding Tables erhalten sind, kann OSPF-Software neu starten, ohne den Router sofort aus dem Pfad zu entfernen.

RFC 5187 überträgt dies auf OSPFv3. Eine link-lokale Grace-LSA Typ 0x000b fordert Nachbarn auf, den Router während einer Frist als FULL anzukündigen. Pflicht-TLVs enthalten Dauer und Grund, darunter der Wechsel auf einen redundanten Kontrollprozessor.

Diese Architektur erzeugt zwei Prüfungen. Erstens: leitet die Hardware mit aktuellem Zustand? Zweitens: rekonstruiert der neue Kontrollprozess dieselbe Identität, auf die alter Zustand verweist? Nur gemeinsam bilden sie Kontinuität.

LSA ID muss dasselbe Präfix benennen

OSPFv3 nutzt für Inter-Area-Prefix- und External-LSAs freie 32-Bit-IDs. Anders als bestimmte OSPFv2-Felder tragen sie das Präfix nicht im Wert. RFC 5187 verlangt deshalb, die Korrespondenz über den Restart zu erhalten.

Ein leerer oder anders sortierter Allocator kann dieselben Zahlen neu vergeben. Dann wirken IDs stabil, während Präfixe wechseln. Oder gleiche Präfixe erhalten neue IDs und erzeugen Churn.

Der Beleg enthält die vollständige Tabelle mit Typ, ID, Präfix, Länge, Scope, Advertising Router und Sequenz vor/nach dem Switch. Counts und ID-Sets reichen nicht.

Interface ID ist ebenfalls Zustandsidentität

Link-LSA- und Network-LSA-IDs sowie Linkbeschreibungen in Router-LSAs beziehen sich auf Interface IDs. Änderungen erzeugen einen Mismatch zu pre-restart adjacency state und führen zur vorzeitigen Beendigung.

Viele Implementierungen verwenden IfIndex. Nach Prozessorwechsel oder Chassis-Neuinitialisierung muss seine Persistenz bewiesen werden. Zu speichern sind physischer Port, Slot, ifName, IfIndex, OSPF Interface ID, Link-Local-Adresse und Neighbor Router ID.

Die RFC legt Erhaltungspflicht auf den Restarting Router, weil das robuster und deterministischer ist als Synchronisation von Änderungen mit allen Nachbarn.

Helper Mode bleibt lokale Entscheidung

Senden einer Grace-LSA ist keine Annahme. Nachbarn dürfen aufgrund lokaler Policy ablehnen, Dauer begrenzen, Gründe auswählen oder während eigenem Restart nicht helfen. Die Beziehung gilt pro Segment.

Helper beenden bei Erfolg, Ablauf oder relevanter Topologieänderung. Strict LSA Checking kann früher abbrechen. Ein globaler Timer muss daher aus Einzelzuständen abgeleitet werden.

Die frühzeitige Rückkehr zu normaler Konvergenz ist Sicherheitsverhalten. Sie soll nicht unterdrückt werden, um Switches erfolgreicher erscheinen zu lassen.

Running Forwarding braucht Packet Evidence

Vor geplantem Switch muss der Router sicherstellen, dass sein FIB aktuell bleibt. Während des Restarts können Next Hops oder Links dennoch ausfallen. Counter allein können Drops zählen.

FIB-Fingerprint, Egress, Next-Hop-Reachability, Pfad, Verlust und Service-Ergebnis gehören in den Nachweis. Dies unterscheidet den Artikel von allgemeiner retained-state-Kritik: die zentrale Frage ist, ob OSPFv3s ausdrücklich erhaltene Identity Maps den laufenden Datenpfad weiterhin semantisch beschreiben.

Replay und aktuelle Anwesenheit

RFC 5187 erwähnt den Replay einer Grace-LSA, ordnet aber Hello-Replay als leichteren Weg ein, Adjacency künstlich zu halten. Authentifizierter Inhalt beweist nicht automatisch Freshness oder aktuelle Hardwarepräsenz.

RFC 4552 und RFC 7166 liefern Sicherheitskontext. Der Operator speichert Age, Sequence, Anti-Replay, Capture und beobachtetes Forwarding, ohne aus dem Hinweis einen unbelegten universellen Angriff zu machen.

Nachweis über beide Ebenen

Speichern: Change-ID, Grund, Builds und Prozessoren, Router ID, Grace-LSAs, Helper-Policy/Entscheidung/Ausstieg, FIB und Pakete, LSA-ID/Präfix-Tabelle, Port/IfIndex/Interface-ID-Tabelle, Adjacency/LSDB-Synchronisation, LSDB/RIB/FIB, Topologie, Security, Fallback, Rollback und Ergebnis.

Heng Lus Realitätsschichten trennen die symbolische Koordination vom laufenden Code. Ein redundanter Prozessor ist nur dann dieselbe Routing-Instanz im operativen Sinn, wenn seine Zahlen weiterhin dieselben Objekte benennen und Pakete den erwarteten Weg nehmen.

Quellen

  1. RFC 5187 HTML
  2. RFC 5187 Text
  3. RFC Editor
  4. IETF Datatracker
  5. Historie
  6. Referenzen
  7. RFC-5187-Errata
  8. RFC 3623 Graceful OSPF Restart
  9. RFC-3623-Information
  10. RFC 5340 OSPFv3
  11. RFC-5340-Information
  12. RFC 2740 ursprüngliches OSPFv3
  13. RFC 2863 Interfaces Group MIB
  14. RFC 1213 MIB-II
  15. RFC 4552 OSPFv3-Authentifizierung
  16. RFC 7166 Authentication Trailer
  17. IANA OSPFv3 Parameters
  18. Heng Lu — Realitätsschichten
  19. Heng Lu — minimale Spezifikation und freiwillige Einführung
  20. Heng Lu — laufender Code zuerst