Peut-on écrire un test qui détecte une condition de course de données ?

Les tests garantissant la détection des conditions de course de données sont difficiles à écrire, car les courses de données dépendent de l’ordre précis d’exécution des threads, qui peut être imprévisible et rarement reproductible.

Cependant, il est possible d’utiliser des outils d’analyse dynamique, comme le détecteur de course dans Go (go run -race), qui surveille pendant l’exécution des tests les courses de données potentielles.

Exemple d’un test simple en Go avec le détecteur de course activé :

go test -race ./...

Le test lui-même doit couvrir l’accès parallèle aux données partagées. Si une course existe, l’outil la détectera et la signalera.

Ainsi, les tests avec le détecteur de course aident à identifier les conditions de course de données, mais ne garantissent pas leur détection dans tous les cas, car les courses peuvent apparaître de manière irrégulière.