第 66 期 #Paper Reading CSP 理解顺序进程间通信

[changkun]

【Go 夜读】 理解顺序进程间通信

我们常常在讨论中提及 CSP，但鲜有人能真正说清楚 CSP 的演进历史，及其最核心的基本思想。我们已经对 Go 提供的并发原语足够熟悉了，是时候深入理解其背后的基础理论——顺序进程间通信（Communicating Sequential Processes, CSP）了。本次分享我们针对 [Hoare 1978] 探讨 CSP 理论的原始设计（CSP 1978），主要围绕以下几个问题展开：

• Tony Hoare 提出 CSP 的时代背景是什么？
• CSP 1978 理论到底有哪些值得我们研究的地方？
• CSP 1978 理论是否真的就是我们目前熟知的基于通道的同步方式？
• CSP 1978 理论的早期设计存在什么样的缺陷？

大纲

• CSP 1978 的诞生背景
• CSP 1978 的主要内容及其结论
• CSP 1978 理论中存在的设计缺陷
• 讨论与反思

分享时间

2019-11-07 21:00 UTC+8

分享地址

https://zoom.us/j/6923842137

Slides

Google Slides

参考资料

• [Hoare 1978] Hoare, C. A. R. (1978). Communicating sequential processes. Communications of the ACM, 21(8), 666–677.
• [Ou 2019a] CSP1978 的 Go 语言实现
• [Ou 2019b] 第 56 期 channel & select 源码分析
• [Ou 2019c] 第 59 期 Real-world Go Concurrency Bugs

---

QA

TBA

[huangxingx]

期待

[Shitaibin]

期待坤神