Resumo

  • O RFC 9566 transporta a sequência DetNet no Control Word de MPLS sobre UDP/IP e permite replicação, eliminação de duplicatas e ordenação no nível de serviço.
  • Quando o temporizador libera uma sequência limpa, ele comprova uma decisão operacional naquele ponto, não que o pacote ausente deixou de existir ou que os caminhos eram independentes.
  • Uma prova auditável deve separar época de configuração, trajeto e horário de cada cópia, estado da janela de eliminação, decisão de ordenação e resultado observado pela aplicação.

Imagine três cópias do mesmo pacote. A primeira chega cedo e é aceita. A segunda aparece logo depois e desaparece como duplicata. A terceira fica presa em um caminho lento. Mais adiante, o ordenador espera um número anterior; ao vencer POFMaxDelay, libera o que estava no buffer. Para quem observa apenas a saída, o serviço parece ter entregue uma sequência disciplinada. O que ficou invisível é justamente o que decide se houve resiliência real.

RFC 9566 leva Packet Replication, Elimination and Ordering Functions — PREOF — ao plano de dados DetNet IP, reutilizando a subcamada de serviço MPLS sobre UDP/IP. O DetNet Control Word contém a sequência; o S-Label carrega um Service-ID local ao receptor; o túnel UDP/IP fornece o transporte. F-Labels iguais a zero permitem empregar esses campos sem exigir um plano de encaminhamento MPLS.

Esse arranjo não cria um identificador universal. O Service-ID é escolhido pelo receptor, pode mudar em um relay e pode ser diferente entre fluxos-membro gerados pela replicação. Endereços, portas UDP, Flow Label, DSCP e outros seletores associam o pacote a um contexto configurado. Eles não provam a intenção da origem, a reserva efetiva de recursos ou o caminho percorrido.

Replicar não demonstra independência

A arquitetura procura caminhos maximamente disjuntos, mas dois túneis visualmente separados podem compartilhar fibra, energia, fila, relógio, domínio de falha ou erro do controlador. O próprio RFC observa que fluxos DetNet agregados no mesmo túnel UDP seguem o mesmo caminho.

Por isso, um contador de três réplicas não é um recibo de três destinos de falha distintos. A prova precisa unir a época da configuração, os fluxos-membro, os caminhos realmente observados, os riscos compartilhados e os horários de saída e chegada de cada cópia.

Eliminar é classificar uma chegada localmente

A função de eliminação usa a sequência e uma janela de histórico para decidir se uma chegada é nova, repetida, tardia ou está fora do estado retido. Uma lacuna pode ser perda, atraso, erro de seleção, reset, expiração da janela, filtragem ou uma cópia que nunca entrou no fluxo esperado.

A cópia sobrevivente foi aceitável para aquela função naquele instante. Isso não significa que tinha a melhor margem de latência nem que era a única ainda em trânsito. Apagar a cópia posterior impede a entrega duplicada; não transforma a primeira chegada no relato completo de todos os caminhos.

RFC 9550 limita com precisão a função de ordenação: POF fornece ordem dentro do limite de latência do fluxo DetNet e não acrescenta confiabilidade. Ao faltar um predecessor, a função espera sua chegada ou o fim de POFMaxDelay. O fim do tempo é uma fronteira de decisão, não uma prova de inexistência.

POF pressupõe que PEF já removeu duplicatas e que a diferença máxima de atraso entre os caminhos é conhecida. Uma cópia além desse limite, um reset ou uma inicialização pode reintroduzir desordem ou espera. A liberação condicional também pode concentrar pacotes e aumentar rajadas, deixando regulação e de-jitter para outras funções.

O histórico verificável, portanto, atravessa várias camadas: seletor e Service-ID; sequência na origem; cada fluxo-membro; caminho e fila; estado da janela PEF; cópia aceita e cópias descartadas; buffer e relógio POF; horário de saída; integridade e prazo na aplicação. O padrão autoriza mecanismos interoperáveis. Só observações conectadas demonstram que o efeito prometido apareceu em operação.