Кратко

  • RFC 9566 переносит последовательность DetNet в Control Word для MPLS-over-UDP/IP, позволяя сервисным узлам репликацию, устранение дубликатов и восстановление порядка.
  • Ровный ряд после срабатывания таймера доказывает решение конкретной функции, но не отсутствие запоздавшей копии, независимость путей или соблюдение срока приложением.
  • Проверяемая эксплуатация должна раздельно хранить эпоху конфигурации, путь и время каждой копии, состояние окна устранения, решение упорядочивания и наблюдаемый результат приложения.

У функции упорядочивания есть практический предел терпения. Если после пакета 18 приходит 20, она помещает его в буфер и ждёт 19. Когда истекает POFMaxDelay, ожидание превращается в решение: последующие пакеты можно выпустить. Это решение необходимо для ограниченной задержки. Оно не превращает таймер в датчик истины о том, что 19 больше нигде нет.

RFC 9566 добавляет Packet Replication, Elimination and Ordering Functions — PREOF — в плоскость данных DetNet IP, повторно используя сервисный подслой MPLS поверх UDP/IP. DetNet Control Word несёт последовательность, S-Label — локальный для приёмника Service-ID, а UDP/IP-туннель обеспечивает пересылку. Нулевые F-Label позволяют пользоваться нужными полями MPLS без обязательной плоскости коммутации MPLS.

Service-ID не является глобальным паспортом прикладного пакета. Его задаёт принимающая сторона; он может изменяться в ретрансляторе и различаться у потоков-членов после репликации. Адреса, UDP-порты, Flow Label, DSCP и другие селекторы привязывают пакет к настроенному контексту, но не подтверждают намерение отправителя, фактическое резервирование ресурса или реальный маршрут.

Копии ещё не означают независимые пути

Архитектура стремится отправлять копии по максимально непересекающимся путям. Однако визуально разные туннели могут делить волокно, питание, очередь, часы, домен отказа, агрегирующий туннель или ошибку контроллера. RFC 9566 отдельно отмечает: несколько потоков DetNet, агрегированных в одном UDP-туннеле, идут одним путём.

Поэтому счётчик «создано три копии» не подтверждает три независимых исхода. Нужны эпоха конфигурации, идентификаторы потоков-членов, реально наблюдавшиеся пути, общие риски и временные метки отправки и прихода каждой копии.

Устранение дубликатов выносит местный вердикт

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

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

RFC 9550 точно ограничивает полномочия POF: функция обеспечивает порядок в пределах задержки потока DetNet и не добавляет надёжности. Если предшественника нет, POF ждёт его либо истечения POFMaxDelay. Срабатывание таймера — инженерная граница выпуска, а не доказательство несуществования.

POF предполагает, что PEF уже убрала дубликаты, а разность задержек реплицированных путей известна и ограничена. Нарушение предпосылок создаёт поздние дубликаты, новый беспорядок или дополнительное ожидание. Сброс и инициализация образуют границу эпохи. Условная буферизация также способна усилить пакетные всплески, оставляя регулирование и сглаживание другой функции.

Следовательно, доказательная цепочка включает селектор и Service-ID, исходную нумерацию, каждый поток-член, путь и очередь, окно PEF, принятую и отброшенные копии, буфер и таймер POF, время выхода, полноту и срок приложения. Стандарт определяет совместимый механизм. Только соединённые наблюдения показывают, возник ли обещанный сервис на практике.