“不要通过共享内存来通信”——深入理解Golang并发模型与CSP理论

共享消息模型

在共享消息模型（Show Message Model）中，线程或进程通过消息的发送与接收来实现通信与协同。这一模型的最大亮点在于，它能有效规避数据竞争及其他并发问题。原因在于，每个线程或进程都拥有独立的内存空间，无需借助锁或其他同步机制。

该模型的另一显著特征是，消息的发送与接收是异步进行的。这意味着，一个线程或进程在发出消息后，无需等待接收方处理，即可继续执行其他任务。这种异步特性极大地提升了并发性能，因为线程或进程不会因等待消息收发而陷入阻塞。

在该模型中，开发者的角色从“卫兵”转变为“流程设计师”或“编舞家”。他的核心任务不再是保护数据，而是设计高效、无误的数据流管道。通过精心编排数据在进程或线程间的流动顺序，隐式地构建了操作间的因果关系。

程序的确定性，并非来自于对资源的加锁，而是源于消息传递所建立的自然时序。这种模型将并发的复杂性从“管理状态”转移到了“编排通信”，使得并发逻辑更清晰，也更易于推理。