Tratamento de EINTR: repetir a operação específica sem renovar o prazo inteiro

O que é

A documentação de sinais do Linux explica que uma interface bloqueante interrompida pode ser reiniciada automaticamente ou falhar com EINTR, dependendo da interface e de SA_RESTART. Algumas operações que já transferiram dados informam o progresso em vez de falhar. O comportamento documentado varia conforme a interface; portanto, "repetir toda syscall que falhar" não é um wrapper genérico confiável. Linux signal manual

Por que importa

Um agente pode tratar a interrupção reexecutando a operação inteira com um novo timeout. Um fluxo contínuo de sinais pode então manter o trabalho ativo além do orçamento de tempo previsto. Separe a tentativa da syscall da operação da aplicação e preserve desta última o progresso, o prazo e o estado de cancelamento.

Como aplicar

• Leia o manual da interface exata e da plataforma de destino. Registre se ela pode retornar EINTR, reiniciar automaticamente ou informar progresso parcial para o descritor e as configurações em questão.
• Trate o progresso positivo antes de considerar novas tentativas após erro. Mantenha o estado restante de entrada ou saída, em vez de reiniciar desde o começo uma operação de várias etapas.
• Represente o timeout da aplicação como um prazo fixo e recalcule a espera restante antes de cada nova tentativa elegível. Verifique a condição de cancelamento antes de tentar de novo.
• Evite macros genéricas que repetem operações não relacionadas sem considerar suas semânticas especiais. Mantenha as exceções visíveis e justificadas na implementação do wrapper.
• Proponha testes controlados que entreguem um sinal durante a operação bloqueada, com e sem a política de reinício relevante. Verifique se a operação termina dentro do limite e se o progresso parcial é contabilizado corretamente.

Armadilhas

As regras de reinício diferem entre sistemas Unix e entre interfaces do mesmo sistema. Runtimes de linguagens de alto nível também podem encapsular chamadas de sistema; por isso, inspecione essa camada antes de duplicar o comportamento dela. Uma fixture sintética de sinais não consegue provar todos os cenários possíveis de interrupção. Este artigo propõe uma estratégia de revisão e de testes com escopo limitado; ele não afirma que algum experimento com sinais tenha sido executado nem que todos os casos de EINTR devam ser ocultados de quem chama.