Mengapa Model Memori Go Membenarkan Output Tidak Dijangka dalam Goroutine Serentak?

Penyegerakan Salah dalam Go Lang

Model memori Go menentukan bahawa dalam satu goroutine, membaca dan menulis mesti berkelakuan seolah-olah ia dilaksanakan dalam perintah yang ditentukan oleh program. Walau bagaimanapun, tingkah laku pelik berlaku apabila menggunakan berbilang goroutin, seperti yang ditunjukkan oleh kod berikut:

var a, b int

func f() {
    a = 1
    b = 2
}

func g() {
    print(b)
    print(a)
}

func main() {
    go f()
    g()
}

Menurut dokumen, kod mungkin mencetak "2" dahulu dan kemudian "0" dan bukannya jangkaan "1" dan "2." Mengapakah ini berlaku?

Walaupun muncul secara berurutan dalam kod, tugasan kepada a dan b boleh berlaku tidak teratur dalam f goroutine. Memandangkan goroutine tidak menggunakan pembolehubah selepas tugasan, pengkompil boleh mengoptimumkan dengan menyusun semula mereka.

Walau bagaimanapun, kekurangan penyegerakan antara goroutine f dan g bermakna pengkompil tidak memastikan konsistensi pada masa pencetakan. Akibatnya, nilai b boleh diperhatikan sebelum a apabila kedua-dua tugasan berlaku dalam goroutine yang sama.

Untuk memastikan ketepatan, penyegerakan antara goroutine diperlukan. Pada titik penyegerakan, pengkompil akan menjamin bahawa kedua-dua tugasan telah selesai. Contohnya, jika titik penyegerakan diletakkan sebelum panggilan cetak, nilai baharu (2 dan 1) akan dicetak dengan betul, menghalang kelakuan yang salah.

Atas ialah kandungan terperinci Mengapa Model Memori Go Membenarkan Output Tidak Dijangka dalam Goroutine Serentak?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!