通信顺序进程

Hacker News 上怎么说

• charlysl · 2017 年

  ……（同上）[8] Charles Antony Richard Hoare 1974. 《管程：一种操作系统结构化概念》（一个影响深远的并发概念的早期演进）[9] Charles Antony Richard Hoare 1979. 《通信顺序进程》（状态机不变量的早期阐述）[10] 已删除 [11] Gilles Kahn 和 David B. MacQueen 1977. 《协程与并行进程网络》（非抢占式并发，一种替代……

  …(idem) [8] Charles Antony Richard Hoare 1974. "Monitors: An operating system structuring concept". (an early refinement of a very influential concurrency concept) [9] Charles Antony Richard Hoare 1979. Communicating sequential processes (an early presentation of invariants for state machines) [10] deleted [11] Gilles Kahn and David B. MacQueen 1977. "Coroutines and networks of parallel processes" (non preemptive concurrency, an alternative…

• frakkingcylons · 2014 年

  我觉得 Hoare 的《通信顺序进程》（Communicating Sequential Processes）[0] 也是一篇里程碑式的论文，单凭它组织并发进程的视角，就应该被列入这张书单。这实际上是我本科并发那部分的必读篇目……

  I think Communicating Sequential Processes [0] by Hoare is another landmark paper that should be on this list for its perspective on organizing concurrent processes. This was actually required reading for the concurrency section of my undergrad…

• thoughtFrame · 2021 年

  方向有点杂，但我觉得这里面有些可能符合你的要求。《Erlang 程序设计》Joe Armstrong 著；《通信顺序进程》Hoare 著；《植物的算法之美》Prusinkiewicz、Lindenmayer 著；《使用 J 语言进行网络性能分析》Alan Holt 著；《miniKanren 关系式编程》William Byrd 著……

  Somewhat varied but I think some of these may fit your criteria. Programming Erlang by Joe Armstrong Communicating Sequential Processes by Hoare The algorithmic beauty of plants by Prusinkiewicz, Lindenmayer Network Performance Analysis Using the J Programming Language by Alan Holt Relational Programming in miniKanren by William Byrd…

• sriram_malhar · 2019 年

  噢没错。读研就是没完没了地啃书。我记得我从头到尾读完的书有：Ross Anderson 的《安全工程》、Glynn Winskel 的《编程语言的形式语义》、Tony Hoare 的《通信顺序进程》——这本书短小精悍且透彻得令人吃惊。Robin Milner 的《Pi 演算》、Hanne Riis Nielson 的《语义学及其应用》、Fred Schneider 的《并发编程论》。《规范……

  Oh yes. Grad school is all reading. I recall reading these books in their entirety. Security Engineering. Ross Anderson The Formal Semantics of Programming Languages. Glynn Wynskell. Communicating Sequential Processes. Tony Hoare. This book is surprising in its compactness and lucidity. Pi Calculus. Robin Milner. Semantics With Applications. Hanne Riis Nielson On Concurrent Programming. Fred Schneider. Specifying…

• 2sk21 · 2021 年

  我超爱这些谜题。这让我想起了 Tony Hoare 的那本名著《Communicating Sequential Processes》。在书里，他把并行程序的轨迹描述为各个单独程序轨迹的所有可能交错。

  I loved these puzzles. I was reminded of the famous book by Tony Hoare "Communicating Sequential Processes". In that book, he describes the trace of a parallel program as all possible interleaving of the traces of the individual programs

• verdverm · 2022 年

  Tony Hoare 的原始论文《Communicating Sequential Processes》很值得一读 https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf Erlang 和 Go 都用了这个模型。就像 @duped 说的，Rust 用的是另一种模型。

  The original paper "Communicating Sequential Processes" by Tony Hoare is a good read https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf Both Erlang and Go use this model. As @duped stated, Rust uses a different model

正在加载完整评论……