[译]更新 Go 内存模型

这是 Russ Cox 的系列论文的第三篇，也是最后一篇: Updating the Go Memory Model。文章对 官方的 Go 内存模型做了一些补充和思考。当前的 Go 语言内存模型是在 2009 年编写的，从那以后略有更新。很明显，至少有一些细节我们应该添加到当前的内存这个内存模型中，其中包括对竞态检测器的明确认可，以及关于 sync/atomic 中的 API 是如何同步程序的清晰声明。这篇文章重申了 Go 的总体哲学和当前的内存模型，然后概述了我认为我们应该对 Go 内存模型进行的相对较小的调整。假定你已经了解了前两篇文章“硬件内存模型”和“编程语言内存模型”中的背景知识。我……