Resumo

  • O receptor QUIC só pode confirmar um pacote depois de remover sua proteção e processar todos os quadros.
  • Para um quadro STREAM, processar é colocar os dados na fila para recebimento pela aplicação, não entregá-los nem consumi-los.
  • Alegações de entrega ou conclusão exigem um recibo da aplicação ligado aos pacotes, offsets e retransmissões.

O painel fica verde assim que o pacote que transporta uma solicitação aparece em uma faixa ACK. Se ele for o pacote que provoca ACK, recém-confirmado e escolhido para medição, pode fornecer uma amostra de RTT; a confirmação também interrompe a retransmissão da informação já confirmada que ele transportava. Mesmo assim, o processo receptor está bloqueado antes da leitura: nenhum dado foi interpretado, gravado ou convertido em ação. Um recibo de transporte foi promovido, sem justificativa, a resultado da aplicação.

A fronteira exata está na seção 13.1 da RFC 9000. O receptor não deve confirmar um pacote antes de remover com sucesso a proteção e processar todos os quadros. Em STREAM, “processado” significa que os dados foram enfileirados para futura recepção pelo protocolo de aplicação. Não é necessário que a aplicação os tenha recebido ou consumido. O ACK é uma forte evidência do processamento QUIC, mas termina antes do consumo.

O objeto confirmado também importa. A seção 19.3 descreve faixas de números de pacotes recebidos e processados no mesmo espaço de numeração. Esses números identificam pacotes protegidos, não mensagens de negócio. Um pacote pode conter vários tipos de quadro e uma mensagem pode atravessar muitos quadros STREAM.

O modelo de fluxo explicita a diferença. A seção 2.2 oferece uma sequência ordenada de bytes e afirma que limites de quadros STREAM não são preservados na transmissão, retransmissão ou entrega. A seção 3.2 separa Data Recvd, quando todos os dados chegaram, de Data Read, alcançado quando a aplicação leu todos os dados. A chegada completa ao transporte, o início da recepção pela aplicação e o fim da leitura são transições distintas.

A visibilidade dos ACKs também não forma um livro-caixa de um recibo por pacote. Segundo a seção 13.2, pacotes que provocam ACK devem ser confirmados dentro do atraso máximo anunciado, conforme as regras do protocolo; os demais podem aguardar tráfego posterior. Um quadro ACK pode se perder e faixas antigas podem ser omitidas. Portanto, a ausência de um ACK visível para o emissor não comprova imediatamente a falta de processamento.

A retransmissão muda ainda mais a identidade. A seção 13.3 retransmite informações, não o pacote perdido inteiro. Os mesmos offsets STREAM podem reaparecer em outro quadro e outro número de pacote. A retransmissão da informação já confirmada geralmente cessa quando um pacote que a transporta é confirmado. Para falar dos bytes, é preciso ligar a faixa ACK aos quadros, ao ID do fluxo, ao offset, ao comprimento, ao FIN e à linhagem de retransmissão. Mesmo assim, a prova alcança somente a fila de transporte.

Os algoritmos de recuperação preservam esse escopo. A RFC 9002 §5.1 forma uma amostra de RTT com o maior pacote recém-confirmado que provoca ACK, tratando ACK Delay pelas regras aplicáveis. Ela mede o caminho de retorno do transporte, não o tempo de serviço da aplicação. A RFC 9002 §6.1 usa confirmações posteriores e limites de pacote e tempo para inferir perdas, tolerando reordenação. O silêncio não é perda instantânea e o ACK não é sucesso aplicativo.

A evidência útil forma uma escada. Primeiro, conexão, espaço de numeração, pacote, horários de envio e ACK, ACK Delay e quadros. Depois, STREAM ID, offsets, comprimentos, FIN, perda declarada e retransmissões. Em seguida, o enfileiramento no receptor e a leitura ou chamada de retorno do processo. Por fim, ID da mensagem ou transação, aceitação do protocolo, confirmação de gravação durável, efeito observado e resposta.

Cada degrau permite uma frase diferente: o par processou o pacote; os bytes chegaram à fila QUIC; o processo os leu; a aplicação aceitou a mensagem; a operação foi concluída de forma durável. Um indicador único não pode substituir esses fatos.

A separação também define quem pode autorizar uma nova tentativa. Tratar o ACK como conclusão pode abandonar trabalho preso na fila. Tratar a ausência visível como falha imediata pode duplicar uma operação já processada. Somente a camada que conhece a identidade e a idempotência da operação pode decidir pela repetição segura.

O recibo do QUIC é forte justamente porque sua alegação é estreita. A prova da aplicação precisa vir da própria aplicação.