主要内容转自https://zhuanlan.zhihu.com/p/29108170，增加了一些解释及代码示例，如有错误，欢迎指正
什么是内存模型
首先内存模型并不是指arena/spans/bitmap（如下图）。这些是内存划分。
image.png
为了保证共享内存的正确性（可见性、有序性、原子性），内存模型定义了共享内存系统中多线程程序读写操作行为的规范。
通过这些规则来规范对内存的读写操作，从而保证指令执行的正确性。它与处理器有关、与缓存有关、与并发有关、与编译器也有关。
它解决了 CPU 多级缓存、指令重排等导致的内存访问问题，保证了并发场景下的一致性、原子性和有序性。
上面提到，内存模型与处理器有关、与缓存有关、与并发有关、与编译器也有关，那么我们在编写Go程序的时候，需要去了解CPU等底层特性吗？其实是不需要的！因为内存模型是抽象的，在不同的平台下，编译器会生成合适的内存屏障，帮我们屏蔽了底层的差异。这里将面向抽象编程的思想体现的淋漓尽致！
Golang的内存模型
Go 中也定义了Happens Before以及各种发生Happens Before关系的操作，因为有了这些Happens Before操作的保证，我们写的多goroutine的程序才会按照我们期望的方式来工作
什么是Happens Before
如果A happens before B，那么A的执行结果对B可见（并不一定表示A比B先执行，如果A与B执行的顺序对结果没有影响是可以重排序的）
Go 中定义的Happens Before保证
单线程
在单线程环境下，所有的表达式，按照代码中的先后顺序，具有Happens Before关系
——说白了，就是能够保证不管CPU，编译器怎么优化，代码从结果看按顺序执行的。
举个例子，如下代码中如果CPU或者编译器将指令重排（出于优化目的，比如多核CPU同时执行E1跟E3指令）后，有可能是E1->E3->E2的顺序执行，那么结果就会不对。Happens Before关系杜绝了这种错误。
package main
import "fmt"
func main() {
a := 1//E1
a++//E2
fmt.Print(a + b)//E3
}
Init 函数
- 如果包P1中导入了包P2，则P2中的init函数Happens Before 所有P1中的操作
- main函数Happens After 所有的init函数
——说白了，就是保证从结果看，Go程序的启动顺序如下
- 按顺序导入所有被 main 包引用的其它包，然后在每个包中执行如下流程：
- 如果该包又导入了其它的包，则从第一步开始递归执行，但是每个包只会被导入一次。
- 然后以相反的顺序在每个包中初始化常量和变量，如果该包含有 init 函数的话，则调用该函数。
- 在完成这一切之后，main 也执行同样的过程，最后调用 main 函数开始执行程序。
Goroutine
- Goroutine的创建Happens Before所有此Goroutine中的操作
- Goroutine的销毁Happens After所有此Goroutine中的操作
——说白了，就是保证了Goroutine创建前修改的数据在Goroutine执行时一定已经生效，以及Goroutine执行时的修改在Goroutine销毁后主Goroutine再去读取时一定已经生效
Channel
- 对一个元素的send操作Happens Before对应的receive完成操作
——说白了，就是保证了receive操作，在接受完成之前一定会阻塞，所以我们可以使用channel做同步 - 对channel的close操作Happens Before receive 端的收到关闭通知操作
——说白了，就是保证send端close通道完成之后，receive 端可以感知到 - 对于Unbuffered Channel，对一个元素的receive 操作Happens Before对应的send完成操作
——说白了，就是保证元素send了没被receive时，在send端会阻塞 - 对于Buffered Channel，假设Channel 的buffer 大小为C，那么对第k个元素的receive操作，Happens Before第k+C个send完成操作。可以看出上一条Unbuffered Channel规则就是这条规则C=0时的特例
——说白了，就是保证了在Buffer满了之后，元素send了没被receive时，在send端会阻塞
注意这里面，send和send完成，这是两个事件，receive和receive完成也是两个事件。参考Golang使用2个goroutine分别打印奇偶数，顺序输出1-10，就是利用channel来控制2个goroutine的顺序的
Lock
Go里面有Mutex和RWMutex两种锁，RWMutex除了支持互斥的Lock/Unlock，还支持共享的RLock/RUnlock。
- 对于一个Mutex/RWMutex，设n < m，则第n个Unlock操作Happens Before第m个Lock操作。
- 对于一个RWMutex，存在数值n，RLock操作Happens After 第n个UnLock，其对应的RUnLockHappens Before 第n+1个Lock操作。
简单理解就是这一次的Lock总是Happens After上一次的Unlock，读写锁的RLock HappensAfter上一次的UnLock，其对应的RUnlock Happens Before 下一次的Lock。
Once
once.Do中执行的操作，Happens Before 任何一个once.Do调用的返回
网友评论