Go

概述

由Google开发的编程语言，其并发模型直接基于CSP理论，通过goroutine和channel实现消息传递并发。

关键内容

1. CSP实现：Go的并发模型直接来源于CSP，goroutine对应CSP的进程，channel对应CSP的通信通道。

2. Goroutine：轻量级线程，可大量创建，独立运行，符合CSP进程中每个进程内部顺序执行的理念。

3. Channel：类型安全的通信通道，默认同步通信，对应CSP的同步消息传递机制。

4. Select语句：类似CSP的守卫命令，允许在多个channel操作间进行非确定性选择。

5. 工业影响：Go语言的成功使CSP理念在现代基础设施中得到广泛应用，Docker、Kubernetes等关键组件均使用Go编写。

6. 官方格言：Go官方将CSP核心理念总结为"不要通过共享内存来通信，而要通过通信来共享内存"，体现了CSP的深远影响。

来源

• 14-hoare-csp — CSP理论对Go的影响分析
• [[]] —

相关

• Communicating Sequential Processes — 并发模型理论基础
• goroutine — Go的并发执行单元
• channel — Go的通信机制
• C.A.R. Hoare — 理论提出者