Summary

  • RFC 10041 schließt LSLinkInfinity nur aus dem betreffenden SPF aus, wenn alle Router in der Bereichs-LSDB die Unreachable-Link-Fähigkeit anzeigen.
  • Ein alter Router widerruft diese Bedingung. Während sich LSAs verbreiten, können verschiedene Deutungen derselben Metrik vorübergehende Schleifen erzeugen.
  • Daniel Kade schlägt einen Beleg zur Aktivierung der Bereichssemantik vor: Mitglieder, Fähigkeiten, Übergang, Links, Neuberechnung und Rückfall werden verbunden.

Zwei gültige Regeln, eine Schleife

Historisches OSPF nach RFC 2328 ließ die Maximalmetrik erreichbar. RFC 10041 kann 0xffff als „nicht im zugehörigen SPF berücksichtigen“ lesen. Das hilft, Links für Traffic Engineering oder einen Flexible Algorithm sichtbar zu halten, ohne sie in den Basis-SPF aufzunehmen.

Teilweise Einführung ist gefährlich. Ein neuer Router entfernt den Link, ein alter Nachbar behält ihn. Beide können sich für ein Ziel gegenseitig als nächsten Hop wählen.

Zustimmung wird in der LSDB beobachtet

Unterstützende Router setzen ein Funktionsbit in einer bereichsweiten Router-Information-LSA. Die neue Deutung gilt nur, wenn jeder Router mit Router-LSA in der LSDB das Bit ankündigt.

Inventar und Upgrade-Plan sind keine Protokollbeweise. Fällt die Zahl der Nichtunterstützer auf null, kann die neue Semantik beginnen. Steigt sie wieder, müssen Router kompatibel interpretieren und neu rechnen.

Mitgliedschaft, LSA-Alterung oder Downgrade eröffnen eine neue Epoche. Einigkeit ist zeitgebunden.

Verbreitung ist Teil des Risikos

LSAs erreichen nicht alle gleichzeitig. Ein alter Neuzugang wird schrittweise erkannt. Währenddessen kann 0xffff auf einem Router unerreichbar und auf einem anderen erreichbar sein.

Der Änderungsbeleg braucht Absicht, erste entscheidende LSA, Ausbreitungsfenster, SPF-Neuberechnung und beobachtete gemeinsame Deutung. Ein erfolgreicher Konfigurationsbefehl genügt nicht.

Reziproke nächste Hops oder TTL-Abläufe sind Warnzeichen. LSDB-Einigung und tatsächliche Weiterleitung bleiben getrennte Beweise.

0xfffe bleibt der Notweg

Stub Router, LDP-IGP-Synchronisation und Graceful Shutdown wollen Verkehr vermeiden, den Link aber als letzten Ausweg erhalten. RFC 10041 nutzt dafür MaxReachableLinkMetric (0xfffe) und aktualisiert RFC 5443, 6987, 8379 und 8770.

Eine Zahl trennt Notweg und Ausschluss. Auto-Cost muss ebenfalls bei 0xfffe stoppen, damit ein langsamer Link nicht rechnerisch unerreichbar wird.

Unerreichbar in welchem Kontext?

Ein Link kann physisch aktiv, für TE sichtbar oder in einem anderen Algorithmus nutzbar sein. RFC 10041 beweist weder Tunnel noch FIB noch Verkehr. Angekündigt, gedeutet, ausgeschlossen, berechnet, installiert und beobachtet sind verschiedene Verben mit verschiedenen Eigentümern.

Beleg zur Aktivierung der Bereichssemantik

Ich schlage einen Beleg zur Aktivierung der Bereichssemantik vor. Er ist Daniel Kades Governance-Entwurf, keine zusätzliche Vorgabe von RFC 10041.

Er fixiert Bereich und lebende Router-LSA-Mitglieder. Pro Router speichert er begrenzte Referenz, Zustand und Frische der Capability-LSA aus mehreren Sichtpunkten.

Er verknüpft Verantwortlichen, Aktivierung oder Rücknahme, Nichtunterstützerzahl vorher/nachher, entscheidende LSA, Ausbreitung, SPF und Konvergenzkanarien. Neue Mitgliedschaft eröffnet eine neue Epoche.

Pro Link trennt er 0xffff, 0xfffe, TE/Flexible-Algorithm-Nutzung und Auto-Cost-Grenze. Rückfall gilt bei Nichtunterstützer, alter Beweislage, abweichender LSDB, Flapping oder Schleife.

Zugriff, Dämpfung und Konsens

Die YANG-Module erweitern RFC 9129. Unbefugte Schreibzugriffe können die Deutung abschalten oder Links unerreichbar ankündigen; Lesezugriff kann sensible Steuerdaten verraten. Sichere gegenseitige Authentisierung und NACM nach RFC 8341 begrenzen Zugriff.

Ein kompromittierter Router kann das Bit dennoch schnell ändern und SPF-Last erzeugen. RFC 8405 dämpft die Neuberechnung. Zugriffskontrolle regelt den Akteur, Back-off die Frequenz, verteilte Beobachtung die Einigkeit.

IANA stabilisiert die Kennung, nicht die operative Zustimmung. Jede Änderung verlangt neue Evidenz.

RFC 10041 zeigt: In verteilten Protokollen ist Bedeutung selbst gemeinsamer Zustand. Nicht die Zahl allein sperrt den Weg, sondern der beobachtete Bereich im Konsens.

Quellen

  1. Lu Heng — Data Sovereignty: Technical vs Practical Realities
  2. Lu Heng — Why BTW Media Exists
  3. Lu Heng — Running-Code Primacy
  4. RFC 10041 — Unerreichbare Links in OSPF
  5. RFC 2328 — OSPFv2
  6. RFC 5340 — OSPF für IPv6
  7. RFC 5443 — LDP-IGP-Synchronisation
  8. RFC 6987 — Stub Router Advertisement
  9. RFC 7770 — Router Information Advertisement
  10. RFC 8341 — NACM
  11. RFC 8379 — Graceful Link Shutdown
  12. RFC 8405 — SPF Back-off
  13. RFC 8770 — OSPFv3 Stub Router
  14. RFC 9129 — OSPF-YANG-Modell
  15. RFC 9350 — Flexible Algorithm
  16. IANA — OSPF-Parameter