Кратко

  • RFC 9658 включает {MT-ID, IPA} в multipoint FEC mLDP, чтобы сервис и forwarding tree различали topology и algorithm даже при одинаковом root.
  • Точный PMSI и согласованная capability доказывают идентичность и заявленную поддержку, но не общий revision, установленные branches, replication или получение трафика.
  • Проверяемая цепочка связывает definition, session, FEC bytes, root lookup, upstream, downstream set, labels, hardware, branch probes и receiver evidence.

Объявление знает имя, но не состояние дерева

RFC 6514 позволяет PMSI Tunnel attribute в MVPN нести mLDP FEC. Когда применяется RFC 9658, tunnel identifier должен использовать MT-scoped multipoint form. Service route и transport tree получают общий точный идентификатор.

Это устраняет важную неоднозначность. Однако route может появиться раньше downstream labels, hardware replication и receiver readiness. PMSI сообщает, каким деревом сервис намерен пользоваться; он не является журналом того, что дерево уже построено.

Поэтому аудит связывает PMSI с FEC, результатом root resolution, labels, branch inventory, counters и наблюдением получателя. Только последние слои позволяют сказать, что копия дошла.

Один root может иметь несколько законных деревьев

RFC 6388 определяет P2MP, MP2MP-up и MP2MP-down. RFC 9658 делает MT-ID и IGP Algorithm частью FEC. Одинаковые root address и opaque value при другом tuple обозначают другой MP LSP.

RFC 7307 ввёл MT IP и MT IPv6. RFC 9658 отдаёт восемь ранее reserved bits под IPA, оставляя reserved octet, который передаётся нулём и игнорируется при приёме. RFC 9350 описывает Flexible Algorithm, а IANA IGP Parameters фиксирует диапазоны.

Tuple различает объекты, но не переносит revision algorithm definition или topology database. Два узла могут кодировать одно значение и вычислять разные graphs. FEC bytes следует хранить вместе с definition, epoch и локальным результатом.

Capability ограничена процедурой

MT Multipoint Capability получила значение 0x0510 в IANA LDP Parameters. Она объявляется при initialization или динамически после negotiation механизма RFC 5561. S bit объявляет и отзывает поддержку.

После успешного negotiation speaker обязан поддерживать scoped FEC и forwarding setup. Это доказательство согласованной процедуры, а не наличия конкретного tree. Оно не перечисляет labels, не подтверждает ASIC и не показывает receiver.

Сохраняйте peer, session epoch, software build и transition. При withdrawal отдельно фиксируйте удаление или сохранение существующего state. Время capability и время forwarding не должны сливаться.

Root lookup и branch eligibility — разные решения

Для upstream LSR root сначала разрешается в sub-topology, выбранной tuple. Next hop из этого вычисления определяет LDP peer. Lookup в default table может привести к рабочему соседу, но не к требуемому tree.

Downstream interface допускается лишь тогда, когда входит в ту же sub-topology. Физическая доступность соседа, LDP adjacency и policy eligibility — три факта. Нужны candidate list, membership, причина выбора, local label, replication entry и hardware commit.

Частично построенное дерево опаснее явного отказа. Большинство receivers может работать, aggregate counters выглядят здоровыми, а потерянный leaf остаётся незаметным. Именно поэтому результат должен адресоваться по branch.

Wildcard и End-of-LIB не делают сеть атомарной

RFC 5918 определяет Typed Wildcard FEC. RFC 9658 добавляет MT IP/MT IPv6, IPA и MT-ID для multipoint operations, чтобы bulk request или withdrawal не затронул другое дерево с тем же root.

RFC 5919 определяет End-of-LIB. Scoped wildcard позволяет сигнализировать convergence на уровне sub-topology. Marker завершает label exchange с peer для указанного scope.

Он не доказывает общий IGP epoch, успешное программирование или прохождение traffic. В отчёте должны остаться peer, session, tuple и revision. Иначе слово «сошлось» получает больше authority, чем исходное сообщение.

LSP Ping проверяет только покрытый branch

RFC 6425 распространяет LSP Ping на multipoint, опираясь на RFC 8029. RFC 9658 использует MT IP/MT IPv6 и добавляет tuple к Root LSR Address.

Probe теперь адресует правильный scoped FEC. Успешный ответ относится к проверенному пути, времени и branch. Он не распространяется автоматически на другие leaves, постоянную replication или application acceptance.

Tree-wide verdict требует branch inventory, probe coverage, data counters и receiver observation. Неудача может означать отсутствующий FEC, различную topology, неeligible interface, missing label, hardware fault или data-plane defect. Scope помогает сохранить эти варианты.

Аутентифицированный control plane всё ещё может устареть

RFC 5036 задаёт основу LDP, а RFC 5920 — MPLS security framework. Аутентификация важна: она показывает источник сообщения и защищает session. Но доверенный peer может иметь старую topology database или ошибку programming.

Провенанс control message нельзя превращать в истину data plane. Установленный label тоже не доказывает replication всех copies. История заканчивается только там, где counters и receivers подтверждают результат.

В подходе Хэна Лу Minimum Initial Specification даёт небольшой общий словарь tuple, revision, peer, interface, label и result. Reality layers не позволяют идентичности присвоить власть состояния. Running-code primacy возвращает последний голос реально реплицированной и принятой копии.

RFC 9658 позволяет PMSI назвать требуемое дерево без двусмысленности. Ответственность оператора — не называть это доставкой, пока каждый обязательный receiver не предъявил собственный след.

Sources