我有一个函数可以创建一个无限期填充通道的 goroutine,例如:
func foo() <-chan int {
ch := make(chan int)
go func() {
defer close(ch)
for {
ch <- 1
}
}()
return ch
}
假设我们有一个消费者想在一段时间后停止:
ch:=foo()
<-ch
<-ch
// done
现在我想清理 goroutine 资源,包括通道。我尝试为此添加一个“完成”通道,但随后我遇到了僵局:
func Foo() (<-chan int, chan<- bool) {
ch := make(chan int)
done := make(chan bool)
go func() {
defer close(ch)
for {
select {
case <-done:
return
default:
ch <- 1
}
}
}()
return ch, done
}
func main() {
ch, done := Foo()
<-ch
<-ch
done <- true
// HERE
}
现在,它似乎可以工作,但这只是因为程序退出,如果我用一些io操作替换// here
(例如:http.get(“http://google.com”)
) ,我面临死锁(fatal 错误:所有 goroutine 都在睡觉 - 死锁!
)。
我想知道是否有另一种方法可以清理由 foo
函数创建的生成的 goroutine 和通道。
正确答案
只需在启动的 goroutine 中将 default
替换为 case
即可:
func Foo() (<-chan int, chan<- bool) {
ch := make(chan int)
done := make(chan bool)
go func() {
defer close(ch)
for {
select {
case <-done:
return
case ch <- 1:
}
}
}()
return ch, done
}
原代码在default
情况下出现死锁的原因如下:
- 当没有其他并发运行的 goroutine 写入
done
通道时,启动的写入ch
通道的 goroutines 会立即转到default
情况。然后 goroutine 会阻塞在ch 行,直到其他 goroutine 从
ch
读取值。 - 主协程从
ch
读取两次。这会导致在启动的 goroutine 处有两个成功的执行循环。然后它尝试写入done
。此时启动的goroutine可能已经检查了select
语句,陷入default
情况并阻塞在ch 行。因此主 goroutine 也会无限期地阻塞在
done 行。这会导致僵局。