Golang转义分析中的“leak/leaking param”是什么意思

Question

func main() {
        i1 := 1
    A1(&i1)
}

func A1(i1 *int) *int {
    return i1
}

逃逸分析的结果为

./main.go:18:9: parameter i1 leaks to \~r1 with derefs=0:
./main.go:18:9:   flow: \~r1 = i1:
./main.go:18:9:     from return i1 (return) at ./main.go:19:2
./main.go:18:9: leaking param: i1 to result \~r1 level=0

parameter i1 leaks to \~r1 with derefs=0和是什么意思leaking param: i1 to result \~r1 level=0

---

首先我尝试 Google ，最相关的结果是escape-analysis-shows-channel-as-leaking-paramgolang escape leaking的评论

“你为什么那么想？” 可以合理地假设泄漏是严重的并且与其阀杆泄漏有关。我正在努力想出一个示例上下文，其中泄漏是一件好事，例如泄漏的水桶、泄漏的油箱、泄漏的泄漏、泄漏的电容器、泄漏的船、泄漏的抽象。对于高性能 Go 专家来说，这可能是显而易见的，但对于我们其他人来说，链接到文档并提供泄漏参数所指内容的简要说明会很有帮助

我也想问同样的问题，但之后就没有再回复了。

---

然后我尝试阅读打印这些结果的源代码。

在compile/internal/escape/leaks.go中，我发现了评论

// 泄漏代表来自参数的一组赋值流

// 到堆或它的任何函数（第一个 numEscResults）

// 结果参数。

但我无法理解这一点，有没有任何官方文件可以代表它。

---

另外，在源代码中我发现还有一个问题。如果后面的结果参数numEscResults(7)会在运行时逃逸到堆中？

func main() {
    i1, i2, i3, i4, i5, i6, i7, i8, i9 := 1, 1, 1, 1, 1, 1, 1, 1, 1
    A1(&i1, &i2, &i3, &i4, &i5, &i6, &i7, &i8, &i9)
    return
}

func A1(i1, i2, i3, i4, i5, i6, i7, i8, i9 *int) (*int, *int, *int, *int, *int, *int, *int, *int, *int) {
    return i1, i2, i3, i4, i5, i6, i7, i8, i9
}

...some duplicate output
./main.go:16:13: leaking param: i2 to result ~r10 level=0
./main.go:16:17: leaking param: i3 to result ~r11 level=0
./main.go:16:21: leaking param: i4 to result ~r12 level=0
./main.go:16:25: leaking param: i5 to result ~r13 level=0
./main.go:16:29: leaking param: i6 to result ~r14 level=0
./main.go:16:33: leaking param: i7 to result ~r15 level=0
./main.go:16:37: leaking param: i8
./main.go:16:41: leaking param: i9
./main.go:8:30: i8 escapes to heap:
./main.go:8:30:   flow: {heap} = &i8:
./main.go:8:30:     from &i8 (address-of) at ./main.go:9:40
./main.go:8:30:     from A1(&i1, &i2, &i3, &i4, &i5, &i6, &i7, &i8, &i9) (call parameter) at ./main.go:9:4
./main.go:8:34: i9 escapes to heap:
./main.go:8:34:   flow: {heap} = &i9:
./main.go:8:34:     from &i9 (address-of) at ./main.go:9:45
./main.go:8:34:     from A1(&i1, &i2, &i3, &i4, &i5, &i6, &i7, &i8, &i9) (call parameter) at ./main.go:9:4
./main.go:8:30: moved to heap: i8
./main.go:8:34: moved to heap: i9

Answer 1

参数 i1 泄漏到 ~r1 且 derefs=0 和泄漏参数：i1 到结果 ~r1 level=0 的含义是什么

TLDL：如果您正在寻找分配，请忽略泄漏参数并寻找“移动到堆”的部分。

“泄漏参数”意味着该函数在返回后以某种方式保持其参数处于活动状态，这并不意味着它被移动到堆，事实上大多数“泄漏参数”都是在堆栈上分配的。

“r1”指的是函数的返回值，它从0开始，所以“r1”指的是第二个返回值。（与OP提供的示例代码不匹配，应该是r0），在第一个片段的情况下，它泄漏“i1”，因为“r0 = i1”，所以第0个函数返回值是“i1”，因此“i1” " 返回后必须保持活动状态，“泄漏”给调用者

编译器输出中“泄漏参数”之前的部分是因为 OP 使用“-m -m”，它打印数据流图。

对于 deref，来自 cmd/compile/internal/escape/escape.go 中的注释：

[...]取消引用操作的数量减去寻址操作的数量被记录为边的权重（称为“取消引用”）。

当前注释中没有描述“level”，自从我熟悉gc源代码以来已经有一段时间了，据我所知，它是内存间接的级别，间接（*）操作增量，地址（&）递减，因此这个函数

func A1(a **int) *int {
    p := &a
    return **p
}

应该给出 level=1 的泄漏参数a。

另外，在源代码中我发现还有一个问题。numEscResults(7) 之后的结果参数是否会在运行时逃逸到堆？

是的，第 7 个之后依赖于泄漏参数的所有结果（读取、返回）都将被移动到堆中，我不知道 7 的确切原因，但我可以根据 gc 源代码的经验猜测它是一个值不会过多减慢编译速度，但保留大多数函数的优化