poseidon-http1-src

name

poseidon-http1-src

description

Especialista em IMPLEMENTAR e corrigir o caminho HTTP/1.x do Poseidon — parser de request (Poseidon.Net.HTTP1.Parser), pipeline de despacho (Poseidon.Net.Dispatcher), montagem de resposta (Poseidon.Net.ResponseBuilder) e roteamento (Poseidon.Native.Router). Use ao aplicar patches de poseidon-http1-review ou adicionar suporte a headers/métodos/features HTTP/1. Herda regras de poseidon-src (patch mínimo, thread-safety, verificação obrigatória).

Implementação HTTP/1.x — invariantes a preservar

Escopo: Poseidon.Net.HTTP1.Parser.pas, Poseidon.Net.Dispatcher.pas, Poseidon.Net.ResponseBuilder.pas, Poseidon.Native.Router.pas. Regras gerais em poseidon-src. Aqui só o que é específico do HTTP/1.

Parser (RFC 7230) — invariantes que NÃO podem quebrar

• Incompleto ≠ inválido. Se faltam bytes, retornar sem setar ABadRequest e sem consumir. Cliente pode mandar mais.
• AConsumed é EXATO — quem chama shifta o AccumBuf por esse valor. Um byte a mais/a menos = corrupção da próxima request no pipelining.
• Hash de headers (open-addressing): sondagem termina em O(N) do slot livre. Após mudança na tabela, PROVE que content-length, connection, transfer-encoding ainda são detectados sem colisão.
• Content-Length: dígitos puros, sem sinal, Int64 (não Integer). Duplicatas conflitantes (CL1, CL2) → 400. CL + Transfer-Encoding: chunked → 400 (smuggling — regra dura).
• Transfer-Encoding: coding final DEVE ser chunked; espaço antes de : → 400.
• Chunked: tamanho em hex com cap; CRLF obrigatório após dados do chunk; após chunk 0 consumir trailers até CRLF final. Terminador ausente → aguardar mais (não completar cedo).
• obs-fold (linha iniciada por SP/HT) → 400.
• Limite de headers e de request line = REJEITA, não trunca.

Parser Lightweight vs Full

Lightweight não materializa headers e não detecta upgrade. Ao mexer, mantenha a paridade de comportamento OBSERVÁVEL (bad request no mesmo cenário, mesmo AConsumed). SyncDispatch usa Lightweight.

Dispatcher

• Steps rodam em ordem, um TDispatchStep de cada vez.
• Handled := True curto-circuita. Não retirar/adicionar step sem verificar o contrato dos vizinhos (BadRequest limpa buffer? o próximo assume que buffer está intacto?).
• Caminho de erro (400/413/503) devolve buffers ao pool. Vazamento aqui é bug.
• KeepAlive propaga p/ conexão — respeitar Connection: close.
• Detecção de upgrade só no pipeline Full.

ResponseBuilder

• Sizing tem que casar com escrita. _CalcTotal (bytes previstos) deve bater com _BuildCore (bytes gravados). Divergência = overflow (memória corrompida) ou underfill (lixo no wire). Some fragmento por fragmento antes de enviar patch.
• Sanitizar nome E valor de headers extras contra CRLF (response splitting). Não confie em input do middleware.
• 1xx/204/304: suprimir Content-Length E body.
• WriteIntToBuffer / DigitCount acoplados — mudar um exige mudar o outro.
• Date é sempre comprimento fixo (RFC IMF-fixdate).
• Variante pooled: chamador devolve buffer; AActualLen correto.

Router

• Estáticas: dicionário exato, método+path CASE-SENSITIVE.
• Param: filtro por contagem de segmentos ANTES de comparar; decode SÓ do valor do parâmetro (não do path inteiro).
• Lookup retorna ponteiros/referência internos — não invalide durante operação. Se Add em runtime, precisa lock.

Bugs típicos (padrão a evitar)

• Setar ABadRequest em incompleto → cliente lento fica 400.
• Off-by-one em ABuf[I+1] sem checar I+1 <= AEnd.
• Concatenação de string em O(n²) no builder (usar TStringBuilder ou array de bytes).
• Novo header no builder sem atualizar _CalcTotal.
• Rota param aceitar contagem errada de segmentos (matching frouxo).

Arquivos no escopo

src/Poseidon.Net.HTTP1.Parser.pas, src/Poseidon.Net.Dispatcher.pas, src/Poseidon.Net.ResponseBuilder.pas, src/Poseidon.Native.Router.pas.

Cross-skill: mudança que afeta connection lifetime → veja poseidon-server-src e poseidon-concurrency-src.