通信顺序进程
Communicating sequential processes
C. A. R. Hoare · 初版 1985 年
- 71次提及
- 17人推荐
- 61位 HN 评论者
简介
一部里程碑式的经典著作，详细阐述了用于设计充分利用并发与通信机制算法的进程代数（Communicating Sequential Processes，简称 CSP）。
为什么值得读
并发理论的里程碑之作，为理解并发进程的组织提供了理论基石
- 为Go等语言的并发模型提供理论源头
- 系统阐述了组织并发进程的经典视角
- 早期展示了状态机不变量的理论框架
适合：想探究Go等语言并发底层理论基础的程序员
值得读指数：51 / 100
Hacker News 读者推荐
你想了解的是它哪方面的具体内容？我一直给年轻同事的建议是：去学 Go 和 Erlang。Go （基本）实现了通信顺序进程（communicating sequential processes）。如果你想从理论层面深入了解，可以读读 C.A.R. Hoare 关于这个主题的书 [0]。Erlang 则采用了 actor 模型和消息传递。两者有很多相似之处，但差异也足以……
Jtsummers 在 HN 的推荐
……（同上）[8] Charles Antony Richard Hoare 1974. 《管程：一种操作系统结构化概念》（一个影响深远的并发概念的早期演进）[9] Charles Antony Richard Hoare 1979. 《通信顺序进程》（状态机不变量的早期阐述）[10] 已删除 [11] Gilles Kahn 和 David B. MacQueen 1977. 《协程与并行进程网络》（非抢占式并发，一种替代……
charlysl 在 HN 的推荐
我觉得 Hoare 的《通信顺序进程》（Communicating Sequential Processes）[0] 也是一篇里程碑式的论文，单凭它组织并发进程的视角，就应该被列入这张书单。这实际上是我本科并发那部分的必读篇目……
frakkingcylons 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0071392319
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。