Кратко

  • RFC 9917 вводит для IS-IS и OSPF три ограничения Flex-Algorithm по Administrative Groups обратного ребра: исключить, включить при наличии любой группы и включить при наличии всех групп.
  • Классификация на принимающем узле может удалить соответствующее прямое ребро из ограниченной топологии. Это доказывает исполнение правила, но не физический отказ, обоснованность порога и не фактический перенос трафика.
  • Новый упорядоченный реестр IANA допускает вставку будущих правил, но запрещает менять относительный порядок существующих правил, удалять, объединять или повторять их.

Наблюдение приходит с противоположного конца

На физической схеме A и B соединены одной линией. В графе IGP это два направленных ребра: A→B и B→A. Ошибки CRC во фреймах от A считает получатель B, однако защитное решение может состоять в том, чтобы A перестал использовать A→B. Измерение находится на одной стороне отношения, а объект решения — на другой.

RFC 9917 стандартизует такое соединение данных. В её примере входные ошибки считаются за определённый интервал. Локальная политика может обозначить условие Extended Administrative Group на обратном ребре, после чего Flex-Algorithm Definition использует эту группу при проверке прямого ребра.

Сам диагноз при этом не стандартизован. Документ не выбирает единый счётчик, всеобщую длительность окна, универсальный порог или обязательную гистерезисную схему. Цвет остаётся результатом решения оператора. Для его повторной проверки нужны исходное значение, место измерения, окно, пороги установки и снятия, версия политики и время. Без них видно, что классификатор сработал, но нельзя воспроизвести основание его вывода.

Три условия отсечения, а не три названия неисправности

Exclude Reverse Administrative Group удаляет канал, если на обратном ребре присутствует хотя бы одна указанная группа. Include-Any Reverse удаляет его, если не присутствует ни одна. Include-All Reverse требует наличия всех групп и удаляет канал при отсутствии любой из них. RFC 9917 определяет соответствующие sub-TLV в FAD-кодировках IS-IS и OSPF.

Граница управления включает и обработку дефектного ввода. Reverse-group sub-TLV неверной длины игнорируется целиком. Повторы в зависимости от места приводят к выбору первого вхождения либо к отклонению FAD. Неоднозначные данные не должны незаметно становиться разными языками политики у разных реализаций.

Результат всё равно локален для конкретного маршрутизатора. Он должен получить определённую версию link-state, выбрать winning FAD по RFC 9350, поддерживать содержащиеся в ней ограничения и применить правила в установленной последовательности. Лишь затем возникает ограниченная топология и рассчитанный путь. Это не доказывает, что все узлы одновременно видели одну базу, установили один маршрут или пересылали одни пакеты.

Порог автоматизации способен породить собственный сбой

Если счётчик колеблется около одного порога, обратная группа будет многократно появляться и исчезать. Каждое изменение способно вызвать flooding LSP или LSA и новый расчёт. RFC 9917 прямо отмечает риск, показывает разные пороги для установки и снятия атрибута и напоминает об обычном throttling LSP/LSA для ограничения частоты.

Гистерезис и throttling снижают нестабильность, но не устанавливают истину. Осторожный порог снятия может оставить восстановившийся канал исключённым. Высокий порог установки может дольше сохранять ухудшившийся канал доступным. Ограничение рассылки создаёт период, когда узлы видят разные версии. Это допустимые локальные компромиссы, если отчёт не скрывает их за одним индикатором состояния.

Надёжная временная шкала разделяет момент пересечения порога, локальное изменение EAG, создание и получение каждой версии LSP/LSA, перерасчёт и обновление FIB. Наблюдение пакетов и результат сервиса живут на своих часах. Сведение всего к одному событию стирает задержки, ради которых и проводится расследование.

Порядок правил стал контрактом совместимости

RFC 9350 задала базовую последовательность Flex-Algorithm, а RFC 9843 добавила ограничения полосы и задержки. RFC 9917 добавляет правила обратных групп и создаёт реестр IANA «IGP Flex-Algorithm Path Computation Rules», фиксирующий общую последовательность.

Будущее правило можно вставить в любую позицию, однако относительный порядок существующих правил менять нельзя. Установленные правила нельзя удалять, сливать или повторять. Две реализации могут построить разные допустимые топологии, если применяют одинаковые проверки в разном порядке. Стабильная последовательность — минимальный общий слой, который позволяет расширение без централизации локального выбора порогов.

Живой реестр IANA подтверждает содержание координационного контракта. Он не подтверждает, что конкретный маршрутизатор реализовал правило, участвовал в алгоритме или выполнил его на данной базе. Возможность ПО, конфигурация, принятое состояние, трасса расчёта и пересылка требуют отдельных доказательств.

Цепочка доказательств заканчивается результатом сервиса

Полное объяснение проходит через исходные счётчики приёмника, решение по окну и порогу, обратный EAG, разосланную версию link-state, winning FAD, упорядоченное отсечение, локальную топологию, рассчитанный маршрут, запись FIB, наблюдаемые пакеты и результат сервиса. У каждой стрелки свой владелец и свой способ отказа.

Такое разделение устраняет две противоположные ошибки. Если назвать цвет «просто метаданными», можно пропустить его реальное влияние на прямое ребро. Если назвать его доказанным прямым отказом или восстановлением услуги, можно перескочить через измерение и исполнение. RFC 9917 придаёт метаданным детерминированную вычислительную силу, но не отдаёт им власть над всеми слоями реальности.

Источники