Go语言中是什么保证Mutex方法调用与其他语句不被重排？

Go编译器确实允许指令重排，但互斥锁的Lock/RLock、Unlock/RUnlock是Go内存模型定义的同步原语，它们通过内存屏障（Memory Barrier）机制，从根本上限制了指令重排的范围。

以你给出的代码为例：

mu.RLock()
d := primes[i]
mu.RUnlock()

编译器和Go运行时会严格遵守以下约束：

• RLock()之后的内存读取操作（比如primes[i]），绝对不会被重排到RLock()之前执行
• RUnlock()之前的所有内存操作，也不会被重排到RUnlock()之后

这和RLock()是否被内联没有关系——即便函数被内联，编译器依然会保留其同步语义，插入对应的内存屏障指令，阻止非法重排。

你提到的《Go内存模型》中的那句话，是编译器优化的边界约束：它明确了编译器不能假设同步函数（如锁操作）会立即返回或无同步行为，因此不会随意跨过这类函数调用做重排，但这只是表象，本质还是互斥锁作为同步原语自带的内存顺序规则在起作用。

总结来说：不是依赖函数调用的形式，而是互斥锁本身作为同步点，被Go内存模型赋予了强制内存顺序的语义，编译器和运行时必须严格执行这些约束。

内容的提问来源于stack exchange，提问作者Rodion Gorkovenko