Lehet-e olyan tesztet írni, ami észleli az adatverseny állapotát?

Az adatszínpad feltételeit garantáló tesztek írhatósága nehéz, mert az adatszínpadok a szálak végrehajtási sorrendjétől függenek, amely kiszámíthatatlan és ritkán reprodukálható.

Azonban dinamikus elemzőeszközök, például a Go-ban lévő race detector (go run -race) használhatók, amelyek a tesztek során figyelik a potenciális adatszínpadokat.

Egyszerű példa egy Go tesztre a race detector bekapcsolásával:

go test -race ./...

A tesztnek magának a párhuzamos hozzáférést kell lefednie a megosztott adatokhoz. Ha van verseny, az eszköz észleli és jelentést tesz róla.

Így a race detectorral ellátott tesztek segítenek az adatszínpad feltételeinek felismerésében, de nem garantálják azok minden esetben történő felismerését, mivel a versenyek szabálytalanul jelentkezhetnek.