Adakah ini syarat perlumbaan di Go?

editor php Apple akan menjawab soalan biasa untuk anda dalam artikel ini: "Adakah ini keadaan perlumbaan dalam Go?" Apabila menulis program serentak, keadaan perlumbaan adalah masalah biasa yang boleh menyebabkan ketidakkonsistenan Data dan keputusan lain yang tidak dijangka. Dalam bahasa Go, kita boleh menggunakan mekanisme seperti kunci mutex dan saluran untuk mengelakkan keadaan perlumbaan. Mari kita bincangkan bersama!

Isi soalan

func main() {
    m := map[string]int{
        "foo": 42,
        "bar": 1337,
    }

    go func() {
        time.Sleep(1 * time.Second)
        tmp := map[string]int{
            "foo": 44,
            "bar": 1339,
        }

        m = tmp
    }()

    for {
        val := m["foo"]
        fmt.Println(val)
    }
}

Saya melihat ini dalam banyak beg.

Mengapa ini tidak dianggap sebagai syarat perlumbaan?

go run -race . Tiada ralat.

Penyelesaian

Seperti yang @volker nyatakan, ini adalah perlumbaan data. Dan kerana ia hanya ditulis sekali, ia sukar untuk dikesan. Berikut ialah demo yang diubah suai yang boleh mencetuskan ralat perlumbaan data dengan mudah:

package main

import (
    "fmt"
    "time"
)

func main() {
    m := map[string]int{
        "foo": 42,
        "bar": 1337,
    }

    done := make(chan any)

    go func() {
        for i := 0; i < 100; i++ {
            time.Sleep(time.Microsecond)
            tmp := map[string]int{
                "foo": 44,
                "bar": 1339,
            }

            m = tmp
        }

        close(done)
    }()

    for {
        select {
        case <-done:
            return
        default:
            val := m["foo"]
            fmt.Println(val)
        }
    }
}

Atas ialah kandungan terperinci Adakah ini syarat perlumbaan di Go?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!