Detecção de Corrida do Go: Um Ponto Cego de Mutex

O detector de corrida do Go tem um ponto cego ao lidar com mutexes. Um exemplo demonstra como duas goroutines usando um mutex para proteger um contador compartilhado, com uma realizando um incremento adicional fora da trava. Mesmo que uma corrida de dados seja possível, o detector do Go pode perdê-la porque depende da ordem de aquisição da trava, que é imprevisível em tempo de execução. Embora o detector de corrida do Go seja uma ferramenta de primeira linha, este exemplo destaca que condições de corrida ainda podem existir mesmo quando o detector relata nenhuma corrida.