十五、内存模型

Go 内存模型（The Go Memory Model）规定：在什么条件下，一个 goroutine 对变量的写入能被另一个 goroutine 的读取观察到。它是判断并发代码正确性的规范依据。

学习目标

• 理解 Happens-Before（先行发生）偏序关系。
• 知道哪些操作建立同步（channel、锁、Once、atomic）。
• 明白"没有同步就没有可见性保证"。

依赖关系

• 前置：13 Goroutine 与 Channel、14 sync。
• 后置：16 Runtime。

主题文档

• Go 内存模型与 Happens-Before