• 【从零单排Golang】第十五话:用sync.Once实现懒加载的用法和坑点


    在使用Golang做后端开发的工程中,我们通常需要声明一些一些配置类或服务单例等在业务逻辑层面较为底层的实例。为了节省内存或是冷启动开销,我们通常采用lazy-load懒加载的方式去初始化这些实例。初始化单例这个行为是一个非常经典的并发处理的案例,比如在java当中,我们可能用到建立双重锁+volatile的方式保证初始化逻辑只被访问一次,并且所有线程最终都可以读取到初始化完成的实例产物。这段经典的代码可以按如下的方式编写:

    // 参考:https://blog.csdn.net/qq_27489007/article/details/84966680
    
    public class Singleton {
        private volatile static Singleton uniqueSingleton;
     
        private Singleton() {
        }
     
        public Singleton getInstance() {
            if (null == uniqueSingleton) {
                synchronized (Singleton.class) {
                    if (null == uniqueSingleton) {
                        uniqueSingleton = new Singleton();
                    }
                }
            }
            return uniqueSingleton;
        }
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19

    但在Golang里面,实现懒加载的方式可以简单的多,用内置的sync.Once就能满足。假设我们有一个user单例,需要被1000个线程读取并打印,就可以这样子写:

    type User struct {
        Name string `json:"name"`
        Age  int    `json:"age"`
    }
    
    var user *User
    var userOnce sync.Once
    
    func initUser() {
        user = &User{}
        cfgStr := `{"name":"foobar","age":18}`
        if err := json.Unmarshal([]byte(cfgStr), user); err != nil {
            panic("load user err: " + err.Error())
        }
    }
    
    func getUser() *User {
        userOnce.Do(initUser)
        return user
    }
    
    func TestSyncOnce(t *testing.T) {
        var wg sync.WaitGroup
        for i := 1; i < 1000; i++ {
            wg.Add(1)
            go func(n int) {
                defer wg.Done()
                curUser := getUser()
                t.Logf("[%d] got user: %+v", n, curUser)
            }(i)
        }
        wg.Wait()
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33

    这段代码里,首先是通过var userOnce sync.Once声明了一个sync.Once实例,然后在getUser当中,我们声明了userOnce.Do(initUser)这个操作。假设一个goroutine最先到达这个操作,就会上锁并执行initUser,其它goroutine到达之后,得等第一个goroutine执行完initUser之后,才会继续return user。这样,就能一来保证initUser只会执行一次,二来所有goroutine都能够最终读到初始化完成的user单例。

    sync.Once的工作机理也很简单,通过一个锁和一个flag就能够实现:

    func (o *Once) Do(f func()) {
    	if atomic.LoadUint32(&o.done) == 0 { // 如果是1表示已经完成了,跳过
    		o.doSlow(f)
    	}
    }
    
    func (o *Once) doSlow(f func()) {
    	o.m.Lock() // 只有1个goroutine能拿到锁,其它的等待
    	defer o.m.Unlock()
    	if o.done == 0 { // 如果还是0表示第一个来的,不是0就表示已经有goroutine做完了
    		defer atomic.StoreUint32(&o.done, 1)
    		f()
    	}
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14

    最后也需要注意,sync.Once使用上面有一个坑点,不能也不需要像java一样为单例提前做nil判断。比如下面一段代码是有问题的:

    func initUser() {
        user = &User{} // 先给一个zero-value实例
        cfgStr := `{"name":"foobar","age":18}` // 然后加载json内容,完成初始化
        if err := json.Unmarshal([]byte(cfgStr), user); err != nil {
            panic("load user err: " + err.Error())
        }
    }
    
    func getUser() *User {
        if user == nil {
            userOnce.Do(initUser)
        }
        return user
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14

    由于Golang没有volatile关键字,不能控制单例在内存的可见性,那么多goroutine并发时,就有可能出现这样的执行时序:

    • goroutine-A过了getUseruser == nil判断,进入到了initUser逻辑,走到了cfgStr := XXX一行
    • 此时切换到goroutine-B,因为goroutine-AinitUser已经走过了user = &User{}一行,所以跳过了user == nil判断,直接返回没有完全初始化的user实例,然后一直往下运行,就没切回给goroutine-A

    这样的结果,就导致有goroutine拿到未初始化完成的实例往后运行,后面就出问题了。所以实战当中需要留意,用sync.Once时,不能也不需要加这些nil判断,就能满足懒加载单例/配置之类的逻辑。

  • 相关阅读:
    跟着医生学php:为什么tr的间距无法设定?
    RedisTemplate的Pipelined方式怎么使用?
    [附源码]计算机毕业设计springboot网上电影购票系统
    U盘插上就显示让格式化是坏了吗?
    Qt(QtWebEngine)加载本地网页跨域问题的总结
    1. OSPF 基础实验(二):多区域
    Prompt Engineering,提示工程
    【Java面试】离谱!面试官竟想用分布式和微服务干掉大批面试者,结果遇到面试八股文大师后......
    缓存技术使用
    MyCat搭建MySQL双主双从及分库分表
  • 原文地址:https://blog.csdn.net/u013842501/article/details/132644928