Go 内存模型发生在之前（具有共享状态的通道）

大家好，我们又见面了啊~本文《Go 内存模型发生在之前（具有共享状态的通道）》的内容中将会涉及到等等。如果你正在学习Golang相关知识，欢迎关注我，以后会给大家带来更多Golang相关文章，希望我们能一起进步！下面就开始本文的正式内容~

我试图更全面地理解通道和其他共享状态之间发生之前关系的本质。具体来说，我想看看是否在通道发送和接收操作上创建了某种内存围栏。

例如，如果我在通道上发送消息，则围绕共享状态修改的所有其他操作都“发生在”发送/接收操作之前。在我的特定示例中，我仅从单个 go 例程写入，然后从单个 go 例程读取。

（旁白：下面示例中明显的答案是将 person 结构的实例直接放在通道上，但这不是我要问的。）

package main

func main() {
    channel := make(chan int, 128)

    go func() {
        person := &sharedState[0]
        person.Name = "Hello, World!"
        channel <- 0
    }()

    index := <-channel
    person := sharedState[index]
    if person.Name != "Hello, World!" {
        // unintended race condition
    }
}

type Person struct{ Name string }

var sharedState = make([]Person, 1024)

解决方案

内存模型保证当通道写操作执行时，该 Goroutine 中在通道操作之前的所有操作都是可见的。因此，在您的示例中，“意外的竞争条件”不会发生，因为当读取通道时，goroutine 中发生的分配是可见的。当然，这是假设没有另一个 goroutine 正在写入同一个变量。如果有另一个 goroutine 写入同一个变量，那么您也需要同步该 goroutine 以避免竞争。

理论要掌握，实操不能落！以上关于《Go 内存模型发生在之前（具有共享状态的通道）》的详细介绍，大家都掌握了吧！如果想要继续提升自己的能力，那么就来关注golang学习网公众号吧！