Ako identifikovať podmienku preteku (Race Condition) v systéme?

Podmienka preteku (Race Condition) je možné odhaliť nasledujúcimi spôsobmi:

• Statická analýza kódu — hľadanie potenciálne nebezpečných operácií so zdieľanými zdrojmi.
• Dynamické testovanie s vysokou konkurenciou — spustenie viacerých gorútin alebo vlákien, ktoré súčasne pristupujú ku zdieľaným dátam.
• Použitie nástrojov na odhalenie pretekov — v Go je zabudovaný detektor pretekov, ktorý sa spúšťa s príznakom -race:

go run -race main.go

Pomáha identifikovať miesta, kde dochádza ku súčasnému prístupu do pamäte bez vhodnej synchronizácie.

• Záznam a monitorovanie — analýza nestabilného správania a chýb, ktoré môžu naznačovať preteky.

Príklad použitia detektora pretekov:

package main
import (
    "fmt"
    "sync"
)

func main() {
    var wg sync.WaitGroup
    counter := 0
    wg.Add(2)
    go func() {
        defer wg.Done()
        counter++ // potenciálny pretek
    }()
    go func() {
        defer wg.Done()
        counter++ // potenciálny pretek
    }()
    wg.Wait()
    fmt.Println(counter)
}

Spustenie s -race odhalí pretek na premennej counter.