Kaip galima nustatyti lenktynių sąlygą (Race Condition) sistemoje?

Lenktynių sąlyga (Race Condition) gali būti nustatyta šiais būdais:

• Statinė kodo analizė — potencialiai nesaugios operacijos su bendrais ištekliais paieška.
• Dinaminiai testai su dideliu konkurencingumu — kelių gorutinų ar sriegių paleidimas, kurie vienu metu prieina prie bendrų duomenų.
• Naudojant įrankius lenktynių aptikimui — Go turi įmontuotą lenktynių detektorių, kuris paleidžiamas su -race vėliava:

go run -race main.go

Tai padeda nustatyti vietas, kur vyksta vienalaikis prieigos prie atminties veiksmas be tinkamos sinchronizacijos.

• Žurnalo įrašymas ir stebėsena — nestabilaus elgesio ir klaidų analizė, kurios gali rodyti lenktynes.

Pavyzdys, kaip naudoti lenktynių detektorių:

package main
import (
    "fmt"
    "sync"
)

func main() {
    var wg sync.WaitGroup
    counter := 0
    wg.Add(2)
    go func() {
        defer wg.Done()
        counter++ // potenciali lenktynė
    }()
    go func() {
        defer wg.Done()
        counter++ // potenciali lenktynė
    }()
    wg.Wait()
    fmt.Println(counter)
}

Vykdant su -race bus aptikta lenktynė su counter kintamuoju.