
在Go语言的并发编程中,select语句是一个强大的原语,用于在多个通信操作中进行选择。然而,当select语句不包含任何case分支时,其行为可能出乎一些开发者的意料。一个空的select{}语句会永久阻塞当前的goroutine,前提是Go运行时系统判断没有其他可运行的goroutine。一旦所有其他goroutine都进入阻塞状态,或者已经完成并退出,main goroutine仍停留在select{}中,此时Go运行时会检测到所有goroutine都处于休眠状态,无法取得任何进展,从而抛出“all goroutines are asleep - deadlock!”的运行时错误。
初始代码中,main goroutine在启动一系列runTask goroutine后,立即执行了select{}。虽然runTask goroutine在后台运行,但它们最终都会完成。当所有runTask goroutine执行完毕并退出后,main goroutine仍然停留在空的select{}中,且没有其他活跃的goroutine可以唤醒它,这便触发了死锁。因此,select{}并没有如预期那样“永远阻塞并让goroutine终止”,而是导致了死锁。
为了有效地管理并发任务并避免死锁,Go社区提供了多种成熟的模式。以下将介绍两种常用且推荐的方法:sync.WaitGroup和工作池模式。
sync.WaitGroup是Go标准库提供的一种同步原语,用于等待一组goroutine的完成。它通过一个内部计数器来工作:
立即学习“go语言免费学习笔记(深入)”;
下面是使用sync.WaitGroup改进后的示例代码:
package main
import (
"fmt"
"math/rand"
"sync" // 导入sync包
"time"
)
func runTask(t string, wg *sync.WaitGroup) {
defer wg.Done() // 任务完成后通知WaitGroup
start := time.Now()
fmt.Println("starting task", t)
time.Sleep(time.Millisecond * time.Duration(rand.Int31n(1500))) // 模拟处理时间
fmt.Println("done running task", t, "in", time.Since(start))
}
func main() {
numWorkers := 3 // 此处为示例,实际并发数由WaitGroup控制
files := []string{"a", "b", "c", "d", "e", "f", "g", "h", "i", "j"}
var wg sync.WaitGroup // 声明一个WaitGroup
// activeWorkers := make(chan bool, numWorkers) // 不再需要此通道来限制并发数
for _, f := range files {
wg.Add(1) // 为每个任务增加计数器
// activeWorkers <- true // 原始代码中用于限制并发的逻辑,此处不再适用
fmt.Printf("scheduling task %s\n", f) // 提示正在调度任务
go runTask(f, &wg)
}
wg.Wait() // 阻塞main goroutine,直到所有任务完成
fmt.Println("All tasks completed.")
}
注意事项:
工作池模式是一种更灵活、更强大的并发管理方式,它允许您控制并发 goroutine 的数量,同时还能处理任务的输入和结果的输出。这种模式通常包括:
以下是实现工作池模式的示例:
package main
import (
"fmt"
"math/rand"
"time"
)
// runTask 模拟一个耗时任务,并返回任务标识
func runTask(t string) string {
start := time.Now()
fmt.Println("starting task", t)
time.Sleep(time.Millisecond * time.Duration(rand.Int31n(1500))) // 模拟处理时间
fmt.Println("done running task", t, "in", time.Since(start))
return t // 返回任务标识作为结果
}
// worker goroutine 从输入通道接收任务,处理后将结果发送到输出通道
func worker(id int, in chan string, out chan string) {
for task := range in {
fmt.Printf("Worker %d processing task %s\n", id, task)
result := runTask(task)
out <- result // 将结果发送到输出通道
}
fmt.Printf("Worker %d exiting.\n", id)
}
func main() {
numWorkers := 3 // 限制并发的worker数量
files := []string{"a", "b", "c", "d", "e", "f", "g", "h", "i", "j"}
// 创建输入和输出通道
in := make(chan string)
out := make(chan string)
// 启动固定数量的worker goroutine
for i := 0; i < numWorkers; i++ {
go worker(i+1, in, out)
}
// 启动一个goroutine来调度所有任务到输入通道
go func() {
for _, f := range files {
in <- f // 提交任务
}
close(in) // 所有任务提交完毕后关闭输入通道
}()
// 从输出通道收集所有任务的结果
// 循环次数等于任务总数,确保收集所有结果
for i := 0; i < len(files); i++ {
completedTask := <-out
fmt.Printf("Received result for task: %s\n", completedTask)
}
close(out) // 所有结果收集完毕后关闭输出通道
fmt.Println("All tasks processed and results collected.")
}
注意事项:
理解Go语言中select{}的精确行为对于避免并发陷阱至关重要。一个空的select{}仅在所有其他goroutine都阻塞时才会导致死锁。为了有效管理并发任务:
通过采纳这些模式,开发者可以构建出更加健壮、高效且易于维护的Go并发程序。
以上就是深入理解Go语言并发:select{}行为、死锁避免与工作池模式的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号