Go语言通过goroutine实现高效并发，配合channel、WaitGroup和context可有效管理协程的同步与生命周期，确保程序正确执行。
Go语言的goroutine是并发编程的核心特性，它轻量、易用，配合调度器能高效利用多核资源。理解其使用方式与底层调度机制，对写出高性能程序至关重要。
goroutine的基本使用
启动一个goroutine只需在函数调用前加上go关键字，例如：
go func() {println("Hello from goroutine")
}()
这个函数会异步执行，主协程不会等待它完成。常见误区是main函数退出时未等待子goroutine结束，导致程序提前终止。
控制并发协作的常用方法包括：
立即学习“go语言免费学习笔记（深入）”；
- 使用channel进行数据传递和同步
- 通过sync.WaitGroup等待一组任务完成
- 用context控制超时和取消
例如用WaitGroup等待多个goroutine：
var wg sync.WaitGroupfor i := 0; i wg.Add(1)
go func(id int) {
defer wg.Done()
println("Goroutine", id)
}(i)
}
wg.Wait()
Go调度器的工作原理
Go运行时包含一个用户态调度器，管理成千上万个goroutine在少量操作系统线程上运行。它采用M:N调度模型，即M个goroutine映射到N个线程。
核心组件有三个：
ImageMagick 批处理处理器
下载
使用 ImageMagick 的 convert 和 mogrify 命令进行批量图像处理，支持调整大小、裁剪、水印和格式转换。与 libvips 集成以实现高性能缩略图生成。
- M（Machine）：操作系统线程
- P（Processor）：逻辑处理器，持有可运行的goroutine队列
- G（Goroutine）：用户协程
每个P绑定一个M执行G，当某个G阻塞时，P可以与其他M结合继续工作，保证并行效率。
调度器的抢占与公平性
早期Go版本依赖协作式调度，长时间运行的goroutine可能阻塞其他任务。从Go 1.14开始，引入基于信号的抢占机制，运行超过一定时间的goroutine会被强制暂停。
触发抢占的常见场景：
- 函数调用时插入抢占检查
- 循环体内长时间不调用函数
- 系统调用返回时
写代码时避免在单个goroutine中做大量计算而不让出，比如密集循环中可适当调用runtime.Gosched()主动让渡。
实际开发中的注意事项
虽然goroutine开销小，但滥用仍会导致问题。建议：
- 控制并发数量，使用worker pool模式避免无限制创建
- 注意共享资源的访问，优先用channel而非锁传递数据
- 及时关闭不再使用的channel，防止goroutine泄漏
- 用pprof分析协程堆积情况
比如限制并发请求的常见做法：
sem := make(chan struct{}, 10) // 最多10个并发for _, task := range tasks {
go func(t Task) {
sem defer func() { // 执行任务
}(t)
}
基本上就这些。掌握goroutine的使用节奏和调度行为，能让程序既高效又稳定。
