Kuidas tuvastada võistluse tingimust (Race Condition) süsteemis?

Võistluse tingimus (Race Condition) võib tuvastada järgmiste meetoditega:

• Statiline koodi analüüs — potentsiaalselt ohtlike operatsioonide otsimine ühiste ressurssidega.
• Dünaamilised testid kõrge konkurentsiga — käivitada mitu gorutini või niiti, mis samaaegselt pääsevad ühistele andmetele.
• Tööriistade kasutamine võistluste avastamiseks — Go-s on sisseehitatud võistluste detektor, mis käivitatakse lipuga -race:

go run -race main.go

See aitab tuvastada kohti, kus toimub samaaegne juurdepääs mälu ilma sobiva sünkroniseerimiseta.

• Logimine ja jälgimine — ebastabiilse käitumise ja vigade analüüs, mis võivad viidata võistlustele.

Näide võistluste detektori kasutamisest:

package main
import (
    "fmt"
    "sync"
)

func main() {
    var wg sync.WaitGroup
    counter := 0
    wg.Add(2)
    go func() {
        defer wg.Done()
        counter++ // potentsiaalne võistlus
    }()
    go func() {
        defer wg.Done()
        counter++ // potentsiaalne võistlus
    }()
    wg.Wait()
    fmt.Println(counter)
}

Käivitatuna -race näitab võistlust muutuja counter puhul.