Resumo

  • A RFC 9917 acrescenta às definições Flex-Algorithm de IS-IS e OSPF três restrições sobre Administrative Groups da aresta inversa: exclude, include-any e include-all.
  • Uma condição classificada pelo nó receptor pode retirar a aresta direta da topologia restrita; o corte comprova a execução de uma regra, não a falha física, a qualidade do limiar ou a mudança real dos pacotes.
  • A RFC cria um registro ordenado da IANA para regras de cálculo. Novas regras podem ser inseridas, mas a ordem relativa das existentes não pode mudar, e nenhuma regra estabelecida pode ser apagada, fundida ou repetida.

O contador está do outro lado

Uma conexão entre A e B parece simétrica no diagrama físico, mas o IGP a representa como duas arestas dirigidas. B mede erros de entrada em quadros recebidos de A. A decisão que precisa reagir, porém, pode ser impedir A de usar A→B. O local da observação e o objeto da política não coincidem.

A RFC 9917 oferece a ponte. O exemplo inclui erros CRC e outros erros de entrada contados durante um período. Uma política local associa a condição a um Extended Administrative Group em B→A; uma Flex-Algorithm Definition consulta esse grupo quando avalia A→B.

Essa ponte não padroniza o diagnóstico que a alimenta. A RFC não escolhe um contador universal, uma janela única, um limiar comum nem uma histerese obrigatória. A cor é a saída de uma classificação do operador. Para torná-la reproduzível, o registro deve preservar valor bruto, ponto de medição, janela, limites de ativação e limpeza, versão da política e horário. Sem isso, a cor demonstra intenção aplicada, não a causa física alegada.

Operadores de conjunto com efeito preciso

Exclude Reverse Administrative Group elimina o enlace quando qualquer grupo listado aparece na aresta inversa. Include-Any Reverse elimina quando nenhum aparece. Include-All Reverse elimina se faltar qualquer grupo exigido. A RFC define os sub-TLV correspondentes tanto para as FADs de IS-IS quanto para as de OSPF.

O tratamento do binário também limita a autoridade. Um sub-TLV de grupo inverso com comprimento inválido é ignorado por inteiro. Duplicações seguem regras definidas de primeira ocorrência ou rejeição da FAD, conforme o local. Assim, uma entrada ambígua não vira uma linguagem de política diferente em cada implementação.

Depois do corte, o resultado ainda é local. Cada roteador precisa receber uma versão do estado de enlaces, escolher a winning FAD conforme a RFC 9350, suportar suas restrições e executar as regras na ordem. Só então constrói a topologia restrita e calcula uma rota. Nada disso, isoladamente, prova que todos viram a mesma versão ao mesmo tempo, instalaram a mesma entrada ou encaminharam os mesmos pacotes.

A automação também pode fabricar churn

Se o contador oscilar perto de um único limiar, o grupo inverso pode entrar e sair repetidamente. Cada alteração pode gerar flooding de LSP ou LSA e novo cálculo de caminho. A RFC 9917 reconhece o risco, mostra limiares diferentes para ativar e limpar o atributo e lembra que o throttling normal de LSP/LSA pode limitar a frequência.

Histerese e throttling controlam instabilidade, não certificam realidade. Um limiar conservador de limpeza pode manter o enlace excluído depois da melhora; um limiar alto de ativação pode manter uma rota degradada elegível. A limitação de anúncios também prolonga o intervalo em que nós enxergam versões distintas. São escolhas locais legítimas, desde que permaneçam visíveis no relatório.

Uma cronologia defensável separa o instante em que a medição cruzou o limiar, a mudança local do EAG, a origem e recepção de cada LSP/LSA, o recálculo e a alteração da FIB. A observação de pacotes e o resultado do serviço têm seus próprios relógios. Fundir todos em um único “incidente” apaga os atrasos que explicam o comportamento.

A ordem das regras passou a ser infraestrutura

A RFC 9350 definiu a sequência básica do Flex-Algorithm; a RFC 9843 acrescentou restrições de banda e atraso. A RFC 9917 inclui as regras inversas e cria na IANA o registro “IGP Flex-Algorithm Path Computation Rules” para conservar a ordem total.

Uma regra futura pode entrar em qualquer posição, mas não pode alterar a ordem relativa das regras existentes. Regras estabelecidas não podem ser removidas, combinadas ou repetidas. Se duas implementações executarem os mesmos testes em ordens diferentes, elas podem produzir topologias elegíveis diferentes. A lista ordenada é, portanto, um piso comum mínimo para extensões futuras, não um catálogo decorativo.

O registro vivo mostra o contrato de coordenação atual. Não demonstra que um roteador específico implementa a regra, participa do algoritmo ou a executou sobre determinada base. Capacidade, configuração, estado recebido, traço de cálculo e FIB continuam sendo provas distintas.

A cadeia só termina no resultado observado

A explicação completa percorre contador bruto no receptor, janela e limiar, EAG inverso, versão de estado inundada, winning FAD, corte ordenado, topologia local, rota calculada, FIB instalada, pacotes observados e resultado do serviço. Cada seta representa uma decisão ou transferência que pode falhar separadamente.

Separar as camadas evita dois atalhos. Chamar a cor de “mero metadado” ignora que ela pode retirar legitimamente uma aresta segundo a política comum. Chamar a mesma cor de “falha direta comprovada” ignora medição, convergência e encaminhamento. A contribuição da RFC 9917 é dar força computacional determinística ao metadado sem fingir que ele contém toda a realidade.

Fontes