Кратко

  • draft-ietf-pce-entropy-label-position-07 предлагает сигналы PCEP для согласования возможностей, запроса расчёта и указания позиций пар ELI/EL в стеке SR-MPLS. Документ находится на Working Group Last Call и пока не является RFC, реализацией или доказательством эксплуатации.
  • В revision 07 набор ELP из PCUpd полностью заменяет прежний набор. Корректный набор применяется целиком, корректный SR-ERO без E удаляет все старые пары, а ошибочные или частичные данные не должны менять существующее состояние.
  • Эта атомарность относится к транзакции плоскости управления. Она не подтверждает программирование ASIC, доступность метки на нынешнем пути, её участие в локальном хеше или улучшение распределения нагрузки.

У задачи есть физический предел. Чем глубже MPLS-стек, тем труднее транзитному устройству добраться до исходных полей IP и транспорта, по которым обычно распределяются потоки. Ingress вычисляет значение энтропии и помещает его в EL; непосредственно перед ним стоит ELI. Промежуточный LSR получает компактный источник разнообразия, не разбирая заголовки за всем стеком.

Но «увидеть» и «использовать» — разные способности. ERLD определяется как число меток, которые маршрутизатор способен и прочитать, и использовать в функции балансировки. Если устройство разбирает позицию, но не может включить найденный EL в хеш, оно должно объявить ERLD равным нулю. Это не просто глубина парсера, а ограниченное утверждение о функции пересылки.

Проект revision 07 решает вопрос координации до этого предела. Stateful PCE сообщает PCC, после каких под-объектов SR-ERO следует вставить пары ELI/EL. По сравнению с revision 06 документ жёстче обрабатывает асимметрию возможностей, неполные входные данные и обновления состояния. Он делает инструкцию точнее, но не наблюдает результат её исполнения.

Три E обозначают три разных решения

При OPEN PCE объявляет способность вычислять ELP на основе MSD и ERLD, а PCC — способность вставлять одну или несколько пар в заданных местах. Это характеристика участников сессии, а не квитанция по конкретному LSP.

E в LSP-EXTENDED-FLAG запрашивает расчёт для одной операции. E в под-объекте SR-ERO указывает конкретную границу вставки. Согласованная способность, запрос и позиция нельзя сводить к одному зелёному статусу. Ни одна из этих записей не поступает из forwarding hardware.

Revision 07 запрещает PCE возвращать позиции, которые PCC не объявлял способным применить. Неожиданная ELP-информация не должна использоваться. Если сведений MSD или ERLD нет, они противоречат друг другу или не позволяют корректное размещение, ответ не должен содержать частично пригодный SR-ERO. Нужен ограниченный отказ, а не оптимистическая догадка.

Это полезное минимальное правило совместимости. Оно не даёт неполному расчёту выглядеть завершённым. Однако объявление не создаёт возможности у line card и не делает устаревшее наблюдение текущим. Публикация способности — входное свидетельство, а не власть над состоянием оборудования.

Полная замена требует доказать отсутствие старого

Главное практическое усиление revision 07 — семантика PCUpd. Полученный набор ELP не дополняет прежнее состояние, а целиком его заменяет. Валидный новый набор атомарно занимает место старого. Валидный SR-ERO без E удаляет все прежние ELI/EL. Невалидные или частично валидные данные не должны менять ни путь, ни ELP; ошибку следует связать с SRP ID.

Правило не позволяет незаметно смешать новые позиции с остатками старого решения. Из него следует отрицательная обязанность: успешное удаление подтверждается не только появлением новой конфигурации, но и отсутствием каждой заменённой пары.

Протокольная атомарность не гарантирует единой транзакции во всех элементах forwarding hardware. PCC может принять и записать PCUpd, пока line cards сходятся к новому состоянию. Быстрый и медленный пути могут иметь разные пределы. Система управления может читать желаемую конфигурацию, когда часть пакетов всё ещё обрабатывается предыдущей эпохой программирования.

Поэтому полноценная квитанция объединяет SRP ID, отпечатки прежнего и нового наборов, эпоху вычисления, принятие PCC, readback в каждой точке наложения и явное отсутствие старых пар. Если платформа не даёт двух последних доказательств, честный статус — «намерение принято», а не «замена завершена».

ERLD и MSD действуют с противоположных сторон

Maximum SID Depth ограничивает число меток, которые узел способен наложить. ERLD ограничивает глубину, на которой транзитный узел способен прочитать EL и использовать его для хеширования. Дополнительные пары помогают разным узлам найти доступную метку, но каждая пара занимает ещё две позиции. Расчёт может улучшить читаемость downstream и одновременно исчерпать запас ingress по наложению.

Распределённое шасси может публиковать минимальный ERLD среди компонентов. Консервативный минимум безопасен для совместимости, но способен заставить PCE вставить больше пар, чем требуется конкретному аппаратному пути. Значение на уровне системы — координационный нижний предел, а не точная карта всех line cards.

Отсутствие данных также имеет узкий смысл. По RFC 9088 и RFC 9089 отсутствие объявления ERLD-MSD означает лишь отсутствие поддержки объявления. Оно не доказывает, что сама плоскость данных неспособна использовать EL. Автоматика не должна превращать пробел в доказательстве ни в оптимизм, ни в всеобщий приговор. Для расчёта нужен fail-closed; локальное решение об обходном режиме принимается отдельно и остаётся видимым.

У позиции есть срок, заданный эпохой топологии

За Node SID может стоять путь через несколько устройств. Реализация способна вычислить минимальный ERLD вдоль него; если это невозможно, спецификация допускает применение ERLD конечного узла в качестве fallback. Это определённое поведение, но не свидетельство о каждом транзитном LSR.

После изменения кратчайшего пути та же политика может пройти через оборудование с другой глубиной чтения. RFC 8662 требует заново вычислять минимум после изменения топологии. Следовательно, ELP должен сохранять эпоху доказательств: топологию, разрешение Node SID, состояние Binding SID, ELC, ERLD и BMI-MSD, на которых основаны позиции.

Синтаксически корректный SR-ERO может пережить собственное обоснование. Для Binding SID граница ещё жёстче: его способность к энтропии зависит от связанного LSP и фактической точки стыковки. Если способность целевого FEC неизвестна, ELC нельзя устанавливать, а связанную пару — помещать в стек. Имя метки не является сертификатом возможности.

Доступная метка не определяет результат хеша

RFC 6790 и RFC 8662 оставляют точные входы хеша локальной конфигурации. Один узел может использовать только EL, другой — объединять его с иными полями. Одинаковые ERLD и видимый EL поэтому не обеспечивают одинаковое распределение.

Даже фактическое участие EL в хеше не обещает равной загрузки. Потоки имеют разный объём; несколько крупных потоков могут занять один member. Состав ECMP или LAG меняется. Оценка должна назвать окно и знаменатель: счётчики members, распределение потоков, потери, переупорядочивание, состав путей и сравнение до/после в одной эпохе политики.

Сама Internet-Draft не добавляет механизм liveness или эксплуатационной проверки поверх базовых PCEP-спецификаций. Это сохраняет протокол узким, но исключает трактовку E как встроенного пробника.

Квитанция Минимальное доказательство Чего не доказывает
Возможность OPEN-флаги и идентичность сессии наличие данных для данного LSP
Эпоха топологии разрешённые сегменты и время наблюдения неизменность forwarding
Глубина scoped ELC, ERLD и BMI-MSD актуальное состояние hardware
Расчёт полный набор и версия политики принятие PCC
Принятие SRP ID и результат транзакции сходимость аппаратуры
Замена новый отпечаток и отсутствие старых пар использование каждым пакетом
Читаемость readback по компонентам включение EL в хеш
Использование версия hash policy и счётчики равномерность нагрузки
Измерение окно, пути, потери и reordering результат для конечного сервиса

Revision 07 усиливает середину этой цепочки. Руководству важно не объявлять через неё доказанными последующие звенья.