Go 的口号是“不要通过共享内存进行通信；而是通过通信来共享内存”。我想知道 Go 是使用共享内存还是分布式计算方法。例如，对于 MPI，它显然是分布式的，OpenMP 显然是共享内存；但我不确定 Go 是独一无二的。
我看过很多帖子，比如Shared memory vs. Go channel communication，有效的Go文档等，但无法澄清。提前致谢。
【问题讨论】：
标签： parallel-processing go shared-memory distributed-computing
Go 不会阻止您在 goroutines/线程之间共享内存。他们所说的通信的意思是，您通过通道发送数据块或指向该块的指针。这有效地将数据的“所有权”转移给了通道的目标阅读器。请注意，这种所有权转移不是由语言或运行时强制执行的，它只是按照惯例。
如果你愿意的话，你仍然完全有能力从两个 goroutine 写入相同的内存。换句话说：Go 不会阻止你在脚下开枪，它只是提供了语言语义，使这些错误更容易被发现。
如果一个值被传递到一个通道中，程序员必须假设这个值不再是他在同一个 goroutine 中写入的。
func F(c chan *T) {
// Create/load some data.
data := getSomeData()
// Send data into the channel.
c <- data
// 'data' should now be considered out-of-bounds for the remainder of
// this function. This is purely by convention, and is not enforced
// anywhere. For example, the following is still valid Go code, but will
// lead to problems.
data.Field = 123
}
【讨论】：
-race 标志运行测试。这会调用 Go 的竞赛检测系统，它会为你发现这些问题并报告给你。这不是 100% 准确的。会出现一些误报和漏报，但总的来说是在代码中查找竞争条件的好方法，因为程序员没有充分遵守通信约定。
问题假设共享内存和分布式计算是对立的。这有点像问：RAM 和 LAN 是对立的吗？区分 CPU/内存节点内的共享内存并发和 CPU/内存节点之间的共享内存并发会更清楚。
这是并行处理研究大局的一部分。有很多研究项目，包括：
开发具有多个 CPU 共享单个内存的非冯诺依曼计算机，并由某种形式的交换结构（通常是 Clos 网络）连接。 OpenMP 非常适合这些。
开发由一组 CPU 组成的并行计算机，每个 CPU 都有自己独立的内存，并且在节点之间有一些通信结构。这通常是 MPI 的所在地。
第一个案例专门针对高性能计算兄弟会。我们大多数人都熟悉后一种情况。在这种情况下，这些天通信通常只是通过以太网，但是已经（成功地）为某些特定领域开发了各种更快的低延迟替代方案（例如IEEE1355 SpaceWire，它来自 Transputer 串行链接）。
多年来，主流观点认为只有共享内存才能实现高效并行，因为（天真地）假设通过传递消息进行通信的成本过高。对于共享内存并发，困难在于软件：因为一切都是相互依赖的，所以随着系统变得越来越大，设计并发变得越来越难。需要核心专业知识。
对于我们其他人来说，Go 遵循 Erlang、Limbo，当然还有 Occam 来推广消息传递作为编排要完成的工作的手段。这源于Communicating Sequential Processes 的代数，它为创建任何规模的并行系统提供了基础。 CSP 设计是可组合的：每个子系统本身都可以是更大系统的组件，没有理论上的限制。
您的问题提到了 OpenMP（共享内存）和 MPI（分布式内存消息传递），它们可以一起使用。 Go 可以被认为与 MPI 大致等效，因为它促进了消息传递。然而，它也允许锁和共享内存。 Go 与 MPI 和 OpenMP 都不同，因为它没有明确关注多处理器系统。要进入使用 Go 进行并行处理的世界，需要一个网络消息传递框架，例如 OpenCL，有人正在为此开发 Go API。
【讨论】：