Resumo

  • O ACK cumulativo prova que a fronteira de bytes recebidos avançou, mas não diz qual instância chegou quando o mesmo espaço de sequência foi retransmitido.
  • Karn exclui a amostra de RTT ambígua; o recuo exponencial mantém o RTO conservador até uma nova transmissão produzir evidência com origem definida.
  • TCP Timestamps pode distinguir instâncias em condições específicas, sem transformar todo eco em amostra válida ou o transporte em recibo da aplicação.

Um retorno para dois relógios de partida

O emissor manda os bytes 20.000 a 20.999 e inicia o temporizador. O prazo vence sem ACK, e os mesmos números de sequência saem outra vez. Em seguida, uma confirmação anuncia que o próximo byte esperado está além de 20.999.

Talvez o segmento original apenas tenha demorado. Nesse cenário, medir a partir da retransmissão cria um RTT curto demais. Talvez o original tenha se perdido e somente a segunda cópia tenha chegado. Medir desde o primeiro envio inclui toda a espera do timeout e cria um RTT longo demais.

Os três horários podem estar registrados com exatidão. Ainda falta a ligação que importa: qual partida pertence ao retorno? O ACK cumulativo descreve o estado do fluxo, não a identidade física do datagrama responsável.

Mesmo assim, a confirmação é válida para outras decisões. Ela permite avançar SND.UNA, liberar a fila reconhecida e continuar a transmissão dentro das janelas. Progresso de entrega e medição causal são permissões distintas. Karn preservou a primeira e negou a segunda enquanto faltava procedência.

Um temporizador adaptativo precisa escolher seus fatos

O RFC 793 já determinava que o timeout de retransmissão fosse dinâmico. A Internet reúne caminhos com latências diferentes e variáveis; um prazo fixo seria cedo demais em alguns e lento demais em outros. O texto propunha suavizar medições de ida e volta e derivar delas o tempo de espera.

Mas a adaptação só funciona se a entrada tiver significado estável. Depois de retransmitir, o momento do ACK não define sozinho o início do intervalo. Inserir toda resposta no estimador transforma uma dúvida de atribuição em um número aparentemente objetivo.

O erro pode se repetir. Se o original estava atrasado e o ACK é atribuído à cópia recente, o RTT fica artificialmente baixo. O próximo RTO expira mais cedo, gera retransmissões desnecessárias e aumenta o número de confirmações com duas causas possíveis. O medidor passa a produzir as condições que justificam sua própria pressa.

O RFC 1122 registrou que o cálculo sugerido no RFC 793 era inadequado. Tornou obrigatórios os algoritmos de Jacobson e Karn. Jacobson adiciona variação ao cálculo; Karn controla a admissão da amostra. Um responde como combinar valores, o outro se um valor tem direito de entrar.

Recusar a amostra sem negar o ACK

A regra de Karn é direta: não colher RTT de um segmento retransmitido. Com mais de uma instância cobrindo os mesmos bytes, o ACK comum não escolhe a origem. Selecionar o timestamp que produz a curva mais conveniente não recupera o identificador ausente.

O estado de recepção continua avançando. O TCP não ignora bytes reconhecidos, não mantém a fila artificialmente presa e não interrompe a conexão por causa da incerteza de tempo. Ele suspende apenas a atualização de SRTT e RTTVAR baseada naquele episódio.

Essa divisão mostra que uma evidência pode ser forte para uma finalidade e fraca para outra. Um anúncio de rota pode demonstrar visibilidade sem demonstrar autorização. Um registro pode demonstrar um valor atual sem reconstruir sua história. Um ACK demonstra a fronteira cumulativa sem demonstrar uma viagem individual.

Ficar sem amostra tem custo. O caminho talvez esteja mudando justamente durante os retries. Porém, preencher a lacuna com um intervalo contaminado não cria conhecimento; esconde a lacuna na média e transfere confiança indevida para decisões futuras.

O recuo guardou a incerteza no comportamento

O RFC 1122 também exigiu recuo exponencial para RTOs sucessivos. O RFC 2988 e seu sucessor, RFC 6298, formalizaram SRTT, RTTVAR e RTO. Quando o temporizador vence, o primeiro segmento não reconhecido é retransmitido e o RTO é dobrado.

O recuo reduz a agressividade diante de um caminho que parou de devolver feedback no prazo. Ao lado de Karn, faz algo ainda mais delimitado: impede que uma confirmação ambígua derrube imediatamente o valor conservador. Se a observação recente não mede o caminho, ela não pode declarar que a espera ampliada deixou de ser necessária.

O RTO pode voltar ao cálculo normal depois de uma nova amostra. Em geral, isso exige dados novos enviados e confirmados sem retransmissão. A saída do recuo é condicionada por evidência limpa, não apenas por alguns segundos sem falha.

RFC 6298 permite maior conservadorismo, mas proíbe maior agressividade. Um atraso excessivo prejudica principalmente a conexão. Um retry precoce acrescenta cópias a um recurso compartilhado no exato momento em que a ausência de resposta pode refletir carga ou mudança de caminho.

O RFC de 2011 também reduziu o RTO inicial geral de três para um segundo, com uma regra específica quando SYN ou seu ACK se perde. Números podem mudar com novos dados; a regra de não fabricar causalidade continua.

A confirmação pertence ao fluxo, não ao pacote

A ambiguidade decorre da abstração do TCP. Números de sequência localizam octetos. Uma retransmissão pode recortar a mesma sequência em segmentos diferentes. O receptor pode atrasar ACKs, reconhecer vários segmentos de uma vez e descartar duplicatas antes de entregar ao processo.

O ACK informa o próximo byte esperado. Não entrega a biografia de cada datagrama visto. Exigir essa atribuição aumentaria estado, formatos e obrigações do receptor. O protocolo manteve uma promessa comum pequena e deixou a seleção da amostra no emissor, que conhece seu histórico local de retransmissões.

Isso limita o que uma captura prova. Um ACK exibido imediatamente depois de uma retransmissão pode ter sido causado pelo original atrasado. Proximidade temporal sugere uma hipótese, não a confirma. Sem informação adicional corretamente negociada, a linha do tempo conserva mais de uma narrativa.

O mesmo ACK também não prova que o processo remoto leu os dados, que um arquivo foi persistido ou que uma transação concluiu. Cada camada responde pela fronteira que possui. Resultado de aplicação requer confirmação da entidade que realiza o resultado.

Timestamp devolveu uma etiqueta causal limitada

RFC 6298 admite uma exceção quando a opção TCP Timestamp remove a ambiguidade. O RFC 7323 descreve TSval nos segmentos e TSecr no tráfego de retorno. O eco permite relacionar a resposta ao valor associado à instância recebida.

Com a etiqueta, o emissor consegue distinguir o original da retransmissão para fins de tempo. A informação não veio do número cumulativo; veio do mecanismo opcional criado para carregar e ecoar identidade temporal dentro da conexão.

Ainda assim, transportar um timestamp não autoriza toda subtração. RFC 7323 separa RTTM da atualização de RTO. O retorno usado precisa avançar a borda esquerda da janela. ACK atrasado, buraco na sequência, reordenação e escolha de qual TSval ecoar alteram a validade da observação.

A quantidade de amostras também exige cuidado. Os pesos de RFC 6298 pressupõem aproximadamente uma medição por RTT. Atualizar a cada pacote com os mesmos coeficientes pode apagar rápido demais a história do caminho e favorecer retransmissões espúrias quando a latência varia em várias rodadas.

Timestamp não é relógio civil autenticado. Seu valor precisa crescer de modo aproximadamente proporcional ao tempo e volta por eco. Ele mede diferença local; não certifica identidade, sincronização global nem execução de trabalho pela aplicação.

A exigência negativa permaneceu no TCP atual

O RFC 9293, especificação-base atual do TCP, continua exigindo o cálculo do RFC 6298, inclusive Karn. Mantém o recuo exponencial entre os comportamentos fundamentais de estabilidade.

É uma regra duradoura porque sua razão não depende de velocidade, tamanho de janela ou produto. Duas transmissões do mesmo espaço de sequência e um ACK cumulativo não formam um intervalo causal único.

Mecanismos modernos podem acrescentar sinais e reduzir o tempo sem medição. Não transformam um intervalo de origem desconhecida em RTT verdadeiro. A necessidade de mostrar um valor atual não é evidência de que esse valor exista.

A divisão dos documentos também protege fronteiras. O TCP básico aponta para o RFC especializado do temporizador. O RTO se coordena com controle de congestionamento sem virar a própria janela de congestionamento. Timestamp fornece procedência de instância sem assumir autoridade sobre a aplicação.

Uma lacuna pode ser a medição mais honesta

Painéis gostam de séries contínuas. Bibliotecas gostam de uma única variável chamada RTT. Quando não há amostra admissível, repetir o último valor ou escolher o envio mais próximo parece prático.

Karn oferece um estado mais preciso: neste episódio de retransmissão, o RTT comum não é mensurável. A lacuna descreve qualidade de evidência. Preenchê-la com um número apaga a existência das duas causas possíveis.

Telemetria auditável deve preservar envio original, contador de retransmissão, RTO antes e depois do recuo, avanço do ACK, negociação Timestamp, TSecr efetivamente aceito e primeira amostra limpa posterior. Guardar apenas a média impede distinguir mudança real de caminho de associação inventada.

O desenho reúne três movimentos: aceitar o ACK como prova de progresso, rejeitá-lo como prova de RTT por instância e carregar a incerteza no recuo até nova observação. A robustez não está em extrair respostas de todo sinal; está em conservar como estado as perguntas que o sinal não respondeu.

Fontes e limites da evidência

RFC 793 fornece o temporizador adaptativo inicial. RFC 1122 documenta a insuficiência e exige Karn, Jacobson e recuo. RFC 2988 e RFC 6298 codificam o RTO e a exclusão de amostras ambíguas. RFC 7323 delimita a desambiguação por Timestamp. RFC 9293 preserva a regra no TCP moderno.

As fontes especificam protocolo, não medem uso atual, ativação de opções ou frequência de retries. Elas não autorizam atribuir todo timeout a congestionamento ou ataque, igualar RTO à janela de congestionamento, nem tratar RTT de transporte como recibo de uma operação superior.