lougxing / go-under-the-hood

📚 Go Under The Hood: A Source Code Study of Go (1.14, WIP)

声明：本项目已经终止维护，笔者在此特别感谢所有对支持、阅读和关注过此书的读者。

Notice：The project has terminated its maintenance, there will be no future plans for the writing of the book. The author would like to thank everybody who had supported, read and followed the writing of the book.

Go 语言原本

内容基于 go1.14

Go 语言从 2009 年诞生之初已有十余年的历史。 在这十年的过程中，Go 语言的热度逐渐上升，Go 语言团队也在持续不断的每隔六个月的时间就发布一个全新的 Go 版本。 纵观大多数编程语言的历史进程，令人惊讶的是 Go 语言自身在进化的这十余年间， 语言本身并未发生太大变化，Go 语言的用户能够持续不断写出向后兼容的应用。 从语言设计的角度而言，作为一门从诞生之初就考虑低成本、高并发、简洁等原则的语言， 很难让人不对其简洁设计背后的各项实现机制以及具体工作原理所好奇。 本书就是一本讨论 Go 语言源码工程中的技术原理及其演进历程的书籍。

致读者的话

读者可能会好奇，设计总在演进、源码总在变化，为什么要耗费力气研究实际工作中可能永远不会接触的源码？ 笔者以为不然，因为『软件工程发生在代码被非原作者阅读之时』，在阅读源码的过程中， 我们除了能进一步加深对语言本身的理解，更重要的则是理解某个设计背后所使用的根本原理， 以及当其他人在实现这个设计的过程中发生的工程决策、实践与实现技巧。 代码总是可以推倒重来，但原理却能『永生』。

另外也会有读者问，源码分析的文章这么多，为什么还要专门写关于源码分析的书？ 一个很重要的原因在于笔者在开始阅读 Go 源码并查阅部分资料时， 发现已经存在的资料大多已经存在一定程度上的过时， 同时在分析源码的过程中并没有细致到介绍某段代码的产生背景与相关知识， 更没有详细的调研并介绍技术的理论原理和发展历程。 这使得笔者在阅读这类资料时无法鉴别其内容的正确性。由于 Go 的开发是相当活跃的， 因此本书希望对整个 Go 源码的技术原理和演进历史进行一个相对完整的介绍。

注意，目前所有正文内容均为临时写作阶段，内容可能较为混乱，部分内容为空属于正常现象。 当全文初稿完成后会针对以下目标进行优化：

• 行文逻辑优化，补充大量配图
• 源码删减，只保留核心逻辑
• 对实际原理进行精炼，并延伸至理论
• 加强理论部分的描述，消除时效性较强的内容
• 理论与实践为主，代码为辅

全书的组织结构

本书内容涵盖整个 Go 语言的核心源码，这包括用户代码能直接接触的 Go 运行时组件、 与关键语言特性强相关的工具链、诸多重要的标准库 sync、context、reflect 和 errors 等等。 在极少数情况下，本书会讨论不同平台下的实现差异，主要以 Linux amd64 为主，只在独立设计的章节中讨论其他平台，例如 macOS 的 darwin 平台、WebAssembly 等。

本书共分为四个主要部分：

• 第一部分简要回顾了与 Go 运行时及编译器相关的基础理论，包括程序基础、并行编程、调度算法以及内存管理等主题，并在其最后一章中简要讨论了 Go 程序的生命周期。
• 第二部分着重关注 Go 的运行时机制，这包括 Go 运行时实现的调度器、内存分配器、垃圾回收器、核心语言特性以及程序的 ABI 以及运行时的类型系统等。
• 第三部分则着眼于 Go 相关的工具链，包括编译器、链接器、依赖管理以及运行时调试等工具，其中包括 Go 编译器对代码进行逃逸分析等语义分析、对 cgo 程序的翻译和链接过程、Go 程序的自举等等。
• 第四部分则讨论了一些依赖运行时和编译器的标准库，如 sync、net 等；除此之外，还讨论了一些与核心语言特性相关的标准库，如 context、errors 以及 contracts。

本书的参考文献分为两种不同的类型。在每个小节后都附有进一步阅读的参考文献， 这类文献的主要目的是将读者指向书中尚未进一步深入探讨的话题，通常这类话题已经超出全书的讨论范畴， 这类文献给对该内容感兴趣的读者一个进一步阅读的空间； 其二是书后的参考文献，这些文献是在编写本书时引用、参考的主要文献，读者可以根据自己的需求选择并查阅本书参考过的文献。

阅读的预备知识

阅读本书的读者应该具备一些基本的计算机科学素养，至少学过一门程序设计课程以及数据结构的课程，例如能够熟悉地谈论散列表、红黑树等概念。若你具备基本的离散数学和概率论知识，对谓词、随机变量等数学概念具有一定程度的理解，那么将会对阅读本书的部分章节有所帮助。

本书并未要求读者已经掌握使用 Go 语言，因此会在开篇快速介绍 Go 的语言规范。如果你已经具备 Go 语言编码和相关开发经验，则会对阅读本书有所帮助。

开始阅读

• 网站在线

社区的支持

本书的主页（ https://changkun.de/golang ）以及 GitHub 仓库（ https://github.com/changkun/go-under-the-hood ）上可以找到本书的更新情况以及一些额外的参考资料。 这是一本开源书籍，读者还可以在 GitHub 仓库上向作者发起关于本书内容的问题，或报告本书存在的错误。 笔者欢迎您在 GitHub 仓库上提交 Issues 或 Pull Request。 其具体细节请参考如何参与贡献。 如果您想要关注本仓库的更新情况，可以点击仓库的 Watch。如果您喜欢本书，我们也非常高兴能够收到您的 Star 和资助。

致谢

笔者希望感谢他所在 Go 夜读 社区小组的核心成员，感谢他们努力建设的 Go 语言社区环境，他们是：@yangwenmai, @qcrao, @eddycjy, @FelixSeptem，以及社区里的朋友们积极参与并讨论 Go 语言的相关问题，他们是：@cch123。

当然，本书的写作离不开诸多热心读者的支持，笔者收到了来自下列人员的有帮助的评价和勘误：@two, @yangxikun, @cnbailian, @choleraehyq, @PureWhiteWu, @hw676018683， @wangzeping722。笔者真心感谢这些人对本书内容的质疑与指正。当然，书中还可能有错误存在，希望得到更多的指正和反馈。

最后，笔者特别感谢 @egonelbre 所提供的 gopher 图片设计。

许可

Go under the hood | CC-BY-NC-ND 4.0 & MIT © changkun