É possível escrever um teste que detecte uma condição de corrida de dados?

Testes que garantem a detecção de condições de corrida de dados são difíceis de escrever, porque as corridas de dados dependem da ordem específica de execução dos threads, que pode ser imprevisível e raramente reproduzível.

No entanto, podem ser utilizados ferramentas de análise dinâmica, como o detector de corrida em Go (go run -race), que durante a execução dos testes monitora possíveis corridas de dados.

Exemplo de um teste simples em Go com o detector de corrida ativado:

go test -race ./...

O próprio teste deve cobrir o acesso paralelo a dados compartilhados. Se houver uma corrida, a ferramenta a detectará e reportará.

Assim, testes com detector de corrida ajudam a identificar condições de corrida de dados, mas não garantem sua detecção em todos os casos, pois as corridas podem se manifestar de forma irregular.