重排golang编译器的命令以及同步原语对其有何影响？

今日不肯埋头，明日何以抬头！每日一句努力自己的话哈哈~哈喽，今天我将给大家带来一篇《重排golang编译器的命令以及同步原语对其有何影响？》，主要内容是讲解等等，感兴趣的朋友可以收藏或者有更好的建议在评论提出，我都会认真看的！大家一起进步，一起学习！

我已阅读https://golang.org/ref/mem，但有些部分我仍然不清楚。

例如，在“通道通信”部分中，它说：“对 a 的写入发生在 c 上的发送之前”，但我不知道为什么会出现这种情况。我在下面复制从上述页面中提取的示例代码以提供上下文。

var c = make(chan int, 10)
var a string

func f() {
    a = "hello, world"
    c <- 0
}

func main() {
    go f()
    <-c
    print(a)
}

从单个 goroutine 的角度来看，断言是正确的，但是从另一个 goroutine 的角度来看，无法从文本到目前为止提到的保证中推断出来。

所以我的问题是：是否还有本文档中未明确说明的其他保证？例如，我们是否可以说，给定一些同步原语（例如在通道上发送），确保放置在其之前的命令不会被编译器移动到其之后？那么它后面的命令呢，我们可以说它们不会放在同步原语之前吗？

原子包中提供的操作怎么样？他们提供与渠道运营相同的保证吗？

解决方案

这正是内存模型所说的。当您查看单个 goroutine 时，可以重新排列执行顺序，以便写入操作的效果按照它们在执行中出现的顺序可见。因此，如果您在某个时刻设置 a=1 并稍后读取 a，编译器知道不要将写入操作移到读取之前。对于多个 Goroutine，通道和锁是同步点，因此一旦到达同步点，通道/锁操作之前发生的任何事情对于其他 Goroutine 都是可见的。编译器不会移动代码以使写入操作跨越同步边界。

同步/原子操作也满足了保证，并且已经讨论了是否将它们添加到内存模型中。目前尚未明确说明。有一个关于它的悬而未决的问题：

https://github.com/golang/go/issues/5045

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于Golang的相关知识，也可关注golang学习网公众号。