Data race se javlja kada dva ili više goroutina-a pristupaju istoj memoriji istovremeno, najmanje jedan pristup je pisanje, i nema sinhronizacije između njih. Rezultat je nedodefinirano ponašanje — oštećeni podaci, rušenja ili pogrešni rezultati koji se pojavljuju povremeno. Go pruža ugrađeni race detector za pronalaženje tih problema.
// ❌ DATA RACE — multiple goroutines write the same variable without synchronization
func main() {
counter := 0
var wg sync.WaitGroup
for i := 0; i < 1000; i++ {
wg.Add(1)
go func() {
defer wg.Done()
counter++ // RACE: read-modify-write, multiple goroutines at once
}()
}
wg.Wait()
fmt.Println(counter) // often NOT 1000 — updates are lost due to the race
}
counter++ je read-modify-write (tri koraka). Kada se goroutine-i isprepliću, ažuriranja se prepisuju jedno drugo, pa je konačan broj nepredvidljiv. Rezultat varira između pokretanja — podla priroda race-a.
go run -race main.go # run with race detection enabled
go test -race ./... # run tests with the race detector (best practice in CI)
go build -race # build a race-detecting binary
The race detector reports each race it observes:
==================
WARNING: DATA RACE
Write at 0x... by goroutine 7: main.main.func1() main.go:12
Previous read at 0x... by goroutine 6: ...
==================
Race detector instrumentira pristupe memoriji tijekom izvršavanja i prikazuje točno gdje se race javlja (konfliktni pristupi i njihovi goroutine-i/linije). To je jedan od Goovih najvrjednijih alata — redovito pokretaj svoje testove s -race (posebno u CI-ju) kako bi uhvatio race-ove prije produkcije.
// Fix 1: protect with a mutex
var mu sync.Mutex
mu.Lock(); counter++; mu.Unlock()
// Fix 2: use atomic operations (lock-free, for simple values)
import "sync/atomic"
var counter int64
atomic.AddInt64(&counter, 1) // atomic — no race
// Fix 3: don't share — use channels to pass ownership
results := make(chan int)
// each goroutine sends its result; one goroutine aggregates
Ispravke su alati sinhronizacije: mutex za serializaciju pristupa, atomic operacije za jednostavne brojače, ili channels da se izbjegne dijeljenja memorije.
✗ NON-DETERMINISTIC — may work in testing, fail in production (timing-dependent)
✗ Hard to reproduce — depends on goroutine scheduling, load, hardware
✗ UNDEFINED behavior — not just wrong values; can corrupt data or crash
✗ Often invisible without the race detector — no error, just subtly wrong results
Data race-evi su među najopasnije i najtežim greškama za debugiranje u konkurentnom Go-u — a Gova dizajna teška na konkurentnost čini ih pravim rizikom.
Su podlo opasni jer su nedeterministički: kod s race-om može proći sve testove i dobro raditi pod laganim opterećenjem, a zatim neuspješno raditi povremeno u produkciji pod konkurentnim opterećenjem, stvarajući oštećene podatke, pogrešne rezultate ili rušenja koja su gotovo nemoguća za reprodukciju.
Razumijevanje precizne definicije (konkurentan pristup dijeljenom memorijom s najmanje jednim pisanjem i bez sinhronizacije), prepoznavanje da čak i nevina izgledajući kod kao counter++ ima race, i znanje ispravki (mutex, atomic, channels) je neophodno za pisanje ispravnog konkurentnog Go-a.
Kritično je što Go pruža ugrađeni race detector (-race) — neprocjenjiv alat — pokretanje testova s njim (idealno u CI-ju) hvata race-eve koji bi inače bili nevidljivi.
Savladavanje detektiranja i sprječavanja race-eva je temeljna vještina za production-grade konkurentni Go i jedan od najvažnijih naprednih tema u jeziku, jer je ispravnost konkurentnosti točno ono gdje Go programi najčešće ne uspijevaju.