概念Communicating Sequential Processes / CSP并发模型
CSP
CSP（Communicating Sequential Processes，通信顺序进程）是由计算机科学家托尼·霍尔于1978年提出的并发编程形式化模型。其核心思想是将并发系统描述为多个独立的顺序进程，进程之间通过消息传递（通道）进行通信与同步，而非共享内存。CSP对并发理论研究和实际编程语言设计（如Go、Erlang）均有深远影响。
核心事实
时间轴 (近 90 天)
9月11日
CSP（内容安全策略）是一种 HTTP 安全头，通过白名单机制防御跨站脚本攻击（XSS）和数据注入攻击
待验证50%
9月6日
Manifest V3 引入更严格的内容安全策略（CSP），禁止在扩展页面中使用 eval() 和内联脚本
待验证50%
8月28日
Tony Hoare是1980年图灵奖获得者、快速排序算法的发明者、CSP并发模型的提出者以及霍尔逻辑的创建者
待验证50%
8月23日
应把最终画面的元素当成约束条件而非视觉建议，因为约束条件可验证而视觉建议模糊
待验证50%
8月23日
Go语言的并发模型基于CSP理论，由Tony Hoare在1978年提出，核心思想是通过消息传递而非共享内存协调并发进程
待验证50%
全部知识事实 (6)
已验证
Go的并发模型基于CSP（通信顺序进程）理论，由计算机科学家Tony Hoare于1978年提出
80%待验证CSP（内容安全策略）是一种 HTTP 安全头，通过白名单机制防御跨站脚本攻击（XSS）和数据注入攻击
50%待验证Manifest V3 引入更严格的内容安全策略（CSP），禁止在扩展页面中使用 eval() 和内联脚本
50%待验证Tony Hoare是1980年图灵奖获得者、快速排序算法的发明者、CSP并发模型的提出者以及霍尔逻辑的创建者
50%待验证应把最终画面的元素当成约束条件而非视觉建议，因为约束条件可验证而视觉建议模糊
50%待验证Go语言的并发模型基于CSP理论，由Tony Hoare在1978年提出，核心思想是通过消息传递而非共享内存协调并发进程
50%