如何在 Golang 中保证对 Mutex 方法的调用不会与其他语句重排？

怎么入门Golang编程？需要学习哪些知识点？这是新手们刚接触编程时常见的问题；下面golang学习网就来给大家整理分享一些知识点，希望能够给初学者一些帮助。本篇文章就来介绍《如何在 Golang 中保证对 Mutex 方法的调用不会与其他语句重排？》，涉及到，有需要的可以收藏一下

据我在阅读 go 内存模型文章后了解到，编译器可以对语句进行重新排序，尽管这种能力受到某些限制。

但是我无法理解是什么限制了包括 mutex 锁定和解锁的语句的重新排序，即：

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

如何确保第二行不会重新排序到顶部？是关于这句话吗：

不引入数据竞争也意味着不假设被调用的函数始终返回或不进行同步操作。

即仅仅依赖于 lock() 是一个函数调用这一事实（我想，不是以某种方式内联） - 或者有不同的机制/逻辑？

正确答案

块中的语句按源代码顺序执行（忽略依赖项控制顺序的包块的特殊情况）。优化必须保留此执行顺序的副作用。

规范没有具体说明块中的语句按源代码顺序执行。也许作者认为这是显而易见的，不需要说出来。

如果编译器无法证明 i、primes 或 primes 的支持仅对当前 goroutine 可见，则编译器无法在不改变语句副作用的情况下对语句进行重新排序。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《如何在 Golang 中保证对 Mutex 方法的调用不会与其他语句重排？》文章吧，也可关注golang学习网公众号了解相关技术文章。