go lang中的同步不正确

哈喽！大家好，很高兴又见面了，我是golang学习网的一名作者，今天由我给大家带来一篇《go lang中的同步不正确》，本文主要会讲到golang等等知识点，希望大家一起学习进步，也欢迎大家关注、点赞、收藏、转发! 下面就一起来看看吧！

问题内容

当我查看 golang 内存模型文档（链接）时，我发现 go lang 有一个奇怪的行为。该文档说，下面的代码可能会发生 g 打印 2 然后 0。

var a, b int

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

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

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

这只是常规问题吗？因为我很好奇为什么变量'b'的赋值可以在'a'之前发生？即使'a'和'b的值分配会发生在不同的线程中（而不是在主线程中），是否必须确保'a'应该在它自己的线程中的'b'之前分配？（因为分配' a'先出现，'b'后出现）谁能清楚地告诉我这个问题？

正确答案

在任何函数开始执行之前，变量a和b被分配并使用它们各自类型的零值（0在 的情况下）初始化，在这一行：int

var a, b int

可能会改变的是新值在函数中分配给它们的顺序f()。

从该页面引用：发生在之前：

在单个 goroutine 中，读取和写入必须按照程序指定的顺序执行。也就是说，只有当重新排序不会改变语言规范所定义的 goroutine 内的行为时，编译器和处理器才可以重新排序在单个 goroutine 内执行的读取和写入。由于这种重新排序，一个 goroutine 观察到的执行顺序可能与另一个 goroutine 观察到的顺序不同。例如，如果一个 goroutine 执行，另一个 goroutine 可能会在 的更新值之前a = 1; b = 2;观察到 的更新值。b``a

如果对它们重新排序不会对同一个 goroutine 产生影响，那么分配给它们a并且可能不会按照你编写它们的顺序发生。b例如，如果首先更改 的值b更有效（例如，因为它的地址已经加载到寄存器中），编译器可能会重新排序它们。如果更改分配顺序会（或可能）在同一个 goroutine 中导致问题，那么显然不允许编译器更改顺序。由于f()函数的 goroutine 对变量不做任何事情，a并且b在赋值之后，编译器可以自由地以任何顺序执行赋值。

由于上例中两个 goroutine 之间没有同步，因此编译器不会检查重新排序是否会导致另一个 goroutine 出现任何问题。它不必。

如果你同步你的 goroutine，编译器将确保在“同步点”不会有不一致：你将保证在那个点两个分配都将“完成”；因此，如果“同步点”在print()调用之前，那么您将看到打印分配的新值：2和1.

理论要掌握，实操不能落！以上关于《go lang中的同步不正确》的详细介绍，大家都掌握了吧！如果想要继续提升自己的能力，那么就来关注golang学习网公众号吧！