Кратко

  • RFC 9860 преобразует список ремонта TI-LFA в RPF-векторы, чтобы PIM Join создавал состояние на каждом переходе резервного пути.
  • Расчёт, готовое дерево и переключение UMH — локальные факты; они не гарантируют непрерывность пакетов и восстановление всех получателей.
  • Проверяемый вывод связывает поколение топологии, пригодность, состояние PIM, обнаружение отказа, трафик, приём и результат приложения.

Между списком сегментов и деревом

TI-LFA вычисляет выходной интерфейс и упорядоченный список сегментов, обходящий защищаемый ресурс. Для unicast этого может быть достаточно. Multicast требует, чтобы каждый промежуточный маршрутизатор создал входной интерфейс, upstream-соседа и список выходных интерфейсов. Если Join пройдёт туннелем прямо к дальней точке, пропущенные узлы не получат PIM-состояние для репликации.

RFC 9860 сопоставляет Node SID и Adjacency SID с IP-адресами из LSDB. RPF Vector переносит адрес узла, а Explicit RPF Vector может указать соседа по adjacency. Маршрутизаторы последовательно обрабатывают векторы и передают Join, создавая резервное дерево по переходам даже без обычной LFA.

В MoFRR точка слияния заранее присоединяется к первичному и вторичному upstream-пути. Она получает обе копии и обычно отбрасывает вторичную. После обнаружения отказа можно локально повысить вторичный UMH. RFC 9860 расширяет набор топологий, где такая подготовка возможна, но локальный UMH не становится знанием о всей нисходящей части дерева.

Раздельные квитанции

Квитанция топологии фиксирует поколение LSDB, метрики, SID и защищаемый линк или узел. Механизм действует внутри одной link-state IGP area; выходы из домена и междоменные связи не покрываются. Устаревшая LSDB способна дать воспроизводимый, но неверный обход.

Квитанция пригодности подтверждает поддержку RPF Vector на всех узлах backup Join и разрешающую конфигурацию. При конфликте Join с вектором и без него RFC допускает приоритет варианта без вектора, оставляя защиту неактивной. Наличие списка не означает, что конкретный (S,G) получил готовое резервное дерево.

Квитанция построения отслеживает Join через ожидаемых соседей и состояние на каждом переходе. RFC рекомендует такую проверку и называет Mtrace средством диагностики. Но Mtrace не является квитанцией приложения. RFC 7431 отдельно отмечает, что ping и mtrace не проверяют вторичный поток, который MoFRR обычно принимает и отбрасывает.

Квитанция активации начинается с точно указанного события. Физический линк, BFD, отсутствие ожидаемого пакета и IGP withdrawal имеют разные часы. По RFC 9855 TI-LFA действует локально от обнаружения отказа до конвергенции в точке ремонта. Другие узлы могут ещё видеть иную топологию; раннее снятие ремонта и возврат линка имеют собственные риски микропетель. RFC 9860 оставляет предотвращение PIM microloop за рамками.

Квитанция трафика включает счётчики до и после точки слияния, пропуски последовательности, дубликаты, перестановку и потери в очередях. MoFRR заранее поддерживает вторичное дерево и приносит вторую копию до точки слияния, поэтому резервная ёмкость — часть результата. Топологически независимый путь может не выдержать реальную нагрузку.

Квитанция сервиса поступает от получателей и приложения. Пробы на разных ветвях показывают достижимость; буфер плеера, декодирование или приём телеметрии показывают возврат к цели. Смена UMH подтверждает только управляющее действие.

У 50 миллисекунд должны быть границы

RFC 7431 говорит, что в подходящей схеме возможно переключение за 50 ms, а выбор первого RTP-пакета может дать нулевую потерю. Там же описано обнаружение по минимальной известной частоте пакетов, где задержка зависит от потока. Это условные возможности, а не универсальная гарантия.

Измерение должно назвать начало и конец: физический отказ, BFD, понижение UMH или первый пропуск; затем первый пакет по ремонту, стабильная последовательность, последний получатель или приложение в пределах политики. Число без границ смешивает разные слои реальности.

Минимальная цепочка связывает топологию и ресурс, список ремонта, поддержку векторов, вторичный Join, состояние на переходах, событие отказа, выбор UMH, пакеты точки слияния, репрезентативных получателей и сервис. Идеи Heng Lu о первичности работающего кода и слоях реальности дают дисциплину: стандарт задаёт общий механизм, а каждый последующий слой доказывает собственный факт.

Источники