百度360必应搜狗淘宝本站头条
当前位置:网站首页 > 技术分类 > 正文

赏析Singleflight设计

ztj100 2025-05-16 18:04 24 浏览 0 评论

前言

哈喽,大家好。今天想与大家分享一下singleflight这个库,singleflight仅仅只有100多行却可以做到防止缓存击穿,有点厉害哦!所以本文我们就一起来看一看他是怎么设计的~。

注意:本文基于 https://pkg.go.dev/golang.org/x/sync/singleflight进行分析。

缓存击穿

什么是缓存击穿

平常在高并发系统中,会出现大量的请求同时查询一个key的情况,假如此时这个热key刚好失效了,就会导致大量的请求都打到数据库上面去,这种现象就是缓存击穿。缓存击穿和缓存雪崩有点像,但是又有一点不一样,缓存雪崩是因为大面积的缓存失效,打崩了DB,而缓存击穿则是指一个key非常热点,在不停的扛着高并发,高并发集中对着这一个点进行访问,如果这个key在失效的瞬间,持续的并发到来就会穿破缓存,直接请求到数据库,就像一个完好无损的桶上凿开了一个洞,造成某一时刻数据库请求量过大,压力剧增!

如何解决

  • 方法一我们简单粗暴点,直接让热点数据永远不过期,定时任务定期去刷新数据就可以了。不过这样设置需要区分场景,比如某宝首页可以这么做。
  • 方法二为了避免出现缓存击穿的情况,我们可以在第一个请求去查询数据库的时候对他加一个互斥锁,其余的查询请求都会被阻塞住,直到锁被释放,后面的线程进来发现已经有缓存了,就直接走缓存,从而保护数据库。但是也是由于它会阻塞其他的线程,此时系统吞吐量会下降。需要结合实际的业务去考虑是否要这么做。
  • 方法三方法三就是singleflight的设计思路,也会使用互斥锁,但是相对于方法二的加锁粒度会更细,这里先简单总结一下singleflight的设计原理,后面看源码在具体分析。singleflightd的设计思路就是将一组相同的请求合并成一个请求,使用map存储,只会有一个请求到达mysql,使用sync.waitgroup包进行同步,对所有的请求返回相同的结果。

截屏2021-07-14 下午8.30.56

源码赏析

已经迫不及待了,直奔主题吧,下面我们一起来看看singleflight是怎么设计的。

数据结构

singleflight的结构定义如下:

type Group struct {
 mu sync.Mutex       // 互斥锁,保证并发安全
 m  map[string]*call // 存储相同的请求,key是相同的请求,value保存调用信息。
}

Group结构还是比较简单的,只有两个字段,m是一个mapkey是相同请求的标识,value是用来保存调用信息,这个map是懒加载,其实就是在使用时才会初始化;mu是互斥锁,用来保证m的并发安全。m存储调用信息也是单独封装了一个结构:

type call struct {
 wg sync.WaitGroup
 // 存储返回值,在wg done之前只会写入一次
 val interface{}
  // 存储返回的错误信息
 err error

 // 标识别是否调用了Forgot方法
 forgotten bool

 // 统计相同请求的次数,在wg done之前写入
 dups  int
  // 使用DoChan方法使用,用channel进行通知
 chans []chan<- Result
}
// Dochan方法时使用
type Result struct {
 Val    interface{} // 存储返回值
 Err    error // 存储返回的错误信息
 Shared bool // 标示结果是否是共享结果
}

Do方法

// 入参:key:标识相同请求,fn:要执行的函数
// 返回值:v: 返回结果 err: 执行的函数错误信息 shard: 是否是共享结果
func (g *Group) Do(key string, fn func() (interface{}, error)) (v interface{}, err error, shared bool) {
 // 代码块加锁
 g.mu.Lock()
 // map进行懒加载
 if g.m == nil {
   // map初始化
  g.m = make(map[string]*call)
 }
 // 判断是否有相同请求
 if c, ok := g.m[key]; ok {
   // 相同请求次数+1
  c.dups++
  // 解锁就好了,只需要等待执行结果了,不会有写入操作了
  g.mu.Unlock()
  // 已有请求在执行,只需要等待就好了
  c.wg.Wait()
  // 区分panic错误和runtime错误
  if e, ok := c.err.(*panicError); ok {
   panic(e)
  } else if c.err == errGoexit {
   runtime.Goexit()
  }
  return c.val, c.err, true
 }
 // 之前没有这个请求,则需要new一个指针类型
 c := new(call)
 // sync.waitgroup的用法,只有一个请求运行,其他请求等待,所以只需要add(1)
 c.wg.Add(1)
 // m赋值
 g.m[key] = c
 // 没有写入操作了,解锁即可
 g.mu.Unlock()
 // 唯一的请求该去执行函数了
 g.doCall(c, key, fn)
 return c.val, c.err, c.dups > 0
}

这里是唯一有疑问的应该是区分panicruntime错误部分吧,这个与下面的docall方法有关联,看完docall你就知道为什么了。

docall

// doCall handles the single call for a key.
func (g *Group) doCall(c *call, key string, fn func() (interface{}, error)) {
  // 标识是否正常返回
 normalReturn := false
  // 标识别是否发生panic
 recovered := false
  
 defer func() {
  // 通过这个来判断是否是runtime导致直接退出了
  if !normalReturn && !recovered {
      // 返回runtime错误信息
   c.err = errGoexit
  }

  c.wg.Done()
  g.mu.Lock()
  defer g.mu.Unlock()
    // 防止重复删除key
  if !c.forgotten {
   delete(g.m, key)
  }
  // 检测是否出现了panic错误
  if e, ok := c.err.(*panicError); ok {
   // 如果是调用了dochan方法,为了channel避免死锁,这个panic要直接抛出去,不能recover住,要不就隐藏错误了
   if len(c.chans) > 0 {
    go panic(e) // 开一个写成panic
    select {} // 保持住这个goroutine,这样可以将panic写入crash dump
   } else {
    panic(e)
   }
  } else if c.err == errGoexit {
   // runtime错误不需要做任何时,已经退出了
  } else {
   // 正常返回的话直接向channel写入数据就可以了
   for _, ch := range c.chans {
    ch <- Result{c.val, c.err, c.dups > 0}
   }
  }
 }()
  // 使用匿名函数目的是recover住panic,返回信息给上层
 func() {
  defer func() {
   if !normalReturn {
    // 发生了panic,我们recover住,然后把错误信息返回给上层
    if r := recover(); r != nil {
     c.err = newPanicError(r)
    }
   }
  }()
  // 执行函数
  c.val, c.err = fn()
    // fn没有发生panic
  normalReturn = true
 }()
 // 判断执行函数是否发生panic
 if !normalReturn {
  recovered = true
 }
}

这里来简单描述一下为什么区分panicruntime错误,不区分的情况下如果调用出现了恐慌,但是锁没有被释放,会导致使用相同key的所有后续调用都出现了死锁,具体可以查看这个issue:https://github.com/golang/go/issues/33519。

Dochan和Forget方法

//异步返回
// 入参数:key:标识相同请求,fn:要执行的函数
// 出参数:<- chan 等待接收结果的channel
func (g *Group) DoChan(key string, fn func() (interface{}, error)) <-chan Result {
  // 初始化channel
 ch := make(chan Result, 1)
 g.mu.Lock()
  // 懒加载
 if g.m == nil {
  g.m = make(map[string]*call)
 }
  // 判断是否有相同的请求
 if c, ok := g.m[key]; ok {
    //相同请求数量+1
  c.dups++
    // 添加等待的chan
  c.chans = append(c.chans, ch)
  g.mu.Unlock()
  return ch
 }
 c := &call{chans: []chan<- Result{ch}}
 c.wg.Add(1)
 g.m[key] = c
 g.mu.Unlock()
 // 开一个写成调用
 go g.doCall(c, key, fn)
 // 返回这个channel等待接收数据
 return ch
}
// 释放某个 key 下次调用就不会阻塞等待了
func (g *Group) Forget(key string) {
 g.mu.Lock()
 if c, ok := g.m[key]; ok {
  c.forgotten = true
 }
 delete(g.m, key)
 g.mu.Unlock()
}

注意事项

因为我们在使用singleflight时需要自己写执行函数,所以如果我们写的执行函数一直循环住了,就会导致我们的整个程序处于循环的状态,积累越来越多的请求,所以在使用时,还是要注意一点的,比如这个例子:

result, err, _ := d.singleGroup.Do(key, func() (interface{}, error) {
  for{
   // TODO
  }
}

不过这个问题一般也不会发生,我们在日常开发中都会使用context控制超时。

总结

好啦,这篇文章就到这里啦。因为最近我在项目中也使用singleflight这个库,所以就看了一下源码实现,真的是厉害,这么短的代码就实现了这么重要的功能,我怎么就想不到呢。。。。所以说还是要多读一些源码库,真的能学到好多,真是应了那句话:你知道的越多,不知道的就越多!


作者:Golang梦工厂

来源:
https://mp.weixin.qq.com/s/JUkxGbx1Ufpup3Hx08tI2w

相关推荐

其实TensorFlow真的很水无非就这30篇熬夜练

好的!以下是TensorFlow需要掌握的核心内容,用列表形式呈现,简洁清晰(含表情符号,<300字):1.基础概念与环境TensorFlow架构(计算图、会话->EagerE...

交叉验证和超参数调整:如何优化你的机器学习模型

准确预测Fitbit的睡眠得分在本文的前两部分中,我获取了Fitbit的睡眠数据并对其进行预处理,将这些数据分为训练集、验证集和测试集,除此之外,我还训练了三种不同的机器学习模型并比较了它们的性能。在...

机器学习交叉验证全指南:原理、类型与实战技巧

机器学习模型常常需要大量数据,但它们如何与实时新数据协同工作也同样关键。交叉验证是一种通过将数据集分成若干部分、在部分数据上训练模型、在其余数据上测试模型的方法,用来检验模型的表现。这有助于发现过拟合...

深度学习中的类别激活热图可视化

作者:ValentinaAlto编译:ronghuaiyang导读使用Keras实现图像分类中的激活热图的可视化,帮助更有针对性...

超强,必会的机器学习评估指标

大侠幸会,在下全网同名[算法金]0基础转AI上岸,多个算法赛Top[日更万日,让更多人享受智能乐趣]构建机器学习模型的关键步骤是检查其性能,这是通过使用验证指标来完成的。选择正确的验证指...

机器学习入门教程-第六课:监督学习与非监督学习

1.回顾与引入上节课我们谈到了机器学习的一些实战技巧,比如如何处理数据、选择模型以及调整参数。今天,我们将更深入地探讨机器学习的两大类:监督学习和非监督学习。2.监督学习监督学习就像是有老师的教学...

Python教程(三十八):机器学习基础

...

Python 模型部署不用愁!容器化实战,5 分钟搞定环境配置

你是不是也遇到过这种糟心事:花了好几天训练出的Python模型,在自己电脑上跑得顺顺当当,一放到服务器就各种报错。要么是Python版本不对,要么是依赖库冲突,折腾半天还是用不了。别再喊“我...

超全面讲透一个算法模型,高斯核!!

...

神经网络与传统统计方法的简单对比

传统的统计方法如...

AI 基础知识从0.1到0.2——用“房价预测”入门机器学习全流程

...

自回归滞后模型进行多变量时间序列预测

下图显示了关于不同类型葡萄酒销量的月度多元时间序列。每种葡萄酒类型都是时间序列中的一个变量。假设要预测其中一个变量。比如,sparklingwine。如何建立一个模型来进行预测呢?一种常见的方...

苹果AI策略:慢哲学——科技行业的“长期主义”试金石

苹果AI策略的深度原创分析,结合技术伦理、商业逻辑与行业博弈,揭示其“慢哲学”背后的战略智慧:一、反常之举:AI狂潮中的“逆行者”当科技巨头深陷AI军备竞赛,苹果的克制显得格格不入:功能延期:App...

时间序列预测全攻略,6大模型代码实操

如果你对数据分析感兴趣,希望学习更多的方法论,希望听听经验分享,欢迎移步宝藏公众号...

AI 基础知识从 0.4 到 0.5—— 计算机视觉之光 CNN

...

取消回复欢迎 发表评论: