原文链接:戳这里
哈喽,大家好,我是asong
,这是我并发编程系列的第二篇文章. 上一篇我们一起分析了atomic
包,今天我们一起来看一看sync/once
的使用与实现.
什么是sync.once
Go语言标准库中的sync.Once
可以保证go
程序在运行期间的某段代码只会执行一次,作用与init
类似,但是也有所不同:
init
函数是在文件包首次被加载的时候执行,且只执行一次。sync.Once
是在代码运行中需要的时候执行,且只执行一次。
还记得我之前写的一篇关于go
单例模式,懒汉模式的一种实现就可以使用sync.Once
,他可以解决双重检锁带来的每一次访问都要检查两次的问题,因为sync.once
的内部实现可以完全解决这个问题(后面分析完源码就知道原因了),下面我们来看一看这种懒汉模式怎么写:
type singleton struct {
}
var instance *singleton
var once sync.Once
func GetInstance() *singleton {
once.Do(func() {
instance = new(singleton)
})
return instance
}
实现还是比较简单,就不细说了。
源码解析
sync.Once
的源码还是很少的,首先我们看一下他的结构:
// Once is an object that will perform exactly one action.
type Once struct {
// done indicates whether the action has been performed.
// It is first in the struct because it is used in the hot path.
// The hot path is inlined at every call site.
// Placing done first allows more compact instructions on some architectures (amd64/x86),
// and fewer instructions (to calculate offset) on other architectures.
done uint32
m Mutex
}
只有两个字段,字段done
用来标识代码块是否执行过,字段m
是一个互斥锁。
接下来我们一起来看一下代码实现:
func (o *Once) Do(f func()) {
if atomic.LoadUint32(&o.done) == 0 {
o.doSlow(f)
}
}
func (o *Once) doSlow(f func()) {
o.m.Lock()
defer o.m.Unlock()
if o.done == 0 {
defer atomic.StoreUint32(&o.done, 1)
f()
}
}
这里把注释都省略了,反正都是英文,接下来咱用中文解释哈。sync.Once
结构对外只提供了一个Do()
方法,该方法的参数是一个入参为空的函数,这个函数也就是我们想要执行一次的代码块。接下来我们看一下代码流程:
- 首先原子性的读取
done
字段的值是否改变,没有改变则执行doSlow()
方法. - 一进入
doslow()
方法就开始执行加锁操作,这样在并发情况下可以保证只有一个线程会执行,在判断一次当前done
字段是否发生改变(这里肯定有朋友会感到疑惑,为什么这里还要在判断一次flag
?因为如果同时有两个goroutine调用这一行代码,一个goroutine成功CAS设置了标志的话,就会调用f,做资源初始化或者其它的一些事情,这个执行可能会耗费一段时间。同时另外一个goroutine设置不成功,它想当然的认为另外一个goroutine已经执行了f,但是实际上f可能还没有执行完,这就可能代码并发的问题。所以这里是为了保证当前代码块已经执行完),如果未发生改变,则开始执行代码块,代码块运行结束后会对done
字段做原子操作,标识该代码块已经被执行过了.
优化sync.Once
如果让你自己写一个这样的库,你会考虑的这样全面吗?相信聪明的你们也一定会写出这样一段代码。如果要是我来写,上面的代码可能都一样,但是在if o.done == 0
这里我可能会采用CAS
原子操作来代替这个判断,如下:
type MyOnce struct {
flag uint32
lock sync.Mutex
}
func (m *MyOnce)Do(f func()) {
if atomic.LoadUint32(&m.flag) == 0{
m.lock.Lock()
defer m.lock.Unlock()
if atomic.CompareAndSwapUint32(&m.flag,0,1){
f()
}
}
}
func testDo() {
mOnce := MyOnce{}
for i := 0;i<10;i++{
go func() {
mOnce.Do(func() {
fmt.Println("test my once only run once")
})
}()
}
}
func main() {
testDo()
time.Sleep(10 * time.Second)
}
// 运行结果:
test my once only run once
我就说原子操作是并发编程的基础吧,你看没有错吧~。
小试牛刀
上面我们也看了源码的实现,现在我们来看三道题,你认为他们的答案是多少?
问题一
sync.Once()
方法中传入的函数发生了panic
,重复传入还会执行吗?
func panicDo() {
once := &sync.Once{}
defer func() {
if err := recover();err != nil{
once.Do(func() {
fmt.Println("run in recover")
})
}
}()
once.Do(func() {
panic("panic i=0")
})
}
问题二
sync.Once()
方法传入的函数中再次调用sync.Once()
方法会有什么问题吗?
func nestedDo() {
once := &sync.Once{}
once.Do(func() {
once.Do(func() {
fmt.Println("test nestedDo")
})
})
}
问题三
改成这样呢?
func nestedDo() {
once1 := &sync.Once{}
once2 := &sync.Once{}
once1.Do(func() {
once2.Do(func() {
fmt.Println("test nestedDo")
})
})
}
总结
在本文的最把上面三道题的答案公布一下吧:
- 问题一:不会打印任何东西,
sync.Once.Do
方法中传入的函数只会被执行一次,哪怕函数中发生了panic
; - 问题二:发生死锁,根据源码实现我们可以知道在第二个
do
方法会一直等doshow()
中锁的释放导致发生了死锁; - 问题三:打印
test nestedDo
,once1,once2是两个对象,互不影响。所以sync.Once
是使方法只执行一次对象的实现。
你们都做对了吗?
代码已上传:https://github.com/asong2020/...
好啦,这篇文章就到这里啦,素质三连(分享、点赞、在看)都是笔者持续创作更多优质内容的动力!
创建了一个Golang学习交流群,欢迎各位大佬们踊跃入群,我们一起学习交流。入群方式:加我vx拉你入群,或者公众号获取入群二维码
结尾给大家发一个小福利吧,最近我在看[微服务架构设计模式]这一本书,讲的很好,自己也收集了一本PDF,有需要的小伙可以到自行下载。获取方式:关注公众号:[Golang梦工厂],后台回复:[微服务],即可获取。
我翻译了一份GIN中文文档,会定期进行维护,有需要的小伙伴后台回复[gin]即可下载。
翻译了一份Machinery中文文档,会定期进行维护,有需要的小伙伴们后台回复[machinery]即可获取。
我是asong,一名普普通通的程序猿,让我们一起慢慢变强吧。欢迎各位的关注,我们下期见~~~
推荐往期文章:
- machinery-go异步任务队列
- 源码剖析panic与recover,看不懂你打我好了!
- 详解并发编程基础之原子操作(atomic包)
- 详解defer实现机制
- 真的理解interface了嘛
- Leaf—Segment分布式ID生成系统(Golang实现版本)
- 十张动图带你搞懂排序算法(附go实现代码)
- go参数传递类型
- 手把手教姐姐写消息队列
- 常见面试题之缓存雪崩、缓存穿透、缓存击穿
- 详解Context包,看这一篇就够了!!!
- go-ElasticSearch入门看这一篇就够了(一)
- 面试官:go中for-range使用过吗?这几个问题你能解释一下原因吗
有疑问加站长微信联系(非本文作者)