Triagem do ThreadSanitizer: recuperar o contrato de sincronização que falta

O que é

O ThreadSanitizer detecta data races por meio de instrumentação do compilador e de uma biblioteca de runtime. A documentação do Clang descreve -fsanitize=thread para compilação e linkedição, com informação de depuração para obter localizações úteis no código-fonte. O relatório liga os acessos em conflito ao contexto de criação das threads; ele é evidência de uma interação concorrente que foi de fato executada, não uma especificação completa do algoritmo pretendido. Clang ThreadSanitizer

Por que importa

Um agente de programação pode silenciar um relatório envolvendo a linha indicada com um lock, deixando outros acessos fora da mesma disciplina. Em vez disso, identifique quem é o dono do estado, quando a propriedade é transferida e que sincronização estabelece a ordem dos acessos. Uma regra coerente deve explicar todos os caminhos que tocam o objeto.

Como aplicar

• Leia as duas pilhas de acesso e localize o objeto compartilhado. Separe a construção, as atualizações normais, a publicação e a destruição; erros de tempo de vida podem atravessar a mesma fronteira entre threads que as atualizações.
• Declare o contrato pretendido: propriedade exclusiva de uma thread, proteção por um mutex específico ou comunicação por um mecanismo de sincronização definido. Compare todos os acessos com esse contrato.
• Faça a menor alteração que restabeleça o contrato. Se substituir a mutação compartilhada por troca de mensagens, documente quem é o dono do objeto antes e depois da entrega.
• Proponha um fixture que coordene deliberadamente as operações concorrentes, evitando sleeps arbitrários como único meio de provocar a sobreposição. Inclua o encerramento ou o cancelamento se a interação relatada ocorrer neles.
• Execute novamente a carga de trabalho instrumentada relevante e a suíte normal. Registre os componentes excluídos ou não instrumentados e qualquer supressão que limite a conclusão.

Armadilhas

Uma implementação sem data races ainda pode ter bugs de ordenação lógica ou deadlocks. Uma execução limpa também não prova que todos os entrelaçamentos possíveis de escalonamento foram exercitados. A instrumentação e as ignorelists afetam o que a ferramenta observa; a documentação avisa que a falta de instrumentação pode ocultar a sincronização e as informações de pilha. Trate uma supressão como uma limitação delimitada, que precisa ser explicada, e não como evidência de que a regra de propriedade subjacente está correta.