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

Question

我试图更全面地理解通道和其他共享状态之间发生之前关系的本质。具体来说，我想看看是否在通道发送和接收操作上创建了某种内存围栏。例如，如果我在通道上发送消息，则围绕共享状态修改的所有其他操作都“发生在”发送/接收操作之前。在我的特定示例中，我只从单个 go 例程写入，然后从单个 go 例程读取。（旁白：下面示例中明显的答案是直接将结构体的实例放在Person通道上，但这不是我要问的。）package mainfunc 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)

Answer 1

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