翻译：go协程泄漏：Goroutine Leaks - The Forgotten Sender

【字节跳动】内推码7ZUUEBV

长期有效：https://blog.csdn.net/u011091739/article/details/89502333

原文地址：https://www.ardanlabs.com/blog/2018/11/goroutine-leaks-the-forgotten-sender.html

起因：

新建goroutines处理事物，经过一段时间之后程序发生异常，怀疑是goroutines泄漏，查找相关资料找到一篇不错的文章，准备翻译。

名称：

goroutine泄漏——被遗忘的发送者（sender）

简介：

    并发编程允许开发人员使用多个执行路径解决问题，并且通常用于尝试提高性能。并发并不意味着这些多路径并行执行；这意味着这些路径是无序执行而不是顺序执行。从历史上看，使用由标准库或第三方开发人员提供的库可以促进这种类型的编程。

    在Go语言中，Goroutines和channel等并发功能内置于语言和运行时中，以减少或消除对其他库的需求。这造成了在Go中编写并发程序很容易的错觉。在决定使用并发时必须谨慎，因为如果没有正确使用它会带来一些独特的副作用或陷阱。如果你不小心，这些陷阱会产生复杂又令人讨厌的错误。

Goroutines泄漏：

    谈到内存管理，go语言为我们处理好了大量的细节。Go语言编译器使用逃逸分析（escape analysis）来决变量的存储。运行时通过使用垃圾回收器跟踪和管理堆分配。虽然在应用程序中不产生内存泄漏并不可能，但几率大大降低。

    一种常见的内存泄漏就是goroutines泄漏。如果你启动了一个goroutine，你期望它最终会终止，但是它并没有，这就是goroutine泄漏了。它在应用程序的运行期内存在, 分配给该goroutine的内存无法释放。这是“永远不要在不知道它将如何停止的情况下启动一个goroutine”的建议背后的部分理由。

    下面是一个goroutine泄漏的例子：Listing 1（https://play.golang.org/p/dsu3PARM24K）

31 // leak is a buggy function. It launches a goroutine that
32 // blocks receiving from a channel. Nothing will ever be
33 // sent on that channel and the channel is never closed so
34 // that goroutine will be blocked forever.
35 func leak() {
36     ch := make(chan int)
37 
38     go func() {
39         val := <-ch
40         fmt.Println("We received a value:", val)
41     }()
42 }

    Listing1定义了一个名为 "泄漏" 的函数。该函数在第36行创建一个channel, 允许 Goroutines 传递整数数据。然后在38号线上创建goroutins, 在第39行上等待接收来自channel的值。当goroutine等待时, 泄漏函数就会返回。此时, 程序的任何其他部分都不能通过channel发送信号。这使得第39号线被封锁的goroutine无限期地等待着。第40行的打印函数永远不会发生。