为什么 Go 的内存模型允许并发 Goroutine 中出现意外输出？

Go Lang 中的不正确同步

Go 内存模型规定，在单个 goroutine 中，读取和写入的行为必须像在程序指定的顺序。然而，当使用多个 goroutine 时，会出现一种奇怪的行为，如以下代码所示：

var a, b int

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

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

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

根据文档，代码有可能先打印“2”，然后打印“0”，而不是预期的“1”和“2”。为什么会发生这种情况？

尽管在代码中看起来是连续的，但在 f goroutine 中对 a 和 b 的赋值可能会乱序。由于 Goroutine 不会使用赋值后的变量，因此编译器可以通过重新排序来优化。

但是 f 和 g goroutine 之间缺乏同步，意味着编译器无法确保打印时的一致性。因此，当两个赋值发生在同一个 goroutine 中时，b 的值可以先于 a 被观察到。

为了确保正确性，goroutine 之间需要同步。在同步点，编译器将保证两个赋值都已完成。例如，如果在打印调用之前放置同步点，则新值（2 和 1）将被正确打印，从而防止错误行为。

以上是为什么 Go 的内存模型允许并发 Goroutine 中出现意外输出？的详细内容。更多信息请关注PHP中文网其他相关文章！