【Golang】火焰图空白部分是什么？

起因

被同事灵魂拷问：图中这块空白是什么东西？

豆包回答说是数据采样不完整，特定函数或代码段未被调用之类的原因，感觉都不太合理。
之前看过一篇文章说：Heap Profiling的采样是无时无刻不在发生的，执行一次profiling仅仅是dump一下迄今为止的数据快照。这篇文章更加推翻了前面"数据采样不完整"的假设。那火焰图中的空白到底是啥，我们亲自试一下。

实验

参考：使用火焰图对 Go 程序进行性能分析

实验设计

在一个函数中调用另外的函数，在多种位置申请内存，查看火焰图的空白情况。

前置准备

1. 安装环境
2. 编写测试代码
3. 在Goland中运行测试代码，可以通过 pprof 的 HTTP 接口访问http://localhost:8000/debug/pprof/heap?debug=1
4. 在终端中执行以下命令，在页面中展示火焰图。其中，-http=":8081"表示用于查看火焰图的端口，http://localhost:8000/debug/pprof/heap表示采集的数据源。需要注意，每次运行此命令时，生成的是当前堆快照，如果代码有变更，或者想要获取最新结果，需要中断后重新运行此命令。
   go tool pprof -http=":8081" http://localhost:8000/debug/pprof/heap
5. 火焰图分析方法：选择VIEW - Flame Graph (old)后，再选择SAMPLE - alloc_space。我们主要看这个，其它的选项也可以参考。
   

函数调用关系

func allocate1() {allocate2()allocate3()
}

代码1：allocate1本身占用空间

package mainimport ("net/http"_ "net/http/pprof""time"
)func allocate1() {var s []stringfor i := 0; i < 10000; i++ {// allocate1占用的空间for i := 0; i < 10; i++ {s = append(s, "This is a sample string")}// allocate2占用的空间allocate2()// allocate3占用的空间allocate3()}
}func allocate2() {var s []stringfor i := 0; i < 10; i++ {s = append(s, "This is a sample string")}
}
func allocate3() {var s []stringfor i := 0; i < 10; i++ {s = append(s, "This is a sample string")}
}func main() {go func() {for {allocate1()time.Sleep(1 * time.Second)}}()http.ListenAndServe(":8000", nil)
}

生成的火焰图：

代码2：allocate本身不占空间

把13-15行注释掉，让allocate1不占空间

package mainimport ("net/http"_ "net/http/pprof""time"
)func allocate1() {//var s []stringfor i := 0; i < 10000; i++ {// allocate1占用的空间//for i := 0; i < 10; i++ {// s = append(s, "This is a sample string")//}// allocate2占用的空间allocate2()// allocate3占用的空间allocate3()}
}func allocate2() {var s []stringfor i := 0; i < 10; i++ {s = append(s, "This is a sample string")}
}
func allocate3() {var s []stringfor i := 0; i < 10; i++ {s = append(s, "This is a sample string")}
}func main() {go func() {for {allocate1()time.Sleep(1 * time.Second)}}()http.ListenAndServe(":8000", nil)
}

生成的火焰图：

结论

当allocate1本身占用空间的时候，火焰图中的空白存在。当allocate1本身不占用空间的时候，火焰图被填满，不存在空白。说明空白的部分是上一级函数内部对象占用的空间。