Page 237 - 《软件学报》2026年第3期

1200 软件学报 2026 年第 37 卷第 3 期

1 背景与动机

本节结合现实世界中的内存性能及安全问题, 阐述 Go 语言相关背景以及本文的研究动机.
1.1 Go 语言内存管理方式
Go 语言的内存管理结合了逃逸分析 [17,18] 和垃圾回收机制 [19] . 通过基于标记-清除的垃圾回收器, Go 自动回收
不再使用的内存, 简化了手动内存管理的复杂性. 同时, 编译器通过逃逸分析决定对象的分配位置: 栈上用于存储
短生命期的局部变量, 堆上则存储需要跨越函数边界的对象. 虽然这套机制有效减少了双重释放、悬垂指针等问
题, 降低了内存泄漏的风险, 但开发者仍需留意持久引用可能引发的慢泄漏问题 [20] .
此外, 为了提升开发效率, Go 语言提供了如接口 interface、切片 slice、映射 map 等内建数据类型. interface
类型的变量可以存储任意定义了特定方法的类型实例 [21] . slice 是对底层数组一段连续内存区域的描述, 可通过下
标访问元素 [22] . map 则是一组无序元素对的集合, 通过键进行索引操作 [23] .

1.2 Go 语言程序中的内存性能问题
Go 语言的内存性能问题主要在于, 过多的堆对象会增加运行时垃圾收集的开销, 从而影响程序性能. 现实中
的解决方案主要包括两方面: (1) 优化运行时内存管理机制; (2) 减少堆内存的分配与使用.
在优化内存管理机制方面, 分布式数据库 CockroachDB [24] 发现在特定模式下创建的字符串有着类似的生命
期, 因此引入自行设计的 arena 区域管理机制, 对这些字符串进行统一分配与释放, 显著提升内存性能.
在减少堆内存的分配与使用方面, Go 编译器的逃逸分析通过对程序中的表达式和语句进行建模来确定对象
的生命期. 对于不会被作用域外引用的短生命期对象, 逃逸分析将其分配在栈上以减轻垃圾回收器的负担. Wang
等人 [3] 通过识别那些被转换为接口并作为实参传递的堆分配对象模式, 再使用 uintptr 绕过逃逸分析, 将堆对象改
为栈分配, 减少了堆内存的使用. Marr [25] 通过调整&符号的位置, 在保持相同功能的前提下, 减少了不必要的堆内
存分配. 这些研究表明, 基于特定静态代码模式的优化是提升内存性能的有效手段.
另外, Go 编译器的逃逸分析在处理域访问和解引用操作时采用了保守建模, 导致性能优化空间受限. 例如,
在 Go 语言官方测例中 (代码 1 和代码 2), 由于建模不够精确, 程序中原本可以分配在栈上的对象 i 被判定为逃逸
到堆上, 增加了不必要的堆内存分配, 降低了内存性能. 鉴于此, 本文对内存访问相关的静态代码模式进行了分析
与总结, 旨在为 Go 编译器与静态分析工具的开发者提供参考.

代码 1. escape_indir.go: 解引用保守建模导致 i 堆分配.
1. type ConstPtr struct{ p *int }
2. func constptr0() {
3. i := 0
4. x := &ConstPtr{}
5. // BAD: i should not escape here
6. x.p = &i
7. _ = x
8. }

代码 2. escape_field.go: 域不敏感建模导致 i 堆分配.

1. var sink interface{}
2. func field1() {
3. i := 0
4. var x X