第 66 期 2019-11-07 CSP 理解顺序进程间通信

观看视频

Go 夜读第 66 期 Paper Reading CSP 理解顺序进程间通信

本期 Go 夜读是由 Go 夜读 SIG 核心小组成员欧长坤给大家带来的经典论文 CSP 的 Paper Reading。

CSP 是什么?

我们常常在讨论中提及 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 理论中存在的设计缺陷
  • 讨论与反思

分享 Slides

参考资料