本文由 简悦 SimpRead 转码, 原文地址 www.cnblogs.com
Go 语言中除了可以使用通道(channel)和互斥锁进行两个并发程序间的同步外,还可以使用等待组进行多个任务的同步,等待组可以保证在并发环境中完成指定数量的任务
在 sync.WaitGroup(等待组)类型中,每个 sync.WaitGroup 值在内部维护着一个计数,此计数的初始默认值为零。
等待组有下面几个方法可用,如下所示。
// 等待组的计数器 +1func (wg *WaitGroup) Add(delta int)// 等待组的计数器 -1func (wg *WaitGroup) Done()// 当等待组计数器不等于 0 时阻塞直到变0func (wg *WaitGroup) Wait()
对于一个可寻址的 sync.WaitGroup 值 wg:
- 我们可以使用方法调用 wg.Add(delta) 来改变值 wg 维护的计数。
- 方法调用 wg.Done() 和 wg.Add(-1) 是完全等价的。
- 如果一个 wg.Add(delta) 或者 wg.Done() 调用将 wg 维护的计数更改成一个负数,将会产生 panic 异常。
- 当一个协程调用了 wg.Wait() 时,
- 如果此时 wg 维护的计数为零,则此 wg.Wait() 此操作为一个空操作(noop);
- 否则(计数为一个正整数),此协程将进入阻塞状态。当以后其它某个协程将此计数更改至 0 时(一般通过调用 wg.Done()),此协程将重新进入运行状态(即 wg.Wait() 将返回)。
等待组内部拥有一个计数器,计数器的值可以通过方法调用实现计数器的增加和减少。当我们添加了 N 个并发任务进行工作时,就将等待组的计数器值增加 N。每个任务完成时,这个值减 1。同时,在另外一个 goroutine 中等待这个等待组的计数器值为 0 时,表示所有任务已经完成。
什么意思?我们先来回忆一下之前我们为了保证子 go 程运行完毕,主 go 程是怎么做的:
package mainimport ("fmt""time")func main() {go func() {fmt.Println("Goroutine 1")}()go func() {fmt.Println("Goroutine 2")}()time.Sleep(time.Second) // 睡眠 1 秒,等待上面两个子 go 程结束}
我们为了让子 go 程可以顺序的执行完,在主 go 程中加入了等待。我们知道,这不是一个很好的解决方案,可以用 channel 来实现同步:
package mainimport ("fmt")func main() {ch := make(chan struct{})count := 2 // count 表示活动的 go 程个数go func() {fmt.Println("Goroutine 1")ch <- struct{}{} // go 程结束,发出信号}()go func() {fmt.Println("Goroutine 2")ch <- struct{}{} // go 程结束,发出信号}()for range ch {// 每次从 ch 中接收数据,表明一个活动的 go 程结束count--// 当所有活动的 go 程都结束时,关闭 channelif count == 0 {close(ch)}}}
上面的解决方案是虽然已经比较好了,但是 Go 提供了更简单的方法:使用 sync.WaitGroup。
package mainimport ("fmt""sync")func main() {var wg sync.WaitGroupwg.Add(2) // 因为有两个动作,所以增加 2 个计数go func() {fmt.Println("Goroutine 1")wg.Done() // 操作完成,减少一个计数}()go func() {fmt.Println("Goroutine 2")wg.Done() // 操作完成,减少一个计数}()wg.Wait() // 等待,直到计数为0}
可见用 sync.WaitGroup 是最简单的方式。
强调一下:
- 计数器不能为负值:不能使用
Add()或者Done()给 wg 设置一个负值,否则代码将会报错。 - WaitGroup 对象不是一个引用类型:在通过函数传值的时候需要使用地址。
官方文档看这里:https://golang.org/pkg/sync/#WaitGroup
