目前编程网上已经有很多关于Golang的文章了,自己在初次阅读这些文章中,也见识到了很多学习思路;那么本文《逃逸分析显示通道作为泄漏参数》,也希望能帮助到大家,如果阅读完后真的对你学习Golang有帮助,欢迎动动手指,评论留言并分享~
问题内容我想做的事情: 我正在尝试理解/构建一个具有三个阶段的 go 管道。第 1 阶段写入通道 a。第 2 阶段有多个 go 例程。每个go例程从channel a读取,执行一些操作并将结果写入channel bn(channel b1,b2..bn)。第 3 阶段创建了 n(=第 2 阶段中的通道总数)个 go 例程,每个 go 例程从第 2 阶段的一个 channel 读取。它基于 https://blog.golang.org/pipelines 中描述的有限并行性 p>
问题: 管道按预期工作正常,操作分布在 go 例程之间。但是当我进行逃逸分析时,发现从一个阶段发送到另一个阶段的通道参数被报告为“泄漏参数”。
代码片段: 为简单起见,我发布的代码显示了第 1 阶段通道创建,以及第 2 阶段打印从第 1 阶段通道读取的值。
package main
import "fmt"
func createstageone(numofjobs int) <-chan int {
stageonechannel := make(chan int)
go func(njobs int) {
for i := 0; i < njobs; i++ {
stageonechannel <- i
}
close(stageonechannel)
}(numofjobs)
return stageonechannel
} // stageonechannel closes and go routine exits once njobs are completed
func createstagetwo(in <-chan int, completionflag chan struct{}) {
go func() {
for n := range in {
fmt.println("received from stage 1 channel ", n)
}
completionflag <- struct{}{}
}()
}// comes out of for loop when stage 1 channel closes and go routine also exits
func main() {
numofjobs := 10
stageonechannel := createstageone(numofjobs)
done := make(chan struct{})
createstagetwo(stageonechannel, done)
<-done
}
这是逃逸分析结果
$ go build -gcflags "-m -l"
# concurrentHTTP/stackoverflow
./pipeline.go:7:5: func literal escapes to heap
./pipeline.go:7:5: func literal escapes to heap
./pipeline.go:6:25: make(chan int) escapes to heap
./pipeline.go:17:5: func literal escapes to heap
./pipeline.go:17:5: func literal escapes to heap
./pipeline.go:16:21: leaking param: in
./pipeline.go:16:36: leaking param: completionFlag
./pipeline.go:19:16: "Received from stage 1 channel " escapes to heap
./pipeline.go:19:16: n escapes to heap
./pipeline.go:19:15: createStageTwo.func1 ... argument does not escape
./pipeline.go:29:14: make(chan struct {}) escapes to heap
为什么逃逸分析报告 in 和 completionflag 标志上的参数泄漏?
解决方案
所讨论的参数是引用类型的通道。它们在 createStageTwo() 创建的闭包中捕获,并且当 createStageTwo() 返回时可以继续在该闭包的 go 例程中使用。因此,它们被标记为泄漏参数。如果不是,那么它们将被放置在堆栈上,并在 main() 处理完它们后变得无效。
这并不意味着您有问题。逃逸分析不能用于检测资源泄漏,而且大多数人永远不需要使用它。 (当某些东西被放置在您不希望的 GC 堆上时,它对于解决性能问题很有用。)
(抱歉@Volker,我最初在评论中发布了我的答案,这让您的问题悬而未决。)
好了,本文到此结束,带大家了解了《逃逸分析显示通道作为泄漏参数》,希望本文对你有所帮助!关注编程网公众号,给大家分享更多Golang知识!