ConceptCommunicating Sequential Processes / CSP并发模型
CSP
CSP（Communicating Sequential Processes，通信顺序进程）是由计算机科学家托尼·霍尔于1978年提出的并发编程形式化模型。其核心思想是将并发系统描述为多个独立的顺序进程，进程之间通过消息传递（通道）进行通信与同步，而非共享内存。CSP对并发理论研究和实际编程语言设计（如Go、Erlang）均有深远影响。
Core Facts
Timeline (last 90 days)
Sep 6
Manifest V3 引入更严格的内容安全策略（CSP），禁止在扩展页面中使用 eval() 和内联脚本
Unverified50%
Aug 28
Tony Hoare是1980年图灵奖获得者、快速排序算法的发明者、CSP并发模型的提出者以及霍尔逻辑的创建者
Unverified50%
Aug 23
应把最终画面的元素当成约束条件而非视觉建议，因为约束条件可验证而视觉建议模糊
Unverified50%
Aug 23
Go语言的并发模型基于CSP理论，由Tony Hoare在1978年提出，核心思想是通过消息传递而非共享内存协调并发进程
Unverified50%
All Facts (5)
Verified
Go的并发模型基于CSP（通信顺序进程）理论，由计算机科学家Tony Hoare于1978年提出
80%UnverifiedManifest V3 引入更严格的内容安全策略（CSP），禁止在扩展页面中使用 eval() 和内联脚本
50%UnverifiedTony Hoare是1980年图灵奖获得者、快速排序算法的发明者、CSP并发模型的提出者以及霍尔逻辑的创建者
50%Unverified应把最终画面的元素当成约束条件而非视觉建议，因为约束条件可验证而视觉建议模糊
50%UnverifiedGo语言的并发模型基于CSP理论，由Tony Hoare在1978年提出，核心思想是通过消息传递而非共享内存协调并发进程
50%