Wie kann man eine Race Condition in einem System erkennen?

Bedingung für einen Race (Race Condition) kann auf folgende Weisen erkannt werden:

• Statische Code-Analyse — Suche nach potenziell unsicheren Operationen mit gemeinsamen Ressourcen.
• Dynamische Tests mit hoher Konkurrenz — Ausführen mehrerer Goroutines oder Threads, die gleichzeitig auf gemeinsame Daten zugreifen.
• Verwendung von Tools zur Erkennung von Rennen — In Go gibt es einen eingebauten Race-Detector, der mit dem Flag -race ausgeführt wird:

go run -race main.go

Er hilft, Stellen zu identifizieren, an denen gleichzeitiger Zugriff auf den Speicher ohne angemessene Synchronisation erfolgt.

• Logging und Überwachung — Analyse von instabilem Verhalten und Fehlern, die auf Rennen hindeuten können.

Beispiel für die Verwendung des Race-Detectors:

package main
import (
    "fmt"
    "sync"
)

func main() {
    var wg sync.WaitGroup
    counter := 0
    wg.Add(2)
    go func() {
        defer wg.Done()
        counter++ // potenzielle Race-Bedingung
    }()
    go func() {
        defer wg.Done()
        counter++ // potenzielle Race-Bedingung
    }()
    wg.Wait()
    fmt.Println(counter)
}

Das Ausführen mit -race erkennt einen Race auf der Variablen counter.