Go并发编程(八) 深入理解 sync.Once

注:本文已发布超过一年,请注意您所使用工具的相关版本是否适用

本系列为 Go 进阶训练营 笔记,访问 博客: Go进阶训练营, 即可查看当前更新进度,部分文章篇幅较长,使用 PC 大屏浏览体验更佳。

在上一篇文章《Week03: Go 并发编程(七) 深入理解 errgroup》当中看 errgourp  源码的时候我们发现最后返回 err  是通过 once 来只保证返回一个非 nil 的值的,本文就来看一下 Once 的使用与实现

案例

once 的使用很简单

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
func main() {
var (
o sync.Once
wg sync.WaitGroup
)

for i := 0; i < 10; i++ {
wg.Add(1)

go func(i int) {
defer wg.Done()
o.Do(func() {
fmt.Println("once", i)
})
}(i)
}

wg.Wait()
}

输出

1
2
go run ./main.go
once 9

源码分析

1
2
3
4
type Once struct {
done uint32
m Mutex
}

done 用于判定函数是否执行,如果不为 0 会直接返回

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
func (o *Once) Do(f func()) {
// Note: Here is an incorrect implementation of Do:
//
// if atomic.CompareAndSwapUint32(&o.done, 0, 1) {
// f()
// }
//
// Do guarantees that when it returns, f has finished.
// This implementation would not implement that guarantee:
// given two simultaneous calls, the winner of the cas would
// call f, and the second would return immediately, without
// waiting for the first's call to f to complete.
// This is why the slow path falls back to a mutex, and why
// the atomic.StoreUint32 must be delayed until after f returns.

if atomic.LoadUint32(&o.done) == 0 {
// Outlined slow-path to allow inlining of the fast-path.
o.doSlow(f)
}
}

看 go 的源码真的可以学到很多东西,在这里还给出了很容易犯错的一种实现

1
2
3
if atomic.CompareAndSwapUint32(&o.done, 0, 1) {
f()
}

如果这么实现最大的问题是,如果并发调用,一个 goroutine 执行,另外一个不会等正在执行的这个成功之后返回,而是直接就返回了,这就不能保证传入的方法一定会先执行一次了
所以回头看官方的实现

1
2
3
4
if atomic.LoadUint32(&o.done) == 0 {
// Outlined slow-path to allow inlining of the fast-path.
o.doSlow(f)
}

会先判断 done 是否为 0,如果不为 0 说明还没执行过,就进入 doSlow

1
2
3
4
5
6
7
8
func (o *Once) doSlow(f func()) {
o.m.Lock()
defer o.m.Unlock()
if o.done == 0 {
defer atomic.StoreUint32(&o.done, 1)
f()
}
}

doSlow  当中使用了互斥锁来保证只会执行一次

总结

  • Once 保证了传入的函数只会执行一次,这常用在单例模式,配置文件加载,初始化这些场景下
  • 但是需要注意。Once 是不能复用的,只要执行过了,再传入其他的方法也不会再执行了
  • 并且 Once.Do 在执行的过程中如果 f 出现 panic,后面也不会再执行了

参考文献

  1. https://pkg.go.dev/sync#Once
  2. 6.2 同步原语与锁

关注我获取更新

wechat
知乎
github

猜你喜欢