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

论文
, , ,
1

观看视频

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

参考资料