Go内存模型通过happens-before关系确保并发中内存操作的可见性，同一goroutine内操作按序发生，跨goroutine需通过同步机制建立顺序，如channel的发送happens before接收，从而保证data=42对主goroutine可见。
Go语言的内存模型定义了在并发程序中，多个goroutine如何通过共享变量进行交互。理解Go的内存模型对编写正确、高效的并发程序至关重要。它不依赖于底层硬件的内存顺序保证，而是通过明确的同步规则来确保数据的一致性。
内存模型核心：Happens-Before关系
Go内存模型的核心是“happens-before”关系。如果一个操作A在另一个操作B之前发生（A happens before B），那么A的内存写入对B是可见的。这种关系不是时间上的先后，而是逻辑上的顺序保证。
几个关键点：
同一个goroutine中的操作，按代码顺序构成happens-before关系不同goroutine之间的操作，需要通过同步原语建立happens-before关系没有明确同步的操作，其执行顺序是不确定的
并发访问中的同步规则
多个goroutine同时读写同一变量时，必须使用同步机制避免数据竞争。Go运行时可以检测数据竞争（通过-race标志），但预防比检测更重要。
立即学习“go语言免费学习笔记（深入）”；
1. 使用channel建立同步
向channel写入与从channel读取之间存在happens-before关系：
对一个channel的发送操作happens before该发送被接收完成对一个channel的接收操作happens before对应发送操作的完成
示例：
var data int
var done = make(chan bool)
go func() {
data = 42
done }()
fmt.Println(data) // 安全：能正确读取42
2. 使用互斥锁（Mutex）
对同一Mutex的加锁操作happens before后续的解锁操作，解锁happens before下一次加锁：
一个goroutine解锁Mutex后，其他goroutine加锁时能看到之前的所有写入适合保护一段临界区代码
示例：
var mu sync.Mutex
var data int
mu.Lock()
data = 100
mu.Unlock()
// 另一个goroutine中
mu.Lock()
fmt.Println(data) // 安全读取
mu.Unlock()
3. Once机制
sync.Once保证某个函数只执行一次，且该执行happens before所有Once.Do调用的返回：
var once sync.Once
var data string
func setup() {
data = “initialized”
}
func getData() string {
once.Do(setup)
return data
}
多次调用getData是安全的，且能正确看到初始化结果。
4. WaitGroup同步
sync.WaitGroup用于等待一组goroutine完成。wg.Done()的执行happens beforewg.Wait()的返回：
var wg sync.WaitGroup
var data [3]int
for i := 0; i wg.Add(1)
go func(i int) {
defer wg.Done()
data[i] = i * i
}(i)
}
wg.Wait()
fmt.Println(data) // 安全：所有写入已完成
常见错误与注意事项
不要依赖goroutine的启动顺序
启动一个goroutine的操作，并不happens before该goroutine内部的执行：
data := 0
go func() {
println(data) // 可能打印0，也可能发生数据竞争
}()
data = 1
这个例子中，main goroutine修改data和goroutine读取data之间没有同步，存在数据竞争。
读写同一变量必须同步
即使一个goroutine只读，另一个只写，也必须使用同步机制。否则Go不保证读操作能看到最新的写入。
原子操作提供细粒度同步
sync/atomic包提供原子操作，如atomic.StoreInt32和atomic.LoadInt32，它们之间可以建立happens-before关系，适合简单类型的无锁编程。
基本上就这些。Go内存模型不复杂，但容易忽略。只要记住：共享变量的并发访问，必须通过channel、mutex、once、waitgroup或atomic操作来建立同步关系，否则程序行为是未定义的。
以上就是Golang内存模型详解 并发访问规则的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1406550.html
微信扫一扫 
支付宝扫一扫 
