Чӣ гуна метавон шарти бози (Race Condition) дар системаро муайян кард?

Шарти бози (Race Condition) қуйидаги усуллар билан аниқланиши мумкин:

• Статик код таҳлили — умумий ресурслар билан потенциал хавфли операцияларни қидириш.
• Динамик тестлар юқори рақобат билан — бир вақтнинг ўзида умумий маълумотларга мурожаат қилаётган бир нечта горутин ёки тўрларни ишга тушириш.
• Рақобатларни аниқлаш учун воситалардан фойдаланиш — Goда ўрнатилган рақобат детектори мавжуд бўлиб, -race флаги билан ишга туширилади:

go run -race main.go

Бу жойларда ёдгорликка бир вақтда киришлар синхронлаштирилмаган ҳолларда аниқланади.

• Логлаш ва мониторинг — ностаб хулқ-атворлар ва хатоларни таҳлил қилиш, улар рақобатларни кўрсатиши мумкин.

Рақобатларни аниқлаш учун мисол:

package main
import (
    "fmt"
    "sync"
)

func main() {
    var wg sync.WaitGroup
    counter := 0
    wg.Add(2)
    go func() {
        defer wg.Done()
        counter++ // потенциал рақобат
    }()
    go func() {
        defer wg.Done()
        counter++ // потенциал рақобат
    }()
    wg.Wait()
    fmt.Println(counter)
}

-race билан ишга тушириш counter ўзгарувчида рақобатни аниқлайди.