约 6 分钟2 张卡

Go 运行时

Go 运行时是程序执行时提供语言支持的一组实现，负责 goroutine 调度、栈管理、内存分配、垃圾回收等工作，并把网络等待与调度连接起来。它随标准 Go 工具链构建的程序一起工作，业务代码没有显式导入 runtime，也不代表程序不需要这些支持。

理解运行时，先要把各项职责放在一起看：任务怎样得到执行机会，数据放在哪里，等待时谁还能继续运行，不再需要的堆对象又怎样回收。本文以 Go 1.22.12 为实现背景，具体算法与参数在相应专题中展开。

1. 面试核心

先记住这几条，再读正文

Go 运行时提供执行期间的语言支持，包括调度、栈、分配、GC 和网络轮询等机制。解释这些机制的职责与联系，比单独罗列缩写更能说明 runtime 做了什么。卡 · 编译器、运行时与操作系统
编译器、运行时和操作系统各有职责：编译器分析代码并生成机器指令，运行时执行语言需要的支持逻辑，操作系统管理进程、线程和底层资源。卡 · 编译器、运行时与操作系统
运行时并不只等于可导入的 runtime 包接口。不显式导入这个包，程序仍可使用 goroutine 和 GC 等能力。卡 · 没有导入 runtime 的程序
自动调度与垃圾回收不会替应用定义任务退出、业务同步和资源关闭协议。运行时提供机制，正确使用这些机制仍是程序的责任。

标准 Go 工具链通常提前把程序编译为目标平台的机器代码。这里的 runtime 是支持程序执行的实现，不要求再通过一层 Java 字节码式虚拟机运行这些机器指令。构建与平台依赖见 Go 构建。

三个层次会协作，但不能相互替代：

层次	负责的工作	与本文机制的关系
编译器	类型检查、优化、生成代码，并在必要位置生成运行时调用或检查	逃逸分析影响存储安排，函数入口可以包含栈空间检查，指针写入可能需要写屏障
Go 运行时	在执行期间调度 G，管理栈和堆，执行 GC，处理相应等待与唤醒	执行编译器和标准库所依赖的支持逻辑
操作系统	提供进程、线程、虚拟内存、文件和网络等能力	Go 运行时仍需使用操作系统线程、内存映射与 I/O 接口

例如“这个局部值需要放到堆上”可以来自编译期分析；程序真正执行到相应路径时，才可能调用分配器取得内存。之后 GC 再判断堆对象是否仍然可达。这不是运行时重新做了一遍编译器的逃逸分析，具体区别见 Go 逃逸分析。

runtime 包向业务代码公开了部分接口，例如查看 goroutine 数量、调整 Go 代码执行并行度或主动请求 GC。运行时还包含很多编译器、标准库与调度器内部使用的实现；它们不是都作为稳定公共 API 暴露给应用。

下面是一个没有任何导入的完整程序：

package main

func main() {}

把它保存为 main.go，使用标准 Go 工具链构建并查看符号：

go build -o runtime-demo main.go
./runtime-demo
go tool nm runtime-demo

程序不打印内容，但普通构建的符号表中仍能找到 runtime.main 等运行时符号。它说明这个构建产物包含运行时支持，不代表符号表里的每个函数在这次运行中都执行过。链接选项也可以去掉符号信息，不能反过来把“找不到某个符号”当成没有运行时的证据。

启动过程会先完成必要的运行时与包初始化，再进入业务 main；包变量和 init 的顺序见 Go 包初始化。无需为了“启动运行时”而额外写一个空白导入。

这些机制解决不同的问题，也会共享执行资源。先能说明每一项负责什么，再按实际追问进入对应正文。

主题	要能解释的核心问题	对应正文
goroutine 调度	G 怎样获得 M 与 P 的执行机会，等待后怎样恢复	Go 调度器
栈管理	goroutine 的函数调用状态放在哪里，栈空间不够时怎样处理	Go 内存分配
堆内存分配	需要堆存储的对象怎样取得空间，分配大小为何不总等于请求大小	Go 内存分配
垃圾回收	哪些对象仍然可达，怎样标记与回收，以及为什么仍有暂停和执行成本	Go 垃圾回收
网络轮询	非阻塞 I/O 暂时不能完成时，G 怎样等待并在就绪后继续执行	Go 网络轮询