iis服务器助手广告广告
返回顶部
首页 > 资讯 > 后端开发 > GO >一文解析Golangsync.Once用法及原理
  • 850
分享到

一文解析Golangsync.Once用法及原理

2024-04-02 19:04:59 850人浏览 薄情痞子
摘要

目录前言1. 定位2. 对外接口3. 实战用法3.1 初始化3.2 单例模式3.3 关闭channel4. 原理5. 避坑前言 在此前一篇文章中我们了解了 golang M

前言

在此前一篇文章中我们了解了 golang Mutex 原理解析,今天来看一个官方给出的 Mutex 应用场景:sync.Once。

1. 定位

Once is an object that will perfORM exactly one action.

sync.Once 是 Go 标准库提供的使函数只执行一次的实现,常应用于单例模式,例如初始化配置、保持数据库连接等。它可以在代码的任意位置初始化和调用,因此可以延迟到使用时再执行,并发场景下是线程安全的。

2. 对外接口

Once 对外仅暴露了唯一的方法 Do(f func()),f 为需要执行的函数。

// Do calls the function f if and only if Do is being called for the
// first time for this instance of Once. In other Words, given
// 	var once Once
// if once.Do(f) is called multiple times, only the first call will invoke f,
// even if f has a different value in each invocation. A new instance of
// Once is required for each function to execute.
//
// Do is intended for initialization that must be run exactly once. Since f
// is niladic, it may be necessary to use a function literal to capture the
// arguments to a function to be invoked by Do:
// 	config.once.Do(func() { config.init(filename) })
//
// Because no call to Do returns until the one call to f returns, if f causes
// Do to be called, it will deadlock.
//
// If f panics, Do considers it to have returned; future calls of Do return
// without calling f.
//
func (o *Once) Do(f func()) 

结合注释,我们来看看 Do 方法有哪些需要注意的:

  • 只有在当前的 Once 实例第一次调用 Do 方法时,才会真正执行 f。哪怕在多次调用 Do 中间 f 的值有所变化,也只会被实际调用一次;
  • Do 针对的是只希望执行一次的初始化操作,由于f 是没有参数的,如果需要传参,可以采用包装一层 func 的形式来实现:config.once.Do(func() { config.init(filename) })
  • 在对f 的调用返回之前,不会返回对Do的调用,所以如果f方法中又调用来Do方法,将会死。所以不要做这样的操作:
func main() {
 var once sync.Once
 once.Do(func() {
    once.Do(func() {
       fmt.Println("hello kenmawr.")
    })
 })
}
  • 如果 f 抛出了 panic,此时Do会认为f已经返回,后续多次调用Do也不会再触发对 f 的调用。

3. 实战用法

sync.Once 的场景很多,但万变不离其宗的落脚点在于:任何只希望执行一次的操作

基于此,我们可以发现很多具体的应用场景落地,比如某个资源的清理,全局变量的初始化,单例模式等,它们本质都是一样的。这里简单列几个,大家可以直接参考代码熟悉。

3.1 初始化

很多同学可能会有疑问,我直接在 init() 函数里面做初始化不就可以了吗?效果上是一样的,为什么还要用 sync.Once,这样还需要多声明一个 once 对象。

原因在于:init() 函数是在所在包首次被加载时执行,若未实际使用,既浪费了内存,又延缓了程序启动时间。而 sync.Once 可以在任何位置调用,而且是并发安全的,我们可以在实际依赖某个变量时才去初始化,这样「延迟初始化」从功能上讲并无差异,但可以有效地减少不必要的性能浪费。

我们来看 Golang 官方的 html 库中的一个例子,我们经常使用的转义字符串函数

func UnescapeString(s string) string

在进入函数的时候,首先就会依赖包里内置的 populateMapsOnce 实例(本质是一个 sync.Once) 来执行初始化 entity 的操作。这里的entity是一个包含上千键值对的 map,如果init()时就去初始化,会浪费内存。

var populateMapsOnce sync.Once
var entity           map[string]rune

func populateMaps() {
    entity = map[string]rune{
        "AElig;":                           '\U000000C6',
        "AMP;":                             '\U00000026',
        "Aacute;":                          '\U000000C1',
        "Abreve;":                          '\U00000102',
        "Acirc;":                           '\U000000C2',
        // 省略后续键值对
    }
}

func UnescapeString(s string) string {
    populateMapsOnce.Do(populateMaps)
    i := strings.IndexByte(s, '&')

    if i < 0 {
            return s
    }
    // 省略后续的实现
    ...
}

3.2 单例模式

开发中我们经常会实现 Getter 来暴露某个非导出的变量,这个时候就可以把 once.Do 放到 Getter 里面,完成单例的创建。

package main
import (
   "fmt"
   "sync"
)
type Singleton struct{}
var singleton *Singleton
var once sync.Once

func GetSingletonObj() *Singleton {
   once.Do(func() {
      fmt.Println("Create Obj")
      singleton = new(Singleton)
   })
   return singleton
}
func main() {
   var wg sync.WaitGroup
   for i := 0; i < 5; i++ {
      wg.Add(1)
      go func() {
         defer wg.Done()
         obj := GetSingletonObj()
         fmt.Printf("%p\n", obj)
      }()
   }
   wg.Wait()
}

3.3 关闭channel

一个channel如果已经被关闭,再去关闭的话会 panic,此时就可以应用 sync.Once 来帮忙。

type T int
type MyChannel struct {
   c    chan T
   once sync.Once
}
func (m *MyChannel) SafeClose() {
   // 保证只关闭一次channel
   m.once.Do(func() {
      close(m.c)
   })
}

4. 原理

在 sync 的源码包中,Once 的定义是一个 struct,所有定义和实现去掉注释后不过 30行,我们直接上源码来分析:

package sync
import (
   "sync/atomic"
)
// 一个 Once 实例在使用之后不能被拷贝继续使用
type Once struct {
   done uint32 // done 表明了动作是否已经执行
   m    Mutex
}
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()
   }
}

这里有两个非常巧妙的设计值得学习,我们参照注释来看一下:

  • 结构体字段顺序对速度的影响 我们来看一下带注释的 Once 结构定义
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/386),
	// and fewer instructions (to calculate offset) on other architectures.
	done uint32
	m    Mutex
}

sync.Once绝大多数场景都会访问o.done,访问 done 的机器指令是处于hot path上,hot path表示程序非常频繁执行的一系列指令。由于结构体第一个字段的地址和结构体的指针是相同的,如果是第一个字段,直接对结构体的指针解引用即可,如果是其他的字段,除了结构体指针外,还需要计算与第一个值的偏移,所以将done放在第一个字段,则CPU减少了一次偏移量的计算,访问速度更快。

  • 为何不使用 CAS 来达到执行一次的效果

其实使用 atomic.CompareAndSwapUint32 是一个非常直观的方案,这样的话 Do 的实现就变成了

func (o *OnceA) Do(f func()) {
  if !atomic.CompareAndSwapUint32(&o.done, 0, 1) {
    return
  }
  f()
}

这样的问题在于,一旦出现 CAS 失败的情况,成功协程会继续执行 f,但其他失败协程不会等待 f 执行结束。而Do 的api定位对此有着强要求,当一次 once.Do 返回时,执行的 f 一定是完成的状态。

对此,sync.Once 官方给出的解法是:

Slow path falls back to a mutex, and the atomic.StoreUint32 must be delayed until after f returns.

我们再来结合 doSlow() 看一看这里是怎么解决这个并发问题的:

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()
   }
}
  • atomic.LoadUint32 用于原子加载地址(也就是 &o.done),返回加载到的值;
  • o.done 为 0 是代表尚未执行。若同时有两个 goroutine 进来,发现 o.done 为 0(此时 f 尚未执行),就会进入 o.doSlow(f) 的慢路径中(slow path);
  • doSlow 使用 sync.Mutex 来加锁,一个协程进去,其他的被阻塞在锁的地方(注意,此时是阻塞,不是直接返回,这是和 CAS 方案最大的差别);
  • 经过 o.m.Lock() 获取到锁以后,如果此时 o.done 还是 0,意味着依然没有被执行,此时就可以放心的调用 f来执行了。否则,说明当前协程在被阻塞的过程中,已经失去了调用f 的机会,直接返回。
  • defer atomic.StoreUint32(&o.done, 1) 是这里的精华,必须等到f() 返回,在 defer 里才能够去更新 o.done 的值为 1。

5. 避坑

  • 不要拷贝一个 sync.Once 使用或作为参数传递,然后去执行 Do,值传递时 done 会归0,无法起到限制一次的效果。
  • 不要在 Do 的 f 中嵌套调用 Do

到此这篇关于一文解析 Golang sync.Once 用法及原理的文章就介绍到这了,更多相关 Golang sync.Once 内容请搜索编程网以前的文章或继续浏览下面的相关文章希望大家以后多多支持编程网!

您可能感兴趣的文档:

--结束END--

本文标题: 一文解析Golangsync.Once用法及原理

本文链接: https://www.lsjlt.com/news/121106.html(转载时请注明来源链接)

有问题或投稿请发送至: 邮箱/279061341@qq.com    QQ/279061341

本篇文章演示代码以及资料文档资料下载

下载Word文档到电脑,方便收藏和打印~

下载Word文档
猜你喜欢
  • 一文解析Golangsync.Once用法及原理
    目录前言1. 定位2. 对外接口3. 实战用法3.1 初始化3.2 单例模式3.3 关闭channel4. 原理5. 避坑前言 在此前一篇文章中我们了解了 Golang M...
    99+
    2024-04-02
  • Spring注解@Scope原理及用法解析
    Spring注解@Scope用于指定bean的作用域,即bean的生命周期。@Scope注解有以下几个常用的取值:1. single...
    99+
    2023-08-17
    Spring
  • 一文理解Redux及其工作原理
    目录一、是什么二、工作原理三、如何使用小结一、是什么 React是用于构建用户界面的,帮助我们解决渲染DOM的过程 而在整个应用中会存在很多个组件,每个组件的state是由自身进行管...
    99+
    2024-04-02
  • 一文详解PHP opcache的原理及使用
    本篇文章给大家带来了关于PHP opcache的相关知识,其中主要给大家聊一聊如何理解 OPCache 功能,并且如何使用它,感兴趣的朋友下面一起来看一下吧,希望对大家有帮助。PHP项目中,尤其是在高并发大流量的场景中,如何提升PHP的响应...
    99+
    2023-05-14
    php opcache
  • Vue.use()的作用及原理解析
    目录前言Vue.use是什么?Vue.use() 的源码中的逻辑Vue.use()什么时候使用?前言 最近帮忙面试前端的时候,就随口一问,发现很多2年以上的vue开发者说不出vue....
    99+
    2024-04-02
  • Yolov8原理详细解析!一文看懂
    引言 Yolo(You Only Look Once)是一种one-stage目标检测算法,即仅需要 “看” 一次就可以识别出图片中物体的class类别和边界框。Yolov8是Ultralytics公司最新推出的Yolo系列目标检测算法,可...
    99+
    2023-08-30
    Yolov8 目标检测 AI网络
  • RocketMQ 事务消息 原理及使用方法解析
    🍊 Java学习:Java从入门到精通总结 🍊 深入浅出RocketMQ设计思想:深入浅出RocketMQ设计思想 🍊 绝对不一样的职场干货:大厂最佳实践经验指南 📆 最近更新:2023...
    99+
    2023-09-14
    java-rocketmq rocketmq java
  • JavaWebServletConfig作用及原理分析讲解
    目录基本概念servlet 关系servletconfig 作用使用获取 config 基础信息携带信息基本概念 servlet 关系 servlet 和 servletconfig...
    99+
    2024-04-02
  • 一文搞懂JavaMD5算法的原理及实现
    目录MD5加密简介MD5加密原理MD5加密常用方法MD5加密简介 哈希算法又称散列算法,是将任何数据转换成固定长度的算法的统称。 从本质上讲,MD5也是一种哈希算法,其输出...
    99+
    2024-04-02
  • Android Root方法原理解析及Hook(四) GingerBreak
    GingerBreak是一种用于Android设备的Root方法,它利用了Android系统中的漏洞来获取Root权限。在本文中,我...
    99+
    2023-09-09
    Android
  • 一文了解什么是CDN及实现原理
    目录正文dns解析流程让我们来一步步分析解析流程:腾讯云cdn实例正文 由于用户访问源站业务有性能瓶颈,通过cdn技术把源站的内容缓存到多个节点。用户向源站域名发起请求时,请求会被调...
    99+
    2023-05-19
    CDN实现原理 什么是CDN
  • Springmvc ModelAndView原理及用法详解
    Spring MVC是一个基于Java的Web框架,它使用了Model-View-Controller(MVC)的架构模式来开发We...
    99+
    2023-08-17
    Springmvc
  • 【MySQL】一文带你理解索引事务及其原理
    MySQL- 索引事务 文章目录 MySQL- 索引事务索引操作==索引原理== 事务操作并发执行 索引 索引是一种特殊的文件,包含着对数据表里所有记录的引用指针。...
    99+
    2023-10-07
    mysql oracle 数据库
  • 一文了解Java动态代理的原理及实现
    代理是指:某些场景下对象会找一个代理对象,来辅助自己完成一些工作,如明星的经纪人、买房的人找房产中介等。 代理主要是对对象的行为额外做一些辅助操作。  如何创建代理对象: ...
    99+
    2024-04-02
  • 解析vue的provide和inject使用方法及其原理
    首先来谈谈我们为什么要使用provide/inject呢?对于爷爷和孙子组件之间,甚至太爷爷组件与孙子组件通信我们用vuex不就ok了。 那事实的确如此,但是,请听我说但是,有时候你...
    99+
    2024-04-02
  • react diff 算法实现思路及原理解析
    目录事例分析diff 特点diff 思路实现 diff 算法修改入口文件实现 React.Fragment我们需要修改 children 对比前面几节我们学习了解了 react 的渲...
    99+
    2024-04-02
  • Mysql临时表原理及创建方法解析
    这篇文章主要介绍了Mysql临时表原理及创建方法解析,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下 mysql 利用 temporary 关键字就可以创建...
    99+
    2024-04-02
  • .NET中的HashSet及原理解析
    目录哈希表原理HashSet实现总结参考文章在.NET中,System.Collection及System.Collection.Generic命名空间中提供了一系列的集合类,Has...
    99+
    2024-04-02
  • 一文详解MySQL Join使用原理
    目录Join的类型Join原理Simpe Nested-Loop JoinIndex Nested-Loop JoinBlock Nested-Loop JoinJoin优化Join...
    99+
    2023-05-17
    MySQL Join原理 MySQL Join
  • 一文详解MySQL Join使用原理
    目录Join的类型Join原理Simpe Nested-Loop JoinIndex Nested-Loop Joinblock Nested-Loop JoinJoin优化Join的类型 left join,以左表为驱...
    99+
    2023-04-25
    MySQL Join原理 MySQL Join
软考高级职称资格查询
编程网,编程工程师的家园,是目前国内优秀的开源技术社区之一,形成了由开源软件库、代码分享、资讯、协作翻译、讨论区和博客等几大频道内容,为IT开发者提供了一个发现、使用、并交流开源技术的平台。
  • 官方手机版

  • 微信公众号

  • 商务合作