go的同步模型

首先来看一段代码,这是The Go Memory Model一文中的一个例子

 

var a, b int

 

func f() {

    a = 1

    b = 2

}

func g() {

    print(b)

    print(a)

}

func main() {

    go f()

    g()

}

 

其实需要说的是两点:

第一: 函数f内的语句可能乱序执行,这是由于编译器优化的结果,因为单从这个函数内部看,这两条语句确实没任何依赖关系,编译器是可以这么做以提高运行效率

第二: 此文中说更激进的编译器可能删除a=1 b=2这两条语句, 因为看起来完全没用。 从局部性看好像是这样，但是a，b都是全局变量，这么激进合适么？可能只是说说罢了。

 

文章的意思很明确，如果有依赖关系，那么就明确写出来，否则编译器不知道啊！