初始化
The start of the function main.main happens after all init functions have finished.
If a package p imports package q, the completion of q's init functions happens before the start of any of p's.
goroutine的创建
go声明一个goroutine时,创建一个goroutine happens-before 执行goroutine
关于channel
- 对一个channel的发送操作 happens before 相应channel的接收操作完成 (channel带缓存)
- 关闭一个channel happens-before 从该Channel接收到最后的返回值0(由于尝试从关闭了的channel读数据)
- 不带缓冲的channel的接收操作 happens-before 相应channel的发送操作完成
总结
在一个过程中,即使两条语句存在前后关系,也可能会被编译器或CPU进行重排序,导致前后关系发生变化。在实战中要尽量使用清晰同步方法(信号或锁)避免去使用奇淫技巧,一是review时难以理解,二来也可能因为理解不透产生非预期的BUG