赏析Singleflight设计
ztj100 2025-05-16 18:04 15 浏览 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是一个map,key是相同请求的标识,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
}
这里是唯一有疑问的应该是区分panic和runtime错误部分吧,这个与下面的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
}
}
这里来简单描述一下为什么区分panic和runtime错误,不区分的情况下如果调用出现了恐慌,但是锁没有被释放,会导致使用相同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
- 上一篇:gRPC-go服务发现&负载均衡
- 下一篇:【快收藏】音视频开发开源项目!
相关推荐
- 拒绝躺平,如何使用AOP的环绕通知实现分布式锁
-
如何在分布式环境下,像用synchronized关键字那样使用分布式锁。比如开发一个注解,叫@DistributionLock,作用于一个方法函数上,每次调方法前加锁,调完之后自动释放锁。可以利用Sp...
- 「解锁新姿势」 兄dei,你代码需要优化了
-
前言在我们平常开发过程中,由于项目时间紧张,代码可以用就好,往往会忽视代码的质量问题。甚至有些复制粘贴过来,不加以整理规范。往往导致项目后期难以维护,更别说后续接手项目的人。所以啊,我们要编写出优雅的...
- 消息队列核心面试点讲解(消息队列面试题)
-
Rocketmq消息不丢失一、前言RocketMQ可以理解成一个特殊的存储系统,这个存储系统特殊之处数据是一般只会被使用一次,这种情况下,如何保证这个被消费一次的消息不丢失是非常重要的。本文将分析Ro...
- 秒杀系统—4.第二版升级优化的技术文档二
-
大纲7.秒杀系统的秒杀活动服务实现...
- SpringBoot JPA动态查询与Specification详解:从基础到高级实战
-
一、JPA动态查询概述1.1什么是动态查询动态查询是指根据运行时条件构建的查询,与静态查询(如@Query注解或命名查询)相对。在业务系统中,80%的查询需求都是动态的,例如电商系统中的商品筛选、订...
- Java常用工具类技术文档(java常用工具类技术文档有哪些)
-
一、概述Java工具类(UtilityClasses)是封装了通用功能的静态方法集合,能够简化代码、提高开发效率。本文整理Java原生及常用第三方库(如ApacheCommons、GoogleG...
- Guava 之Joiner 拼接字符串和Map(字符串拼接join的用法)
-
Guave是一个强大的的工具集合,今天给大家介绍一下,常用的拼接字符串的方法,当然JDK也有方便的拼接字符串的方式,本文主要介绍guava的,可以对比使用基本的拼接的话可以如下操作...
- SpringBoot怎么整合Redis,监听Key过期事件?
-
一、修改Redis配置文件1、在Redis的安装目录2、找到redis.windows.conf文件,搜索“notify-keyspace-events”...
- 如何使用Python将多个excel文件数据快速汇总?
-
在数据分析和处理的过程中,Excel文件是我们经常会遇到的数据格式之一。本文将通过一个具体的示例,展示如何使用Python和Pandas库来读取、合并和处理多个Excel文件的数据,并最终生成一个包含...
- 利用Pandas高效处理百万级数据集,速度提升10倍的秘密武器
-
处理大规模数据集,尤其是百万级别的数据量,对效率的要求非常高。使用Pandas时,可以通过一些策略和技巧显著提高数据处理的速度。以下是一些关键的方法,帮助你使用Pandas高效地处理大型数据集,从而实...
- Python进阶-Day 25: 数据分析基础
-
目标:掌握Pandas和NumPy的基本操作,学习如何分析CSV数据集并生成报告。课程内容...
- Pandas 入门教程 - 第五课: 高级数据操作
-
在前几节课中,我们学习了如何使用Pandas进行数据操作和可视化。在这一课中,我们将进一步探索一些高级的数据操作技巧,包括数据透视、分组聚合、时间序列处理以及高级索引和切片。高级索引和切片...
- 原来这才是Pandas!(原来这才是薯片真正的吃法)
-
听到一些人说,Pandas语法太乱、太杂了,根本记不住。...
- python(pandas + numpy)数据分析的基础
-
数据NaN值排查,统计,排序...
- 利用Python进行数据分组/数据透视表
-
1.数据分组源数据表如下所示:1.1分组键是列名分组键是列名时直接将某一列或多列的列名传给groupby()方法,groupby()方法就会按照这一列或多列进行分组。按照一列进行分组...
你 发表评论:
欢迎- 一周热门
- 最近发表
- 标签列表
-
- idea eval reset (50)
- vue dispatch (70)
- update canceled (42)
- order by asc (53)
- spring gateway (67)
- 简单代码编程 贪吃蛇 (40)
- transforms.resize (33)
- redisson trylock (35)
- 卸载node (35)
- np.reshape (33)
- torch.arange (34)
- npm 源 (35)
- vue3 deep (35)
- win10 ssh (35)
- vue foreach (34)
- idea设置编码为utf8 (35)
- vue 数组添加元素 (34)
- std find (34)
- tablefield注解用途 (35)
- python str转json (34)
- java websocket客户端 (34)
- tensor.view (34)
- java jackson (34)
- vmware17pro最新密钥 (34)
- mysql单表最大数据量 (35)