O que são corridas de threads e por que podem levar a erros numa aplicação multithread?

Condições de corrida (race conditions) ocorrem quando vários threads acessam simultaneamente um recurso compartilhado (por exemplo, uma variável ou objeto) e pelo menos um deles altera esse recurso.

O problema é que as operações de leitura e escrita não são atômicas, e sem sincronização, o resultado pode ser imprevisível. Isso leva a erros, por exemplo:

• Dados incorretos ou desatualizados.
• Violação da lógica do programa.
• Falhas e quedas na aplicação.

Exemplo: dois threads aumentam simultaneamente um contador. Se ambos lerem o valor 5, aumentarem para 6 e escreverem, o resultado final será 6 em vez de 7.

Para evitar condições de corrida, usam-se mecanismos de sincronização: bloqueios (mutex, lock), operações atômicas, variáveis volatile e outros meios que garantem acesso sequencial aos dados compartilhados.