Go语言作为原生支持并发的编程语言，其并发模型基于goroutine和channel实现，但在多核CPU环境下运行时，内存重排现象会直接影响并发程序的逻辑正确性。理解内存重排的观察方法以及GOMAXPROCS的作用，对编写正确的并发代码至关重要。
什么是内存重排
内存重排是指CPU或者编译器为了优化程序执行效率，在不改变单线程程序执行结果的前提下，对指令的执行顺序进行调整的现象。在单核场景下，内存重排对程序逻辑的影响不易察觉，但在多核并发场景中，不同CPU核心的缓存不一致性加上内存重排，可能导致多个goroutine对共享变量的操作顺序不符合代码编写的预期。
如何观察Go语言中的内存重排
我们可以通过一个无同步措施的并发示例来观察内存重排现象，这个示例中两个goroutine分别对共享变量进行写操作，主goroutine读取这两个变量的值，正常情况下如果不存在内存重排，不会出现两个变量都为初始值的情况，但实际运行可能出现该结果。
package main
import (
"fmt"
"time"
)
var x int
var y int
func writeX() {
x = 1 // 对x赋值
}
func writeY() {
y = 1 // 对y赋值
}
func main() {
for {
x = 0
y = 0
go writeX()
go writeY()
time.Sleep(time.Millisecond) // 等待两个写goroutine执行
if x == 0 && y == 0 {
fmt.Println("观察到内存重排现象，x和y都为0")
break
}
}
}
运行上述代码后，大概率会在一段时间后输出观察到内存重排的提示，这是因为两个写操作的执行顺序被重排，主goroutine在两个写操作都未实际生效时就读取到了两个变量的初始值。
GOMAXPROCS的作用
GOMAXPROCS是Go语言运行时中的一个参数，用于设置程序运行时可使用的最大CPU核数，默认值为当前机器的CPU核心数。它直接决定了goroutine的调度方式，进而影响内存重排的表现。
GOMAXPROCS对内存重排的影响
当GOMAXPROCS设置为1时，所有goroutine都会在单个CPU核心上串行执行，此时CPU不会发生多核缓存不一致的问题，编译器和CPU的内存重排优化也会受到限制，上述观察内存重排的示例几乎不会出现x和y都为0的情况。
当GOMAXPROCS大于1时，多个goroutine可能被调度到不同的CPU核心上执行，不同核心的缓存独立，内存重排的概率会明显上升，上述示例更容易观察到内存重排现象。
我们可以通过修改上述代码验证这个效果，在main函数开头添加设置GOMAXPROCS的逻辑：
package main
import (
"fmt"
"runtime"
"time"
)
var x int
var y int
func writeX() {
x = 1
}
func writeY() {
y = 1
}
func main() {
// 设置GOMAXPROCS为1，观察内存重排是否减少
runtime.GOMAXPROCS(1)
for i := 0; i < 100000; i++ {
x = 0
y = 0
go writeX()
go writeY()
time.Sleep(time.Millisecond)
if x == 0 && y == 0 {
fmt.Println("GOMAXPROCS=1时观察到内存重排")
break
}
}
}
运行上述代码，会发现几乎不会输出重排提示，而如果把GOMAXPROCS设置为大于1的值，重排现象会更容易出现。
如何避免内存重排带来的问题
内存重排本身是正常的优化行为，要避免其影响程序正确性，需要通过Go语言提供的同步原语来保证操作的顺序性：
- 使用
sync.Mutex互斥锁保护共享变量的读写操作 - 使用
sync/atomic包的原子操作处理简单变量的并发访问 - 使用channel进行goroutine之间的通信，channel的收发操作本身具备同步语义
这些同步措施会向编译器和CPU施加内存屏障，禁止特定范围内的指令重排，保证操作的顺序符合代码逻辑预期。
Go语言内存重排GOMAXPROCS并发编程修改时间：2026-06-21 22:24:23