Golang内存模型详解并发访问规则-Golang-PHP中文网

Golang内存模型详解并发访问规则

P粉602998670

发布： 2025-09-16 13:45:01

原创

509人浏览过

Go内存模型通过happens-before关系确保并发中内存操作的可见性，同一goroutine内操作按序发生，跨goroutine需通过同步机制建立顺序，如channel的发送happens before接收，从而保证data=42对主goroutine可见。

golang内存模型详解并发访问规则

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对应发送操作的完成

示例：

豆包大模型

字节跳动自主研发的一系列大型语言模型

834

查看详情

var data int
var done = make(chan bool)

go func() {
data = 42
done <- true
}()

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内存模型详解并发访问规则的详细内容，更多请关注php中文网其它相关文章！

Golang内存模型详解 并发访问规则

内存模型核心：Happens-Before关系

并发访问中的同步规则

常见错误与注意事项

Golang内存模型详解并发访问规则