在没有锁的情况下同时读取函数指针是否安全？

Question

假设我有这个：

go func() {
    for range time.Tick(1 * time.Millisecond) {
        a, b = b, a
    }
}()

还有其他地方：

i := a // <-- Is this safe?

对于这个问题，i 相对于原始a 或b 的值是什么并不重要。唯一的问题是阅读a 是否安全。也就是说，a 是否有可能是 nil、部分分配、无效、未定义、...不是有效值？

I've tried to make it fail 但到目前为止它总是成功（在我的 Mac 上）。

我无法在The Go Memory Model 文档中找到除此引用之外的任何具体内容：

读取和写入大于单个机器字的值的行为类似于 以未指定的顺序进行多个机器字大小的操作。

这是否暗示单个机器字写入实际上是原子的？如果是这样，Go 中的函数指针写入是否是单个机器字操作？

更新：这里是a properly synchronized solution

Answer 1

The Go Memory ModelThe Go Memory Model 对来自多个 goroutine 的任何变量的非同步、并发访问，其中至少一个是写入是 未定义的行为。

未定义的意思是：未定义。您的程序可能会正常运行，也可能会无法正常运行。它可能会导致 Go 运行时提供的内存和类型安全丢失（参见下面的示例）。它甚至可能使您的程序崩溃。或者它甚至可能导致地球爆炸（这种可能性非常小，甚至可能小于 1e-40，但仍然......）。

这个未定义在您的情况下意味着是的，i 可能是nil，部分分配，无效，未定义，......除了a 或b 之外的任何东西。此列表只是所有可能结果的一小部分。

不要再认为某些数据竞争是（或可能是）良性或无害的。如果无人看管，它们可能是最糟糕的事情的根源。

由于您的代码在一个 goroutine 中写入变量 a 并在另一个 goroutine 中读取它（它试图将其值分配给另一个变量 i），因此这是一场数据竞争，因此不安全。在您的测试中它是否“正确”工作并不重要。可以将您的代码作为起点，对其进行扩展/构建，并由于您最初“无害”的数据竞争而导致灾难。

作为相关问题，请阅读How safe are Golang maps for concurrent Read/Write operations? 和Incorrect synchronization in go lang。

强烈推荐阅读 Dmitry Vyukov 的博文：Benign data races: what could possibly go wrong?

还有一篇非常有趣的博客文章，其中展示了一个通过故意数据竞争破坏 Go 的内存安全的示例：Golang data races to break memory safety

Answer 2

就Race condition而言，它并不安全。简而言之，我对竞争条件的理解是，当有多个异步例程（协程、线程、进程、goroutine 等）试图访问同一资源并且至少一个是写入操作时，因此在您的示例中，我们有 2 个goroutines 读取和写入函数类型的变量，我认为从并发的角度来看，重要的是这些变量在某处有一个内存空间，我们正试图在这部分内存中读取或写入。

简答：只需使用-race 标志和go run -race 运行您的示例 或go build -race，您将看到检测到的数据竞争。