GO运行时专题测试
考察知识点
1. GMP调度模型
- G（Goroutine）：轻量级协程、初始栈2KB、可动态增长
- M（Machine）：操作系统线程、执行G的载体
- P（Processor）：调度处理器、持有本地运行队列、mcache
- G数量：可创建数百万个G
- M数量：由GOMAXPROCS控制、默认等于CPU核心数
- P数量：默认等于GOMAXPROCS
2. 调度器工作原理
- 工作窃取（Work Stealing）：P从其他P窃取G
- 系统调用处理：M进入syscall时P被释放
- 抢占式调度：基于时间片、函数调用检查点
- 调度策略：
- 本地队列优先
- 全局队列备用
- 网络轮询器获取就绪G
- 工作窃取补充
3. G的状态流转
- _Gidle：刚分配、未初始化
- _Grunnable：在运行队列、等待执行
- _Grunning：正在执行
- _Gsyscall：在系统调用中
- _Gwaiting：被挂起（I/O、channel、select等）
- _Gdead：已完成或被回收
- _Gcopystack：栈正在复制
- 状态转换：网络I/O时G→Waiting→Runnable
4. 垃圾回收机制
- GC算法：并发标记清除（Concurrent Mark-Sweep）
- 三色标记：
- 白色：未访问，可能是垃圾
- 灰色：已访问，子对象未访问
- 黑色：已访问且子对象已访问
- 写屏障：保证并发标记正确性
- STW时间：大部分时间并发、STW很短（微秒级）
- GC触发条件：
- GOGC比例（默认100%）
- 手动触发runtime.GC()
- 定期触发（2分钟）
5. 内存分配三层结构
- mcache：每个P独享、无锁分配、67种size class
- mcentral：中央缓存、按size class分类、需要锁
- mheap：全局堆、向OS申请内存、大对象直接分配
- 分配流程：mcache→mcentral→mheap→OS
- mcache优势：绑定P、无竞争、快速路径
6. 栈管理
- 栈增长：连续栈、从2KB增长到更大
- 栈收缩：GC时检测、缩小到合适大小
- 栈复制：分配新栈、复制旧栈数据、调整指针
- 分段栈（旧）：已废弃、存在热点问题
- 连续栈（新）：Go 1.4+使用、解决热点问题
7. 系统调用与网络轮询器
- Net Poller：
- Linux：epoll
- macOS/BSD：kqueue
- Windows：IOCP
- 工作原理：
- G发起网络I/O
- 不能立即完成时G挂起
- Net Poller注册fd到epoll/kqueue
- fd就绪时唤醒G
- 优势：Goroutine看似阻塞但不阻塞OS线程
8. 运行时监控
- sysmon监控线程：
- 不绑定P
- 定期检查
- 监控职责：
- 抢占长时间运行的G
- 检查系统调用阻塞的M
- 强制GC触发
- 释放闲置内存
9. 接口与类型系统
- 接口值结构：
- 动态类型（type）
- 动态值（data）
- 方法表（itab）
- 类型断言实现：
- 使用hash值快速匹配
- 复杂接口需完整检查
- 类型元数据：每个类型有runtime._type结构
- itab结构：接口类型与具体类型的映射表
10. 反射与运行时
- reflect包：
- TypeOf：获取类型信息
- ValueOf：获取值信息
- 类型信息结构：
- name：类型名称
- size：大小
- kind：类型类别
- methods：方法列表
- 反射性能：有开销、编译器无法优化
11. Goroutine创建与管理
- 创建成本：极低（2KB栈+少量元数据）
- 创建流程：
- 分配G结构
- 初始化栈
- 设置入口函数
- 放入运行队列
- G复用：G完成后放入自由列表复用
12. Channel实现
- Channel结构：
- buf：缓冲区
- sendq/recvq：发送/接收等待队列
- lock：互斥锁
- 发送流程：
- 有等待接收者：直接传递
- 有缓冲空间：放入缓冲区
- 无空间：G放入sendq等待
- 接收流程：
- 有等待发送者：直接接收
- 有缓冲数据：从缓冲区读取
- 无数据：G放入recvq等待
13. defer实现
- defer链：每个G有defer链表
- defer执行：
- 函数返回前按LIFO顺序执行
- 编译器优化：内联defer减少开销
- defer结构：
- 函数指针
- 参数
- 链表指针
14. 内存逃逸分析
- 逃逸原因：
- 返回指针
- 闭包引用
- 接口转换
- 大对象
- 查看逃逸：
go build -gcflags='-m' - 减少逃逸：
- 使用值而非指针
- 避免闭包
- 预分配大小
15. 运行时调试
- GODEBUG环境变量：
- gctrace=1：GC日志
- schedtrace=1000：调度器日志
- pprof goroutine：查看G状态
- runtime/debug包：
- SetGCPercent：调整GC触发比例
- SetMaxStack：设置最大栈大小
- SetPanicOnFault：内存错误panic
Go运行时的网络轮询器（Net Poller）使用什么技术实现高效的网络I/O？
当Goroutine执行网络I/O操作（如conn.Read）且数据未就绪时，会发生什么？
Go运行时对系统调用的处理策略包括哪些？
Go的文件I/O（如os.File.Read）使用阻塞系统调用，而网络I/O使用Net Poller实现非阻塞，这是因为文件I/O通常能快速返回数据，而网络I/O可能需要长时间等待。
Go Net Poller底层：Linux使用 ______ ；macOS使用 ______ ；Windows使用 ______ 。Goroutine网络I/O时 ______ 而非 _________ ； ______ 监控 ______ 并 _____________ 。
Go系统调用处理：M进入 _______ 状态； ______ 可能被 ______ 接管； ______ 监控 ______________ ； _______ 使用 ______ 系统调用； _______ 使用 __________ 。
Go的mcache为什么能实现无锁分配？
Go内存分配器使用大小类别（size class）来管理内存，以下哪些说法正确？
span是Go内存管理的基本单元，一个span包含多个相同大小的内存对象，大小由size class决定。
Go内存分配三层： ______ ________ 每P独享 ______ ； ________ ________ 按 ________ 组织； ______ ______ 从 ______ 申请大块 ______ 。
Goroutine执行网络I/O操作等待数据时，会进入什么状态？
关于P的本地运行队列，以下哪些说法正确？
一个M必须绑定一个P才能执行G，但一个P可以绑定不同的M（例如原M进入系统调用时）。
Go垃圾回收使用什么类型的GC算法？
Go垃圾回收中的STW（Stop The World）阶段包括哪些？
Go类型断言v.(T)的内部实现主要检查什么？
Go运行时内存分配器采用什么层次结构管理内存？
Go调度器的GMP模型中，P代表什么？
Go GC的写屏障在并发标记阶段启用，目的是保证在用户代码修改对象引用时，GC不会漏标记存活对象。
Go接口内部： ___________ 包含 ______ 和 ______ ； ______ 包含 ______ 和 ______ ； ______ 包含 ________ 、 ________ 和 ______ 。
📝 发现内容有误？点击此处直接编辑
长按或扫描二维码，立即体验