详解详解Go内存模型内存模型
介绍介绍
Go 内存模型规定了一些条件,在这些条件下,在一个 goroutine 中读取变量返回的值能够确保是另一个 goroutine 中对该变量
写入的值。【翻译这篇文章花费了我 3 个半小时 】
Happens Before(在(在…之前发生)之前发生)
在一个 goroutine 中,读操作和写操作必须表现地就好像它们是按照程序中指定的顺序执行的。这是因为,在一个 goroutine
中编译器和处理器可能重新安排读和写操作的执行顺序(只要这种乱序执行不改变这个 goroutine 中在语言规范中定义的行
为)。
因为乱序执行的存在,一个 goroutine 观察到的执行顺序可能与另一个 goroutine 观察到的执行顺序不同。 比如,如果一个
goroutine 执行a = 1; b = 2; ,另一个 goroutine 可能观察到 b 的值在 a 之前更新。
为了规定读取和写入的必要条件,我们定义了 happens before (在…之前发生),一个在 Go 程序中执行内存操作的部分顺
序。如果事件 e1 发生在事件 e2 之前,那么我们说 e2 发生在 e1 之后。同样,如果 e1 不在 e2 之前发生也不在 e2 之后发
生,那么我们说 e1 和 e2 同时发生。
在一个单独的 goroutine 中,happens-before 顺序就是在程序中的顺序。
一个对变量 v 的 读操作 r 可以被允许观察到一个对 v 的写操作 w,如果下列条件同时满足:
r 不在 w 之前发生在 w 之后,r 之前,没有其他对 v 的写入操作 w’ 发生。
为了确保一个对变量 v 的读操作 r 观察到一个对 v 的 写操作 w,必须确保 w 是唯一的 r 允许的写操作。就是说下列条件必须
同时满足:
w 在 r 之前发生任何其他对共享的变量 v 的写操作发生在 w 之前或 r 之后。
这两个条件比前面两个条件要严格,它要求不能有另外的写操作与 w 或 r 同时发生。
在一个单独的 goroutine 中,没有并发存在,所以这两种定义是等价的:一个读操作 r 观察到的是最近对 v 的写入操作 w 。当
多个 goroutine 访问一个共享的变量 v 时,它们必须使用同步的事件来建立 happens-before 条件来确保读操作观察到预期的
写操作。
在内存模型中,使用零值初始化一个变量的 v 的行为和写操作的行为一样。
读取和写入超过单个机器字【32 位或 64 位】大小的值的行为和多个无序地操作单个机器字的行为一样。
同步同步
初始化初始化
程序初始化操作在一个单独的 goroutine 中运行,但是这个 goroutine 可能创建其他并发执行的 goroutines。
如果包 p 导入了包 q,那么 q 的 init 函数执行完成发生在 p 的任何 init 函数执行之前。
函数 main.main【也就是 main 函数】 的执行发生在所有的 init 函数完成之后。
Goroutine 创建创建
启动一个新的 goroutine 的 go 语句的执行在这个 goroutine 开始执行前发生。
比如,在这个程序中:
var a string
func f() {
print(a) // 后
}
func hello() {
a = "hello, world"
go f() // 先
}
调用 hello 函数将会在之后的某个事件点打印出 “hello, world”。【因为 a = “hello, world” 语句在 go f() 语句之前执行,而
goroutine 执行的函数 f 在 go f() 语句之后执行,a 的值已经初始化了 】