Ένα data race (race condition) συμβαίνει όταν δύο ή περισσότερα goroutines προσπελαύνουν την ίδια μνήμη ταυτόχρονα, τουλάχιστον μία προσπέλαση είναι εγγραφή, και δεν υπάρχει συγχρονισμός μεταξύ τους. Το αποτέλεσμα είναι απροσδιόριστη συμπεριφορά — κατεστραμμένα δεδομένα, κατάρρευση ή λάθος αποτελέσματα που εμφανίζονται ευκαιριακά. Η Go παρέχει έναν ενσωματωμένο race detector για να τα βρει.
// ❌ 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++ είναι read-modify-write (τρία βήματα). Όταν τα goroutines διαπλέκονται, οι ενημερώσεις αντικαθιστούν η μια την άλλη, επομένως το τελικό μέτρημα είναι απρόβλεπτο. Το αποτέλεσμα διαφέρει μεταξύ εκτελέσεων — η δύσμαχη φύση των races.
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 χρησιμοποιεί εργαλεία για τις προσπελάσεις μνήμης κατά την εκτέλεση και αναφέρει ακριβώς που συμβαίνει ένα race (οι συγκρουόμενες προσπελάσεις και τα goroutines/γραμμές τους). Είναι ένα από τα πιο πολύτιμα εργαλεία της Go — εκτέλεσε τα tests σου με -race τακτικά (ειδικά στο CI) για να πιάσεις races πριν την παραγωγή.
// 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
Οι διορθώσεις είναι τα εργαλεία συγχρονισμού: ένα mutex για να σειριοποιήσεις την προσπέλαση, atomic πράξεις για απλούς μετρητές, ή channels για να αποφύγεις εντελώς την κοινή χρήση μνήμης.
✗ 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 races είναι μεταξύ των πιο επικίνδυνων και δυσκολότερων προς αποσφαλμάτωση bugs στο concurrent Go — και το σχεδιασμό της Go με έμφαση στην ταυτοχρονία καθιστά τα ένας πραγματικός κίνδυνος.
Είναι δύσμαχα επειδή είναι μη-ντετερμινιστικά: ο κώδικας με ένα race μπορεί να περάσει όλα τα tests και να λειτουργήσει καλά υπό ελαφριά φόρτιση, στη συνέχεια να αποτύχει ευκαιριακά στην παραγωγή υπό ταυτόχρονη φόρτιση, παράγοντας κατεστραμμένα δεδομένα, λάθη αποτελέσματα ή κατάρρευση που είναι σχεδόν αδύνατο να αναπαραχθεί.
Η κατανόηση του ακριβούς ορισμού (ταυτόχρονη προσπέλαση σε κοινή μνήμη με τουλάχιστον μια εγγραφή και χωρίς συγχρονισμό), η αναγνώριση ότι ακόμη και αθώος κώδικας όπως counter++ έχει race, και η γνώση των διορθώσεων (mutex, atomic, channels) είναι απαραίτητη για τη σύνταξη σωστού concurrent Go.
Κριτικά, ο ενσωματωμένος race detector της Go (-race) είναι το απαραίτητο εργαλείο — η εκτέλεση tests με αυτό (ιδανικά στο CI) πιάνει races που διαφορετικά είναι αόρατα.
Η κατάκτηση της ανίχνευσης και της πρόληψης races είναι μια θεμελιώδης δεξιότητα για το production-grade concurrent Go και ένα από τα πιο σημαντικά προχωρημένα θέματα της γλώσσας, καθώς η ορθότητα της ταυτοχρονίας είναι ακριβώς εκεί που τα προγράμματα Go αποτυγχάνουν πιο συχνά.