标签 CSP 下的文章

你每天敲下的 go func(),藏着这位 92 岁老人的毕生心血

本文永久链接 – https://tonybai.com/2026/03/11/in-memory-of-tony-hoare

大家好,我是Tony Bai。

在这个由代码构建的现代世界里,有些名字如同星辰般指引着航向。但遗憾的是,2026 年 3 月 5 日,其中一颗最明亮的星辰熄灭了。

图灵奖得主、快速排序(Quicksort)发明者、CSP(通信顺序进程)理论之父 Tony Hoare(托尼·霍尔)与世长辞,享年 92 岁

也许你并不熟悉这个名字。但只要你是一个程序员,你就一定在面试时手写过他发明的快速排序;如果你是一个 Go 开发者,那你每天在键盘上敲下的每一个 go func() 和 make(chan int),都在调用着他留给这个世界的伟大的遗产。

今天,让我们暂时放下手头的 CRUD,跨越半个世纪的时间洪流,去看看这位非典型天才,是如何用他那近乎神迹的洞察力,赐予了 Go 语言制霸云原生时代的“并发灵魂”。

被“共享内存”支配的黑暗时代

在讲 Tony Hoare 有多伟大之前,我们必须先回忆一下,在他提出那套神级理论之前,程序员们在并发编程的泥潭里经历了怎样暗无天日的挣扎。

随着多核时代的到来,程序需要同时执行多个任务。传统的思路极其简单粗暴:共享内存(Shared Memory)。

一堆线程就像一群饿狼,死死盯着同一块内存区域。为了防止数据被写乱,程序员们被迫发明了互斥锁(Mutex)、信号量(Semaphore)。你必须极其小心地、以上帝视角去加锁、读写、释放锁。

只要你稍有不慎,忘记解锁,或者加锁顺序反了,死锁(Deadlock)和竞态条件(Race Condition) 就会像幽灵一样找上门来。程序在本地跑得好好的,一上生产环境就离奇崩溃,且极难复现、极难调试。

那是一个属于并发编程的“黑暗时代”。天下程序员苦“共享内存与锁”久矣,却找不到破局之法。

从古典哲学到“六便士的赌注”

就在整个计算机科学界在锁的泥潭里打滚时,Tony Hoare 站了出来。

有趣的是,Tony 并非科班出身。他在大学修读的竟然是古典学与哲学,后来又在皇家海军服役期间接受了高强度的俄语训练。这种看似“不务正业”的跨学科背景,赋予了他极其严密的逻辑思辨能力和哲学视角的解构能力。

他年轻时有个极其经典的轶事:在一家公司打工时,老板让他实现 Shellsort(希尔排序)。Tony 完成任务后,怯生生地对老板说:“我知道一种比这快得多的算法。” 老板不屑一顾:“我跟你赌六便士(大约几毛钱),你肯定不知道!”

于是,Tony 写出了那个后来被印在全世界每一本数据结构教材里的算法——快速排序(Quicksort)。他不仅赢走了那六便士,还顺手改变了世界。

而在面对并发编程的“绝症”时,Tony 再次展现了他哲学般的降维打击能力。

惊世骇俗的 CSP 理论

1978 年,Tony Hoare 发表了一篇名为《通信顺序进程》(Communicating Sequential Processes, 简称 CSP)的学术论文。

宛如一道闪电,这篇论文劈开了并发编程的混沌。

Tony 的哲学思维告诉他:既然共享内存那么容易出错,那我们干脆就不要共享内存了!

在 CSP 理论中,系统被划分为多个独立的、顺序执行的黑盒(进程)。它们之间没有任何共享状态。当它们需要协作时,唯一的交互方式是通过一条极其明确的管道(Channel)来“发送和接收消息”

这就像是现实生活中的流水线工人:每个人只管自己手头的活(顺序执行),做完了就通过传送带(Channel)递给下一个人。没人去抢同一个零件,自然就不需要打架(加锁)。

这种高度抽象的数学模型,完美地将复杂的并发控制,降维成了简单的数据流动。

Go 语言与云原生的基石

理论是伟大的,但在 1978 年,CSP 受限于当时的硬件架构,很难大规模工程化普及。它在学术界的象牙塔里,静静等待着一个能将它发扬光大的使者。

30 年后,谷歌的一间办公室里,Rob Pike、Ken Thompson 等几位大神正被 C++ 的并发折磨得痛不欲生。他们决定创造一门新的语言

由于 Rob Pike 早年深受 CSP 理论启发,他将 Tony Hoare 的毕生心血,直接刻进了这门新语言的基因里。这门语言,就是 Go。

Tony Hoare 论文里的晦涩数学模型,在 Go 语言里被具象化为了两个极其优雅的关键字:

  1. 顺序进程,演化成了轻量级的 Goroutine (go func())。
  2. 通信管道,演化成了强类型的 Channel (make(chan int))。

Rob Pike 更是将 CSP 的核心思想,提炼成了那句在 Go 圈子里无人不知的至理名言:

“Do not communicate by sharing memory; instead, share memory by communicating.”
(不要通过共享内存来通信,而应该通过通信来共享内存。)

让我们看一眼这被 CSP 灵魂洗礼过的代码,没有任何 sync.Mutex,没有复杂的死锁恐惧,数据的控制权随着流水的管道优雅地传递:

func main() {
    ch := make(chan int) // 创造一条 Tony Hoare 定义的通信管道

    go func() {          // 启动一个 Tony Hoare 定义的顺序进程
        ch <- 42         // 通过通信转移数据
    }()

    fmt.Println(<-ch)    // 完美接收,无需任何锁
}

Tony Hoare 也许没有预料到,他在半个世纪前写下的论文,会在今天成为支撑全球互联网的基石之一。

当我们谈论云原生时代的 Docker、Kubernetes、Prometheus 时,我们谈论的其实是 Go 语言;而当我们惊叹于 Go 语言能轻松扛起千万级的高并发调度时,我们真正应该感谢的,是底层那个名叫 CSP 的幽灵。

我们每一次扩容容器,底层的字节流都在以 Tony Hoare 所描绘的方式,有条不紊地穿梭于硅片与光纤之间。

致敬宗师:最好的纪念,是传承他的思想

Jim Miles 在追忆 Tony 的文章中提到,这位伟大的图灵奖得主极其谦逊。他曾笑着对别人说:“真正的天才不是一蹴而就的,而是在无数个日夜的深度思考中,为了一个单一问题苦苦挣扎的凡人。”

作为普通的开发者,我们无缘与这位伟人共饮下午茶,或听他亲口讲述那六便士的赌注。但作为工程师,我们对宗师最好的纪念,就是停止写那些糟糕的、充满死锁风险的并发代码,去真正理解并传承他的设计哲学。

今天,当你再次在 IDE 中敲下那个简短却充满魔力的 go func() 时,请在心底默默向这位智者致敬。

再见了,一代巨匠 Tony Hoare。

您的代码和算法已是不朽。您赐予计算世界的并发灵魂,将伴随着一代又一代的程序员,在无尽的服务器网络中,永不停止地运行下去。

参考资料

  • https://en.wikipedia.org/wiki/Communicating_sequential_processes
  • https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html

今日互动:

你在平时的 Go 开发中,是更喜欢用 Channel(CSP 模型)还是更习惯用 Mutex 锁(共享内存模型)?在并发编程中踩过哪些大坑?

欢迎在评论区分享你的心得!


认知跃迁:真正驾驭 Go 的并发灵魂

Tony Hoare 将复杂的并发问题,抽象成了极其优雅的 CSP 理论。但很多 Go 开发者,由于没有看透这层底层哲学,依然在用写 Java/C++(共享内存)的思维来写 Go,最终把 Channel 滥用得一塌糊涂,甚至引发严重的 Goroutine 泄漏。

想要真正吃透 Go 语言的并发灵魂,靠死背语法是绝对不够的。 你必须深入理解底层调度器(G-M-P 模型)是如何运作的,必须明白何时该用 Channel,何时该退回到 Mutex。

如果你渴望突破并发编程的认知瓶颈,不再只做一个“会调关键字”的熟练工,而是想成为能设计出高可用、极高并发架构的 Go 资深专家——

我的极客时间专栏 Go语言进阶课 正是为你量身定制。在这 30+ 讲硬核内容中,我将带你剥开语法糖,直击 Go 并发模型的底层骨架,重塑你的系统级架构审美。

扫描下方二维码,加入专栏。让我们用最扎实的工程实践,去向半个世纪前的伟大思想致敬!


还在为“复制粘贴喂AI”而烦恼?我的新专栏 AI原生开发工作流实战 将带你:

  • 告别低效,重塑开发范式
  • 驾驭AI Agent(Claude Code),实现工作流自动化
  • 从“AI使用者”进化为规范驱动开发的“工作流指挥家”

扫描下方二维码,开启你的AI原生开发之旅。


原「Gopher部落」已重装升级为「Go & AI 精进营」知识星球,快来加入星球,开启你的技术跃迁之旅吧!

我们致力于打造一个高品质的 Go 语言深度学习AI 应用探索 平台。在这里,你将获得:

  • 体系化 Go 核心进阶内容: 深入「Go原理课」、「Go进阶课」、「Go避坑课」等独家深度专栏,夯实你的 Go 内功。
  • 前沿 Go+AI 实战赋能: 紧跟时代步伐,学习「Go+AI应用实战」、「Agent开发实战课」、「Agentic软件工程课」、「Claude Code开发工作流实战课」、「OpenClaw实战分享」等,掌握 AI 时代新技能。
  • 星主 Tony Bai 亲自答疑: 遇到难题?星主第一时间为你深度解析,扫清学习障碍。
  • 高活跃 Gopher 交流圈: 与众多优秀 Gopher 分享心得、讨论技术,碰撞思想火花。
  • 独家资源与内容首发: 技术文章、课程更新、精选资源,第一时间触达。

衷心希望「Go & AI 精进营」能成为你学习、进步、交流的港湾。让我们在此相聚,享受技术精进的快乐!欢迎你的加入!

img{512x368}


商务合作方式:撰稿、出书、培训、在线课程、合伙创业、咨询、广告合作。如有需求,请扫描下方公众号二维码,与我私信联系。

像 Go 创始人一样思考:用五大思维原理重学 Go 语言

本文永久链接 – https://tonybai.com/2025/12/26/think-like-go-founders-relearn-go-five-principles

大家好,我是Tony Bai。

学习一门新的编程语言时,我们常常陷入“是什么”的迷雾:goroutine 是什么?channel 是什么?interface 是什么?我们记忆语法,模仿示例,却很少追问那个更根本的问题——“为什么”

为什么 Go 要被设计成这个样子?

要回答这个问题,我们需要进行一次“思想上的角色扮演”,回到 Go 语言诞生之前的那个“原点”,像它的创始人们——Rob Pike, Ken Thompson, Robert Griesemer——一样思考。他们并非在“发明”一门新语言,而是在运用一系列深刻的思维原理,为一组棘手的工程问题,构建一个全新的、逻辑自洽的解决方案。

本文,就让我们一起踏上这场“重学 Go”的旅程。我们将带上五大“精英思维原理”作为工具,去看看我们能否“重新推导出”Go 语言的核心设计,并以此重塑我们对这门语言的理解。

img{512x368}


第一性原理 (First Principles):追问 Go 的“为什么”

思维原理:将问题或理念,还原到其最基础、最无可辩驳的元素,并以此为基石进行重构。

这是所有深度思考的起点。在 Go 诞生的 2007 年,Google 的工程师们面临着几个无可辩驳的“基础事实”,这些事实构成了 Go 语言设计的“宇宙大爆炸”奇点:

  1. 事实一:硬件变了。 摩尔定律趋于终结,CPU 不再是变得更快,而是变得更多多核处理器已成为标配。
  2. 事实二:网络无处不在。 软件不再是单机运行的孤岛,而是由大量通过网络进行交互的分布式服务构成。
  3. 事实三:人是昂贵的。 软件的规模和复杂性爆炸式增长,工程师的开发效率和大规模协作,已成为比机器执行效率更重要的瓶颈。当时的主流语言(如 C++),其缓慢的编译速度和极高的复杂性,正在扼杀生产力。

现在,让我们像 Go 创始人一样,从这三个基础事实出发,看看会推导出什么。

推论一:并发必须是“一等公民”

  • 出发点 (事实一 & 二):既然硬件是多核的,系统是网络的,那么并发就不应再是一个需要通过复杂库(如 pthreads)来实现的、充满痛苦的“高级特性”。它必须成为语言的内建核心
  • 第一性问题:一个理想的并发模型,其最基础的元素是什么?是独立的执行单元,以及它们之间安全的通信机制
  • Go 的答案
    • goroutine:一个极其轻量级的独立执行单元,创建成本极低,让“为每一个网络请求启动一个并发任务”成为可能。
    • channel:一个类型安全的、用于在 goroutine 之间传递消息的管道。这直接引出了 Go 的著名哲学:“不要通过共享内存来通信,而要通过通信来共享内存。

当你从这个角度看时,goroutine 和 channel 就不再是两个孤立的语法,而是对“如何让并发变得简单安全”这个第一性问题,给出的一个优雅、逻辑自洽的答案。

推论二:错误处理必须“显式且强制”

  • 出发点 (事实二 & 三):在由成百上千个微服务构成的分布式系统中,网络错误、服务超时、节点宕机不再是“异常”,而是“常态”。一个健壮的系统,必须严肃地对待每一个可能出错的地方。
  • 第一性问题:如何确保开发者不会忽略任何一个潜在的失败?
  • Go 的答案
    • 将 error 作为普通的值返回:这使得错误的处理路径,成为程序控制流中明确、可见的一部分,而不是像 try-catch 那样,可以被“隐形”地向上传播。
    • 多返回值:通过允许函数同时返回“结果”和“错误”,Go 解决了传统返回码“侵占返回通道”的问题,使得错误处理不再笨拙。

if err != nil 的“繁琐”,从第一性原理的角度看,恰恰是其一大优点。它是在用语法,强制开发者去构建一个“失败优先” (fail-first) 的、更具韧性的心智模型。

推论三:组合必须优于继承

  • 出发点 (事实三):在大规模的、由数千名工程师协作的代码库中,最核心的挑战是管理复杂性
  • 第一性问题:构建大型软件的最佳方式是什么?是将小的、独立的、功能单一的组件,像乐高积木一样组合起来,还是构建一个复杂、脆弱的继承层次结构?
  • Go 的答案
    • 移除类和继承:从根源上杜绝了由复杂继承体系带来的脆弱基类、菱形依赖等问题。
    • 拥抱 struct 和 interface:Go 将世界清晰地划分为数据 (struct)行为 (interface)。struct 通过嵌入 (embedding) 实现状态的组合,而 interface 则通过隐式实现,实现了行为的、完全解耦的组合。

当你理解了“组合优于继承”这一软件设计的“第一性原理”时,Go 对 OOP 的“背叛”,就变成了一种远见卓识。

推论四:工具链必须“快如闪电”

  • 出发点 (事实三):工程师的时间是宝贵的。长达数十分钟的编译等待,是生产力的巨大杀手。
  • 第一性问题:一个编程语言的工具链,其最根本的使命是什么?是最大化地缩短从“想法”到“反馈”的循环周期
  • Go 的答案
    • 极快的编译速度:通过简化的语法、明确的依赖管理和并发编译等技术实现。
    • 内置一切:将格式化 (gofmt)、测试 (go test)、文档 (go doc)、依赖管理 (包括后期加入的go mod) 等所有核心功能,全部内置到工具链中,消除了无尽的工具选型和配置的痛苦。

分解 (Decomposition):拆解 Go 的“黑盒”

思维原理:将一个庞大、复杂的系统,拆解成更小、更易于管理的独立部分,逐一理解,再看它们如何协同工作。

重学 Go 的应用:将 Go 语言本身,及其标准库,视为一个可供“解剖”的系统。

比如:学习 net/http:不要把它当成一个“黑盒”,而是要:

  1. 分解它:http.ListenAndServe 内部做了什么?它创建了一个 Server,然后调用了 Accept 循环。
  2. 再分解:Server.Serve 内部又做了什么?它为每一个连接创建了一个新的 goroutine。
  3. 继续分解:conn.serve 内部呢?它解析 HTTP 请求,创建一个 Request 和一个 ResponseWriter,然后调用你注册的 Handler。

通过这样层层分解,你最终理解的,不再是一个模糊的“Web 服务器”,而是一系列清晰、可控的 Go 并发原语和 I/O 操作的组合。你会发现,Go 标准库本身就是学习 Go 语言最佳实践的“活教材”。


识别关键驱动力 (帕累托法则):抓住 Go 的 20% 核心

思维原理:识别出系统中那 20% 的、能驱动 80% 结果的核心要素,并集中精力掌握它们。

重学 Go 的应用:Go 语言的设计,本身就充满了对“帕累托法则”的应用。它刻意保持了极小的核心特性集。要高效地学习 Go,你也应该从这些“关键驱动力”入手。

Go 的 20% 核心是什么?

  1. struct 与 interface:理解 Go 如何通过数据(struct)行为(interface)的分离与组合来构建世界。这是 Go 语言最核心的哲学。
  2. goroutine 与 channel:理解 Go 的 CSP 并发模型。这是 Go 在云原生时代安身立命的根本。
  3. error 作为值:理解 Go 的错误处理哲学。这是编写健壮 Go 程序的关键。
  4. package 作为编译和依赖单元:理解 Go 如何组织和管理代码。

在你精通这四个“关键驱动力”之前,暂时忘掉 cgo、unsafe、反射 (reflect) 等更边缘、更复杂的特性。


结构化映射 (Structural Mapping):绘制你的 Go “心智地图”

思维原理:通过绘制概念图或草图,将一个理念或系统的各个部分,以及它们之间的连接关系,进行可视化

重学 Go 的应用:在你学习 Go 的每一个核心概念时,都尝试为它画一张“地图”。

  • 学习并发:画一张图,用方框代表 goroutine,用带箭头的线代表 channel 的数据流向。select 语句是什么?它就是这张图上的一个“十字路口”或“路由器”。

graph TD
    Producer1 -- "data" --> Channel1
    Producer2 -- "data" --> Channel2
    Channel1 --> Select{"select"}
    Channel2 --> Select
    Select -- "picked data" --> Consumer
  • 学习类型系统:画一张图,一个 http.Request 结构体在左边,一个 io.Reader 接口在右边。http.Request.Body 字段,就是连接这两者的“桥梁”,因为它本身就是一个 io.ReadCloser(实现了 io.Reader)。

这张“地图”,就是你在脑中构建的心智模型。一个清晰的心智模型,远比零散的语法知识更宝贵。


抽象层级切换 (Zoom In & Out):在 Go 的世界里自由穿梭

思维原理:优秀的思考者,能够持续不断地在“宏观”与“微观”之间切换视角。

重学 Go 的应用:在阅读一段 Go 代码时,刻意练习这种“缩放”能力。

以 fmt.Println(“hello”) 为例

  • Zoom Out (宏观):它是一个简单的标准库函数调用,用于向标准输出打印一行文本。这是它的API 语义
  • Zoom In (微观):Println 内部做了什么?它接收一个 …any,通过反射判断类型,最终将字节写入一个实现了 io.Writer 的 os.Stdout。这是它的实现细节
  • 再 Zoom In (硬件层面):写入 os.Stdout 最终会触发一个系统调用 (syscall),将数据从用户空间拷贝到内核空间,最终由操作系统和硬件来完成输出。这是它的底层原理

当你能够在这三个层级(API 语义、实现细节、底层原理)之间自如切换时,你就真正“理解”了 fmt.Println。将这种练习应用到你学习的每一个 Go 特性上。

小结

这些思维原理,为我们提供了一条全新的、更深刻的 Go 学习路径。它不再是一次被动的知识灌输,而是一场主动的、充满探索精神的“思想实验”。

当你开始用“第一性原理”去质疑,用“分解”去剖析,用“关键驱动力”去聚焦,用“结构化映射”去建模,用“抽象层级切换”去审视时,你学习的,将不再仅仅是 Go 这门语言本身,而是其背后所蕴含的、数十年来软件工程发展的智慧结晶。

这,正是从一名“Go 的使用者”,蜕变为一名“Go 的思考者”的开始。


你的“顿悟”时刻

这五大思维原理,哪一个最让你有“醍醐灌顶”的感觉?在你的 Go 学习之路上,是否也曾有过某个瞬间,让你突然从“写代码”升维到了“设计系统”?或者,你对 Go 的某个设计(如错误处理)曾有过误解,后来才明白其良苦用心?

欢迎在评论区分享你的“顿悟时刻”或独特见解! 让我们一起在思考中进化。

如果这篇文章为你打开了新的视角,别忘了点个【赞】和【在看】,并分享给身边热爱思考的 Gopher!


你的Go技能,是否也卡在了“熟练”到“精通”的瓶颈期?

  • 想写出更地道、更健壮的Go代码,却总在细节上踩坑?
  • 渴望提升软件设计能力,驾驭复杂Go项目却缺乏章法?
  • 想打造生产级的Go服务,却在工程化实践中屡屡受挫?

继《Go语言第一课》后,我的《Go语言进阶课》终于在极客时间与大家见面了!

我的全新极客时间专栏 《Tony Bai·Go语言进阶课》就是为这样的你量身打造!30+讲硬核内容,带你夯实语法认知,提升设计思维,锻造工程实践能力,更有实战项目串讲。

目标只有一个:助你完成从“Go熟练工”到“Go专家”的蜕变! 现在就加入,让你的Go技能再上一个新台阶!


想系统学习Go,构建扎实的知识体系?

我的新书《Go语言第一课》是你的首选。源自2.4万人好评的极客时间专栏,内容全面升级,同步至Go 1.24。首发期有专属五折优惠,不到40元即可入手,扫码即可拥有这本300页的Go语言入门宝典,即刻开启你的Go语言高效学习之旅!


商务合作方式:撰稿、出书、培训、在线课程、合伙创业、咨询、广告合作。如有需求,请扫描下方公众号二维码,与我私信联系。

如发现本站页面被黑,比如:挂载广告、挖矿等恶意代码,请朋友们及时联系我。十分感谢! Go语言第一课 Go语言进阶课 AI原生开发工作流实战 从 0 开始构建 Agent Harness Go语言精进之路1 Go语言精进之路2 Go语言第一课 Go语言编程指南
商务合作请联系bigwhite.cn AT aliyun.com
这里是 Tony Bai的个人Blog,欢迎访问、订阅和留言! 订阅Feed请点击上面图片

如果您觉得这里的文章对您有帮助,请扫描上方二维码进行捐赠 ,加油后的Tony Bai将会为您呈现更多精彩的文章,谢谢!

如果您希望通过微信捐赠,请用微信客户端扫描下方赞赏码:

如果您希望通过比特币或以太币捐赠,可以扫描下方二维码:

比特币:

以太币:

如果您喜欢通过微信浏览本站内容,可以扫描下方二维码,订阅本站官方微信订阅号“iamtonybai”;点击二维码,可直达本人官方微博主页^_^:
本站Powered by Digital Ocean VPS。
选择Digital Ocean VPS主机,即可获得10美元现金充值,可 免费使用两个月哟! 著名主机提供商Linode 10$优惠码:linode10,在 这里注册即可免费获 得。阿里云推荐码: 1WFZ0V立享9折!


View Tony Bai's profile on LinkedIn
DigitalOcean Referral Badge

文章

评论

  • 正在加载...

分类

标签

归档



View My Stats