标签 goroutine 下的文章

Go vs. Rust再掀波澜:Grab真实案例复盘,Gopher如何看待这场“效率与代价”之争?

本文永久链接 – https://tonybai.com/2025/06/24/grab-rewrote-go-service-in-rust

大家好,我是Tony Bai。

最近,东南亚科技巨头、出行公司 Grab 的一篇技术博客《Counter Service: How we rewrote it in Rust》在技术圈引起了不小的震动。他们将一个高 QPS(每秒查询率)的 Go 微服务(Counter Service)用 Rust 进行了重写,结果令人瞩目:在保持相似 P99 延迟性能的前提下,基础设施成本降低了高达 70%!


P99延迟对比:Go(紫色),Rust(蓝色)

这个案例无疑给许多以 Go 作为主力语言的团队和开发者带来了强烈的冲击。Go 语言以其简洁、高效并发、快速编译以及强大的生态系统,在微服务、云原生领域早已占据重要地位。那么,Grab 的这次成功“叛逃”,是否意味着 Go 语言在某些场景下的“护城河”正在被侵蚀?Rust 真的是解决一切性能和成本问题的“银弹”吗?

今天,我们就来深入剖析 Grab 的这个重构案例,看看他们究竟“得”了什么,“失”了什么,以及这背后能给咱们 Gopher 带来哪些宝贵的启示。

Rust 的“杀手锏”:极致效率带来的基础设施成本骤降

Grab 的 Counter Service 主要负责计数和提供 ML 模型/欺诈规则的计数器服务,是一个典型的 I/O 密集型和计算密集型并存的服务,QPS 峰值可达数万。用 Go 实现时,该服务需要大约 20 个 CPU Cores 来支撑。

然而,在用 Rust 重写后,同样的负载下,新的 Rust 服务仅需 4.5 个 CPU Cores!这几乎是 近80% 的资源节省,直接带来了 70%以上的基础设施成本降低。

为什么 Rust 能做到如此极致的效率提升?Grab 的文章和 Rust 语言本身的特性共同揭示了答案:

  • 无垃圾回收 (GC):这是 Rust 相比 Go 在追求极致性能和资源控制上的核心优势。Go 的 GC 虽然已经非常优秀,但在高并发、低延迟场景下,GC 扫描和 STW (Stop-The-World) 仍然可能引入不可预测的延迟抖动和额外的 CPU 开销。Rust 通过所有权系统在编译期保证内存安全,无需运行时 GC,从而消除了这部分开销。
  • 内存安全与零成本抽象:Rust 的所有权、借用检查等机制虽然带来了陡峭的学习曲线,但也确保了内存安全,避免了空指针、数据竞争等常见问题。同时,Rust 的许多高级抽象(如迭代器、闭包)能够在编译期被优化掉,实现“零成本抽象”,性能接近 C/C++。
  • 更精细的控制:Rust 赋予开发者对内存布局、线程模型更细致的控制权,使得在特定场景下可以进行深度优化。

Grab 的案例似乎在证明,当业务场景对资源消耗和运行成本极度敏感,且服务逻辑相对“简单”(Grab 特别强调了选择重写目标时,功能需要足够简单,复杂度可控)时,Rust 的这些特性能够带来实实在在的巨大回报。

光鲜背后的“代价”:Grab 的探索与挑战

然而,享受 Rust 带来的极致效率并非没有代价。Grab 团队在博客中也坦诚地分享了他们遇到的挑战和权衡:

  • 陡峭的学习曲线,尤其是 async

文章提到:对于习惯了 Go 语言简洁 go关键字和 GMP 调度模型的 Gopher 来说,Rust 的所有权、生命周期已经是第一道坎,而 async/await 异步模型及其“函数着色”问题、显式 yield(通过 await)等概念,则带来了更高的认知负荷。Grab 团队也曾因错误地在异步代码中使用了同步 Redis 调用而导致性能不佳。

  • 生态系统与内部库的“阵痛”

虽然 Rust 的生态在快速发展,但在某些特定领域,库的选择可能不如 Go 那样成熟和丰富。Grab 团队在选择 Datadog 和 Redis 客户端库时就进行了一番评估和取舍。

更痛的是内部库的迁移。Grab 内部大量基础库是用 Go 编写的,例如一个使用 Go Templates 进行配置管理的库。在 Rust 项目中,这些 Go 库无法直接复用,团队不得不使用 nom 解析器组合库在 Rust 中重写了类似的功能。这无疑增加了重构的成本和时间。

  • 开发体验的差异

Go 的设计哲学之一就是“简单”,这使得开发者能够快速上手并高效迭代。Goroutine 和 Channel 的易用性,让并发编程的门槛大大降低。相比之下,Rust 为了安全和性能,在语言层面引入了更多复杂性,需要开发者投入更多精力去理解和驾驭。

  • “Rust 一定比 Go 快得多”是迷思

一个非常重要的发现是,Grab 明确指出:“神话 1:Rust 非常快!比 Golang 更快!判定:被驳斥。Golang 对于大多数使用案例来说“足够快”……仅仅为了性能提升而将 Golang 服务重写为 Rust 不太可能带来显著的好处。”

在 P99 延迟方面,Rust 版本与 Go 版本表现相当,甚至有时略差。这告诉我们,Go 在其设计领域内性能已经足够优秀,单纯为了追求“更极致”的速度而用 Rust 重写 Go 服务,可能并不能带来预期的巨大性能提升,反而可能因为生态、开发效率等问题得不偿失。Grab 的主要收益点在于显著的 资源效率 提升。

Gopher 何去何从?几点思考

Grab 的案例无疑是 Go 社区的一面镜子,它照见了 Go 的优势,也揭示了在特定场景下可能存在的“天花板”。作为 Gopher,我们应如何看待这个案例,并从中吸取经验呢?

首先,Go 的核心优势依然稳固。Go 语言以其简洁性、强大的并发模型(Goroutine + Channel)、高效的编译速度、完善的工具链以及成熟的生态系统,继续在云原生、微服务、中间件和 DevOps 工具等领域占据首选或极具竞争力的地位。对于绝大多数业务场景,Go 提供的开发效率和运行性能是“足够好”的,且具有高性价比。

其次,关于何时考虑使用 Rust 进行“动刀”,Grab 的案例提供了几个关键的决策参考点。

  • 在面对极高的 QPS 和资源消耗时,如果服务本身成为性能瓶颈且占用了大量服务器资源,那么迁移可能是合适的。
  • 当功能相对简单且逻辑内聚时,重写的复杂度较低,易于验证,这样可以避免对复杂业务系统进行大规模重写。
  • 当基础设施成本成为显著负担,优化能带来巨大的商业价值时,也应考虑使用 Rust。
  • 团队必须具备掌握 Rust 的能力,成员需熟悉 Rust 并愿意投入时间和资源进行团队赋能。在不满足这些前提条件的情况下,盲目追求 Rust 可能弊大于利。

再者,在考虑语言迁移之前,我们应充分挖掘 Go 本身的优化潜力。例如,进行代码层面的性能分析与优化、架构调整、选择更优的 Go 库,甚至是通过 Go 版本升级带来的 GC 改进等。重写通常应视为最后的手段。

关于 Gopher 是否需要拥抱 Rust,这取决于个人的发展方向和兴趣。如果你专注于业务开发和应用层构建,Go 依然能让你游刃有余。但如果你对系统编程、底层优化、嵌入式或游戏引擎等领域感兴趣,或者所在的公司/团队正在引入 Rust,那么学习 Rust 无疑会为你打开一扇新的大门。即使不深入学习,了解 Rust 的核心理念(如所有权、生命周期和无GC)也能帮助我们更好地理解程序运行的本质,从而写出更健壮、更高效的 Go 代码。

最后,Go 语言的未来同样值得关注。Go 社区在持续进化,例如对泛型的支持提升了表达力,而持续优化的 GC 以及不断丰富的高性能标准库也在不断减少对性能的影响。未来,Go 是否会在某些方面借鉴其他语言的优秀特性,以保持其核心优势的同时,进一步拓展能力边界,值得我们期待。

小结

Grab 用 Rust 重写 Go 服务的案例,再次印证了技术选型中“没有银弹,只有取舍”的黄金法则。Rust 以其极致的性能和资源控制能力,在特定场景下展现了巨大的潜力。但这并不意味着 Go 已经过时或不再优秀。

对于我们 Gopher 而言,重要的是理解不同语言的设计哲学、优势与代价,并根据具体的业务场景、团队能力和长远目标,做出最适合的决策。

你对 Grab 的这个案例有什么看法?你认为在哪些场景下,用 Rust 替代 Go 是值得考虑的?欢迎在评论区留下你的思考!


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

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

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

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

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


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

当一切皆可用Python:Go这样的通用语言与DSL的未来价值何在?

本文永久链接 – https://tonybai.com/2025/06/19/language-design-in-the-era-of-llm

大家好,我是Tony Bai。

大型语言模型 (LLM) 的浪潮正以前所未有的速度和深度席卷软件开发领域。从代码生成、Bug 修复到文档撰写,AI 似乎正成为每一位开发者身边无所不能的“副驾驶”。在这股浪潮中,一个略显“刺耳”但又无法回避的论调开始浮现,正如一篇引人深思的博文《Programming Language Design in the Era of LLMs: A Return to Mediocrity?》中所指出的那样:“一切都更容易用 Python 实现 (Everything is Easier in Python)”——当然,这里指的是在 LLM 的强力辅助下。

这并非危言耸听。文章中展示的图表(来源于论文 “Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs“)清晰地揭示了一个趋势:LLM 在那些训练数据量巨大的“高资源”语言(如 Python, JavaScript, Java, C# 等)上,代码生成和任务解决的效能显著高于像 Go、Rust 这样的“低资源”语言:

如果 LLM 能够如此轻松地用 Python(或其他高资源语言)根据自然语言需求生成大部分“胶水代码”甚至核心逻辑,那么我们不禁要问:

  • 精心设计和构建领域特定语言 (DSL) 的价值还剩下多少?当消除冗余、封装领域知识这些 DSL 的核心优势,似乎可以被 LLM+通用语言轻易取代时,DSL 的未来是否会因此停滞?
  • 对于像 Go 这样以简洁、高效、工程化著称的通用语言,当其在 LLM 训练数据中的“声量”不及 Python 时,它的核心竞争力又将面临怎样的挑战与机遇?

今天,我们就来聊聊在 LLM 时代,DSL 和像 Go 这样的通用语言,其未来的价值究竟何在。

DSL 的黄昏?当 LLM 成为“万能代码生成器”

领域特定语言 (DSL) 的核心价值在于“专为特定领域而生”。通过精心设计的语法和语义,DSL 能够:

  • 提升表达力: 让领域专家或开发者能用更接近自然语言或领域术语的方式描述问题。
  • 消除样板代码: 将领域内的通用模式和“常识性规则”编码到语言自身。
  • 降低认知负荷: 开发者可以更专注于问题的“有趣”部分,而非底层实现细节。
  • 减少错误面: 通过语言层面的约束,使得编写出不正确的程序变得更加困难。

文章中那个视频游戏对话的例子就非常典型:从繁琐的 API 调用序列

# example code for a VN
character.draw("alice", character.LEFT, 0.1)
character.draw("bob", character.RIGHT, 0.1)
character.say("alice", "hello there!")
character.say("bob", "hi!")
character.state("alice", "sad")
character.say("alice", "did you hear the news?")

到简洁的 DSL 描述

# example DSL for dialog
[ alice @ left in 0.1, bob @right in 0.1  ]
alice: hello there!
bob: hi!
alice[sad]: did you hear the news?...

DSL 的优势一目了然。

然而,LLM 的出现,似乎正在侵蚀 DSL 的这些传统护城河。当开发者可以用自然语言向 Copilot 或 ChatGPT 描述“我想要一个能让 Alice 和 Bob 在屏幕两侧对话的场景”,并且 LLM 能够直接生成 Python 或 JavaScript 代码来实现这个功能时,我们不禁要问:为什么还要费心去学习、设计、构建和推广一个全新的 DSL 呢?

这里隐含的“机会成本”的问题非常现实:

  • DSL 的学习与生态位:使用一个“小众”的 DSL,意味着开发者可能要放弃使用 LLM 在主流语言上生成代码的巨大便利。LLM 在小众 DSL 上的表现(如果未经专门微调)几乎可以预见会非常糟糕。
  • DSL 的构建成本:设计和实现一个高质量的 DSL 本身就需要巨大的投入。在 LLM 时代,这个投入的“性价比”似乎正在下降。

这引发了一个令人担忧的趋势:DSL 的发展是否会因此停滞不前?语言设计的多样性是否会因此受到冲击,最终导致“人人皆写 Python (在 LLM 辅助下)”的局面?

Go 语言:在 LLM 时代的“低资源”挑战与独特优势

Go语言虽然在全球拥有数百万开发者,并且在云原生、后端开发等领域占据主导地位,但在 LLM 的训练数据占比上,相较于 Python、JavaScript 等拥有更长历史和更广泛应用场景(尤其是 Web 前端、数据科学等产生大量开源代码的领域)的语言,仍然处于“低资源”状态。

这意味着,LLM 在直接生成高质量、复杂 Go 代码方面的能力,目前可能还无法与它在 Python 等语言上的表现相媲美。 这对 Go 社区和开发者来说,既是挑战,也是反思和寻求新机遇的契机。

挑战:

  • 如果 LLM 生成 Go 代码的效率和质量暂时落后,可能会降低新手或寻求快速原型验证的开发者选择 Go 的意愿。
  • Go 社区可能需要投入更多精力来构建 LLM 友好的工具、库和高质量的训练数据。

然而,Go 语言的独特优势在 LLM 时代或许会更加凸显:

  • 简洁性与明确性对 LLM 的“友好”:
    • Go 语言语法精炼,关键字少,没有复杂的继承和隐式转换。这种“所见即所得”的特性,可能使得 LLM 更容易理解 Go 代码的结构和语义。
    • Go 的强类型系统和明确的错误处理机制 (if err != nil),虽然在手动编码时有时显得冗余,但在 LLM 生成或分析代码时,这些明确的信号可能有助于 LLM 生成更健壮、更易于验证的代码。
  • 强大的标准库与工程化特性:
    • Go 丰富的标准库覆盖了网络、并发、编解码等常见场景。LLM 在生成 Go 代码时,可以更多地依赖这些经过充分测试和优化的标准组件,减少对第三方库的复杂依赖。
    • Go 内置的测试、性能分析、代码格式化等工具,以及其对模块化的良好支持,有助于对 LLM 生成的代码进行有效的质量控制和集成。
  • 并发模型与性能优势的不可替代性:
    • Go 的 Goroutine 和 Channel 提供的轻量级并发模型,在构建高并发网络服务和分布式系统方面具有独特优势。这部分逻辑的复杂性和对性能的极致要求,可能难以完全由 LLM 在 Python 等语言中通过简单生成来完美复制。
    • Go 编译后的静态二进制文件和高效的执行性能,在许多后端和基础设施场景中依然是硬核需求。
  • Go 作为“基础设施”语言的潜力:
    • LLM 本身就需要强大的基础设施来训练和运行。Go 在构建这些大规模、高并发的 AI 基础设施方面,已经扮演了重要角色(如 Ollama 等项目)。
    • Go 的简洁性和安全性,也使其成为定义和执行 AI Agent 行为、编排复杂 AI 工作流的理想语言。

LLM 时代,语言设计(DSL 与通用语言)的破局之路

面对大型语言模型(LLM)带来的挑战,编程语言的设计(无论是领域特定语言(DSL)还是通用语言如 Go)并非只能被动应对。学术界正在探索一些富有前景的新方向,旨在实现语言设计与 LLM 的协同进化,而非零和博弈。

首先,有研究提出教会 LLM 理解 DSL 的方法,核心思路是利用 LLM 擅长的语言(如 Python 的受限子集)来表达核心逻辑。由于 LLM 对特定 DSL 的理解和生成能力有限,开发者可以设计工具或方法,将这些 Python 表达式“提升”或自动翻译到目标 DSL 中。这一思路启示未来的 DSL 设计者应考虑为其语言提供一个 LLM 友好的“语义映射层”,例如用 Python 或其他高资源语言来描述其核心概念和操作。

其次,在 DSL 中弥合“形式化”与“非形式化”的鸿沟也是一个重要方向。开发者在编写复杂系统内核时,往往需要精确控制每一行代码,此时 LLM 的帮助有限。然而,在编写不常用的“一次性”脚本时,LLM 能够根据自然语言描述生成“胶水代码”,使得开发者只需关注核心的“有趣”部分。因此,未来的 DSL 设计可以探索如何无缝集成“非形式化”自然语言描述,作为规范、注释,甚至直接融入代码中。与此同时,是否可以从 DSL 的类型系统或静态分析结果中,自动生成高质量的自然语言规范,反过来帮助 LLM 更好地理解和生成 DSL 代码,值得深入研究。

最后,面向 LLM 辅助验证的语言设计也成为一种趋势。研究者们不再满足于 LLM 生成“能运行”的代码,而是期望 LLM 能生成带有形式化规约(specifications)的代码,并利用验证语言(如 Dafny、Boogie)来证明这些代码的正确性。这一趋势对 DSL 和通用语言(如 Go)的设计提出了新要求,开发者需要考虑如何更好地支持“规约即代码”和“验证即开发”的模式。例如,Go 语言的强类型和接口设计,为形式化验证提供了一定的基础,未来的改进可以在此基础上进一步发展。

通过以上几个方向的探索,编程语言设计有望与 LLM 实现更为紧密的协同进化,推动软件开发的进步和创新。

小结:挑战之下,价值重塑

LLM 的崛起,无疑对整个编程语言生态带来了深刻的冲击和前所未有的挑战。那种“学会一门语言,用好一个框架,就能高枕无忧”的时代可能正在远去。

“一切皆可用 Python (在 LLM 辅助下)”的论调,虽然略显夸张,但也点出了一个事实:对于那些仅仅是为了减少样板代码、提供简单抽象的 DSL,或者在表达力和生态丰富度上不及 Python 的通用语言,其生存空间确实受到了挤压。

然而,这并不意味着语言设计本身会走向“平庸化”或消亡。相反,LLM 可能会迫使我们重新思考编程语言的核心价值:

  • 对于 DSL,未来可能需要更高的“门槛”——它们必须提供真正深刻的领域洞察和远超通用语言的表达效率与安全性,才能证明其存在的必要性。同时,与 LLM 的协同将是关键。
  • 对于像 Go 这样的通用语言,其价值将更多地体现在那些难以被 LLM 轻易复制的领域:极致的工程效率、经过实战检验的并发模型、强大的底层控制能力、以及构建大规模、高可靠系统的综合实力。Go 需要继续打磨其核心优势,并积极拥抱 AI,成为 AI 时代不可或缺的基石。

最终,技术的浪潮会淘汰掉不适应变化的,也会催生出新的、更强大的生命体。对于我们开发者而言,保持学习的热情,理解不同工具的本质和边界,拥抱变化,或许才是应对这个“AI 定义一切”时代的不二法门。

你认为 LLM 会如何改变你使用的编程语言?Go 和 DSL 的未来将走向何方?欢迎在评论区留下你的真知灼见!


精进有道,更上层楼

极客时间《Go语言进阶课》上架刚好一个月,受到了各位读者的热烈欢迎和反馈。在这里感谢大家的支持。目前我们已经完成了课程模块一『语法强化篇』的 13 讲,为你系统突破 Go 语言的语法认知瓶颈,打下坚实基础。

现在,我们即将进入模块二『设计先行篇』,这不仅包括 API 设计,更涵盖了项目布局、包设计、并发设计、接口设计、错误处理设计等构建高质量 Go 代码的关键要素。

这门进阶课程,是我多年 Go 实战经验和深度思考的结晶,旨在帮助你突破瓶颈,从“会用 Go”迈向“精通 Go”,真正驾驭 Go 语言,编写出更优雅、
更高效、更可靠的生产级代码!

扫描下方二维码,立即开启你的 Go 语言进阶之旅!

感谢阅读!

如果这篇文章让你对AI时代的DSL和通用语言设计和未来有了新的认识,请帮忙转发,让更多朋友一起学习和进步!


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

如发现本站页面被黑,比如:挂载广告、挖矿等恶意代码,请朋友们及时联系我。十分感谢! Go语言第一课 Go语言进阶课 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