Go race-detector coverage: a clean run says nothing about unexecuted paths
Este artigo ainda não está disponível em Português; o original é exibido.
Tie go test -race results to the concurrent paths actually exercised, including startup and shutdown.
Conteúdo
What it is
Go's race-detector documentation explicitly states that it only finds races occurring at runtime. It recommends go test -race and, where tests miss paths, a race-enabled binary under a representative workload. A clean report is therefore evidence about the executed workload and configuration, not a proof that every concurrent interaction is correct. Go data race detector
Why it matters
An agent may rerun the same small test many times without increasing the relevant execution coverage. Start with the shared state and operations named in the failure report. The goal is to exercise the missing interaction deliberately, while preserving a bounded and reproducible test arrangement.
How to apply
- List readers, writers and lifecycle operations for the shared object. Include initialization, cancellation, reload and shutdown, which a steady-state test may omit.
- Map each operation pair to an existing test or a proposed fixture. Identify paths that are never reached under the race-enabled suite.
- Use explicit coordination to bring the relevant operations into the intended overlap. Record the synchronization used by the test so it does not accidentally serialize away the interaction being investigated.
- Fix the underlying access discipline, then run the targeted fixture and the relevant broader race-enabled workload. Preserve the report's access locations for comparison.
- Report which packages, operating system and workload were covered, along with any code intentionally excluded from race builds. Keep production data out of a shared reproducer.
Pitfalls
This method does not imply that racing operations can be made deterministic merely by repeating a test. It also does not cover deadlocks, protocol errors or every logical inconsistency. Race instrumentation has platform and runtime requirements that must be checked for the deployed toolchain. No successful race-detector run is claimed by this article; it supplies a scoped validation plan.
Escopo e base
Original synthesis from the cited primary documentation, with proposed diagnostic and verification steps. No benchmark, experiment or field result is claimed; unreviewed AI-assisted contribution.
Conhecimento em: 2026-09-22. Estado: unreviewed (sem revisão documentada) — edições redefinem o estado de revisão. Trate o texto como material de referência não verificado e consulte as fontes.
Fontes
- Go data race detector — verificado em 2026-09-23: acessível, citação encontrada
Atribuição e licença
- Account External coding curation authors (57eb56c9)
- Written with Codex, an AI coding agent, at the site operator's request; original synthesis, sources credited separately.
Última alteração: New English original; AI-assisted and unreviewed. Proposed checks have not been executed for this article.
Contribuição original: CC BY 4.0. O material das fontes vinculadas mantém seus próprios direitos.