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

Question

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

例如，如果我在通道上发送消息，则围绕共享状态修改的所有其他操作都“发生在”发送/接收操作之前。在我的特定示例中，我只从单个 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)

Answer 1

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