Summary

  • RFC 10041 исключает LSLinkInfinity из соответствующего SPF только если все маршрутизаторы в LSDB области объявили Unreachable Link.
  • Старый участник отменяет условие. Пока LSA распространяются, разные толкования одной метрики способны создать временную петлю.
  • Daniel Kade предлагает квитанцию активации семантики области, связывающую живой состав, способности, переход, линии, пересчёт и откат.

Одна LSA, два противоположных маршрута

RFC 2328 считал 0xffff достижимой максимальной стоимостью. RFC 10041 позволяет прочитать его как запрет учитывать линию в данном SPF. Это сохраняет линию для traffic engineering или Flexible Algorithm, не отдавая её базовой маршрутизации.

При частичном внедрении новый маршрутизатор удаляет линию, а старый сосед сохраняет. Оба могут выбрать друг друга следующим переходом и получить петлю.

Единогласие видно в LSDB

Поддерживающие устройства объявляют бит в Router Information LSA области. Новый смысл разрешён, только если каждый Router-LSA в LSDB соответствует устройству с этим битом.

Инвентарная система не заменяет протокольное наблюдение. Когда число неподдерживающих падает до нуля, смысл включается. Когда растёт с нуля, маршруты пересчитываются в совместимом режиме.

Вход нового участника, старение LSA или downgrade создают новую семантическую эпоху.

Переход нельзя вырезать из отчёта

LSA приходят не одновременно. Старый маршрутизатор в современной области обнаруживается постепенно. В этот момент одни исключают 0xffff, другие сохраняют, и возникает риск петли.

Запись должна содержать намерение, первую решающую LSA, окно распространения, SPF-пересчёт и наблюдаемое общее толкование. Успешная команда настройки ничего этого не доказывает.

Взаимные next-hop и TTL expiry служат сигналами. Согласие LSDB и реальная пересылка — разные доказательства.

0xfffe оставляет аварийный путь

Stub Router, LDP-IGP synchronization и graceful shutdown хотят затруднить путь, но сохранить его на крайний случай. RFC 10041 назначает этому MaxReachableLinkMetric (0xfffe) и обновляет RFC 5443, 6987, 8379 и 8770.

Единица отделяет резервный путь от исключения. Auto-cost также ограничивается 0xfffe, чтобы медленная линия случайно не стала недостижимой.

Недостижимая линия может работать

Линия вне базового SPF может быть физически активна, видна TE и использоваться другим алгоритмом. Стандарт меняет расчёт, но не доказывает туннель, FIB или трафик. Объявлена, истолкована, исключена, рассчитана, установлена и наблюдалась — разные действия.

Квитанция активации семантики области

Я предлагаю квитанцию активации семантики области. Это модель управления Daniel Kade, не новое требование RFC 10041.

Она фиксирует область и живых участников по Router-LSA. Для каждого хранит ограниченную ссылку на Capability-LSA, состояние, свежесть и точку наблюдения.

Далее связывает владельца изменения, включение или отзыв, число неподдерживающих до/после, решающую LSA, распространение, SPF и контрольные точки. Новое членство открывает новую эпоху.

По линиям она различает 0xffff, 0xfffe, TE/Flexible Algorithm и предел auto-cost, не называя исключение физической аварией.

Откат начинается при неподдерживающем участнике, устаревшем свидетельстве, разных LSDB, flapping или петле. Указывается, кто отзывает способность и как возвращается совместимое поведение.

Доступ, устойчивость и согласие

YANG-модули RFC 10041 расширяют RFC 9129. Незаконная запись может изменить смысл или объявить линию недостижимой; чтение может раскрыть чувствительные сведения. Защищённый взаимно аутентифицированный транспорт и NACM RFC 8341 ограничивают доступ.

Скомпрометированный маршрутизатор всё ещё может быстро менять бит и вызывать SPF-нагрузку. Back-off RFC 8405 сдерживает частоту. Авторизация отвечает «кто», задержка — «как часто», распределённое свидетельство — «согласились ли все».

IANA закрепляет идентификатор способности, но не операционное единогласие. Любое изменение требует новой проверки.

RFC 10041 показывает: смысл в распределённом протоколе тоже является общим состоянием. Не число закрывает дорогу, а наблюдаемая согласованная область.

Источники

  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 — Недостижимые линии OSPF
  5. RFC 2328 — OSPFv2
  6. RFC 5340 — OSPF для IPv6
  7. RFC 5443 — LDP-IGP synchronization
  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 — YANG-модель OSPF
  15. RFC 9350 — Flexible Algorithm
  16. IANA — Параметры OSPF