为什么我的 Go 例程由于内存重新排序而打印出意外的值？

Go Routine 问题：同步不正确

您在 GoLang 中遇到的问题源于其内存模型。根据文档，在单个 Goroutine 中，只要不影响该 Goroutine 内的行为，就可以重新排序读取和写入。

考虑以下代码：

var a, b int

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

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

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

Due对于内存模型的重新排序，您可能会观察到 g() 打印 2，然后打印 0。即使在 f() 中 a 的赋值出现在 b 之前，出于效率原因，编译器可能会通过首先分配 b 来优化代码。

在同一个 Goroutine 中，分配的顺序是保证的，因为如果会导致问题，编译器无法对它们重新排序。然而，在给定的示例中，两个 goroutine 之间没有同步。因此，编译器不需要考虑重新排序对其他 goroutine 的潜在影响。

如果在 goroutine 之间引入同步，例如 WaitGroup 或互斥体，编译器将确保不存在不一致在同步点。在这种情况下，您会期望 g() 打印 2 和 1，因为这两个赋值都将在 print() 调用之前完成。

理解 GoLang 内存模型的这一方面对于编写并发程序和避免潜在的竞争条件或因意外重新排序而可能出现的其他问题。

以上是为什么我的 Go 例程由于内存重新排序而打印出意外的值？的详细内容。更多信息请关注PHP中文网其他相关文章！