Redis的事务,Go+lua用起来真香 redis事务处理
liebian365 2024-11-14 18:02 42 浏览 0 评论
Redis是应对高并发的常用工具,在常用缓存技巧中讲过相关技巧。但有些业务场景,使用Redis会遇到问题,如电商里的秒杀、扣减库存等。
拿减库存举例,一般需要两步:
- 先扣减库存,获取扣减后的库存值V
- 如果V小于0,说明库存不够,需要将扣减的值再加回去;如果V大于等于0,则执行后续操作
但这两步是分开的,很可能扣减时成功,但增加回去时失败,导致库存不一致。
另一种方案是:
- t1时刻,先查询库存,判断是否够用
- t2时刻,再减库存
但这两步也是分开的,而且t1和t2有时间差,t2时刻扣减库存时,真正的库存和t1时刻已经不一致了。
Redis有没有像MySQL原子性一样的能力,来解决这个问题呢?
事务
要解决扣减库存的问题,可以借助Redis的事务能力。
基本介绍
Redis的基本事务(basic transaction)需要用到MULTI命令和EXEC命令,这种事务可以让一个客户端在不被其他客户端打断的情况下执行多个命令。
和关系数据库那种可以在执行的过程中进行回滚(rollback)的事务不同,在Redis里面,被MULTI命令和EXEC命令包围的所有命令会一个接一个地执行,直到所有命令都执行完毕为止。当一个事务执行完毕之后,Redis才会处理其他客户端的命令。
Redis事务在执行的中途遇到错误,不会回滚,而是继续执行后续命令;
- 还未执行exec就报错:如果事务中出现语法错误,则事务会成功回滚,整个事务中的命令都不会提交
- 成功执行exec后才报错:如果事务中出现的不是语法错误,而是执行错误,不会触发回滚,该事务中仅有该错误命令不会提交,其他命令依旧会继续提交
另外,Redis里遇到有查询的情况穿插在事务中间,不会返回结果,如下所示,只有执行exec才能返回查询结果:
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set a aaa
QUEUED
127.0.0.1:6379(TX)> get a
QUEUED
127.0.0.1:6379(TX)> exec
1) OK
2) "aaa"
对于事务,做个简单的总结:
- Redis事务作为一个整体被执行,执行期间不会被其它客户端打断
- Redis事务在执行的中途遇到错误,不会回滚,而是继续执行后续命令
- Redis里遇到有查询的情况穿插在事务中间,不会返回结果
Redis事务执行的时候不会被其它客户端打断,所以多个命令可以进行打包,当做一个命令执行。但Redis的原生命令无法提供根据Redis查询结果执行相关动作的功能,这时我们就可以用lua脚本了。
lua
Redis2.6之后新增的功能,我们可以在Redis中通过lua脚本操作Redis。
脚本会将多个命令和操作当成一个命令在Redis中执行,也就是说该脚本在执行的过程中,不会被任何其他脚本或命令打断干扰。
正是因此这种原子性,lua脚本才可以代替multi和exec的事务功能。同时也是因此,在lua脚本中不宜进行过大的开销操作,避免影响后续的其他请求的正常执行。
使用lua脚本的好处:
- lua脚本是作为一个整体执行的,所以中间不会被其他命令插入
- 可以把多条命令一次性打包,所以可以有效减少网络开销
- lua脚本可以常驻在redis内存中,所以在使用的时候,可以直接拿来复用,也减少了代码量
lua脚本在Redis里的样子如下图所示:
实例
场景
秒杀系统里画过秒杀的流程图,其中秒杀库存相关代码为:
//加库存
goodsKey := getGoodsKey(p.AppLocal, tag, tid, goods_id)
cacheQty, err := app.Global().RedisStore.Incr(goodsKey)
if err != nil {
return nil, 11008, fmt.Errorf(SERVICE_BUSY)
}
//和本次秒杀总数量进行比较
if cacheQty > int64(goodsInfo.Qty) {
//不符合条件,则减去库存
_, err := app.Global().RedisStore.Decr(goodsKey)
if err != nil {
ctx.Warn("%s seckill %s ,incr the cnt but not decr success in count process, err:%s", userId, goods_id, err.Error())
}
return nil, 11009, fmt.Errorf(NOT_SUCCESS)
}
可以看出,先增加库存,然后和本次秒杀总数量进行比较,如果超出范围,需减去库存。这种分开的操作,增加了失败的可能性。扣减商品库存,也是类似的逻辑。
使用lua
在Go语言里用lua脚本实现扣减库存操作。我们可以先查询,后比较,最后扣减,脚本将操作打包,代码为:
package main
import (
"fmt"
"github.com/go-redis/redis"
)
var Client *redis.Client
func init() {
Client = redis.NewClient(&redis.Options{
Addr: "localhost:6379",
Password: "111111", // no password set
DB: 0, // use default DB
})
}
func useLua() {
Client.FlushAll()
//设置初始值
Client.Set("stock", "10", 0)
//编写脚本 - 检查数值,是否够用,够用再减,否则返回减掉后的结果
var luaScript = redis.NewScript(`
local value = redis.call("Get", KEYS[1])
print("当前值为 " .. value);
if( value - KEYS[2] >= 0 ) then
local leftStock = redis.call("DecrBy" , KEYS[1],KEYS[2])
print("剩余值为" .. leftStock );
return leftStock
else
print("数量不够,无法扣减");
return value - KEYS[2]
end
return -1
`)
//执行脚本
n, err := luaScript.Run(Client, []string{"stock", "6"}).Result()
if err != nil {
panic(err)
}
fmt.Println("结果", n, err)
}
func main() {
useLua()
}
客户端将lua加载到Redis,脚本被Redis执行:
如果将扣减值设置为25,执行之后,观察到返回值为负数,但再次查询,值未变
? myproject go run main.go
当前值为 10
数量不够,无法扣减
结果 -15
? myproject redis-cli -p 6379 -a 111111
127.0.0.1:6379> get stock
"10"
如果将扣减值设置为6,扣减成功,执行后查看结果
? myproject go run main.go
当前值为 10
剩余值为4
结果 4
? myproject redis-cli -p 6379 -a 111111
127.0.0.1:6379> get stock
"4"
优化lua使用
当脚本会被多次执行时,可考虑使用ScriptLoad和EvalSha代替RUN节省带宽。
- 先用命令ScriptLoad将脚本缓存到Redis,Redis返回一个sha1的标识符
- 命令EvalSha基于sha1执行脚本
这种方案只有标识符sha1通过网络传输,而不需传输lua代码块,节省流量,流程如下图所示:
具体代码为:
package main
import (
"fmt"
"github.com/go-redis/redis"
)
var Client *redis.Client
var script string = `
local value = redis.call("Get", KEYS[1])
print("当前值为 " .. value);
if( value - KEYS[2] >= 0 ) then
local leftStock = redis.call("DecrBy" , KEYS[1],KEYS[2])
print("剩余值为" .. leftStock );
return leftStock
else
print("数量不够,无法扣减");
return value - KEYS[2]
end
return -1
`
var luaHash string
func init() {
Client = redis.NewClient(&redis.Options{
Addr: "localhost:6379",
Password: "111111", // no password set
DB: 0, // use default DB
})
luaHash, _ = Client.ScriptLoad(script).Result() //返回的脚本会产生一个sha1哈希值,下次用的时候可以直接使用这个值
}
func useLuaHash() {
n, err := Client.EvalSha(luaHash, []string{"stock", "6"}).Result()
if err != nil {
panic(err)
}
fmt.Println("结果", n, err)
}
func main() {
useLuaHash()
}
定制
如果大家觉得在Go中自己写lua不优雅,我们可选择定制方案。
找Redis的运维同学,让运维人员通过lua定制命令,将这些命令常驻Redis内存, 实现复用效果。使用这些定制的命令与使用Redis自身提供的命令没有区别。
当然,前提是运维同学同意做。
问题
虽然使用lua利用Redis事务能力,保证执行过程中不会插入其他命令,但无法解决所有问题:
- 不确定的返回结果:如请求超时了,要不要归还库存?
- 这种情况一般不要归还,因为很可能没扣减成功,超卖容易造成资损,少卖问题要小一些
- 归还失败:扣减成功,但后续操作失败,仍要归还库存,始终有归还失败的可能
- 这种情况需要重试,而且必须是确定类型的错误才可重试,例如超时就不可重试,同时要做好记录
这也是要求SLA要高,要常记日志的原因,无形中能解决很多问题。
搭建
记录一下在Mac机上搭建Redis的过程,大家可以安装一下Redis,执行Go+lua的代码。
安装
Redis搭建比较简单,使用如下命令即可安装完毕
brew install redis
密码
为了安全,可以设置密码。打开 redis.conf 文件,然后按 command + f 进行搜索:#requirepass foobared 修改为:requirepass 你的密码
服务端启动
执行如下命令,在服务端启动redis
/usr/local/bin/redis-server /usr/local/etc/redis.conf
执行redis-server命令时,如果没有redis.conf文件,则按照默认配置启动,这种情况下登录无需auth
命令行登录
如果设置了auth,命令行登录如下:
redis-cli -p 端口 -a 密码
如果未设置auth,直接执行
redis-cli
总结
有些问题无法百分之百解决,我们要接受这个事实。但并不意味着妥协,我们要能发现问题,确定解决方案,即使是手动解决的方案。有一个前提,解决频率要足够低,这时就没必要把关注点放在100%自动化解决上,产出比特别低的事尽量少做。
资料
- 在golang中使用lua脚本
- redis登录及设置密码
- 为什么说Redis是单线程的以及Redis为什么这么快!
- go-redis 事务提交
- Golang使用lua脚本实现redis原子操作
- Redis事务与Lua
- Redis事务的分析及改进
- Redis系列(九)、Redis的“事务”及Lua脚本操作
最后
大家如果喜欢我的文章,可以关注我的公众号(程序员麻辣烫)
我的个人博客为:https://shidawuhen.github.io/
往期文章回顾:
- 设计模式
- 招聘
- 思考
- 存储
- 算法系列
- 读书笔记
- 小工具
- 架构
- 网络
- Go语言
相关推荐
- go语言也可以做gui,go-fltk让你做出c++级别的桌面应用
-
大家都知道go语言生态并没有什么好的gui开发框架,“能用”的一个手就能数的清,好用的就更是少之又少。今天为大家推荐一个go的gui库go-fltk。它是通过cgo调用了c++的fltk库,性能非常高...
- 旧电脑的首选系统:TinyCore!体积小+精简+速度极快,你敢安装吗
-
这几天老毛桃整理了几个微型Linux发行版,准备分享给大家。要知道可供我们日常使用的Linux发行版有很多,但其中的一些发行版经常会被大家忽视。其实这些微型Linux发行版是一种非常强大的创新:在一台...
- codeblocks和VS2019下的fltk使用中文
-
在fltk中用中文有点问题。英文是这样。中文就成这个样子了。我查了查资料,说用UTF-8编码就行了。edit->Fileencoding->UTF-8然后保存文件。看下下边的编码指示确...
- FLTK(Fast Light Toolkit)一个轻量级的跨平台Python GUI库
-
FLTK(FastLightToolkit)是一个轻量级的跨平台GUI库,特别适用于开发需要快速、高效且简单界面的应用程序。本文将介绍Python中的FLTK库,包括其特性、应用场景以及如何通过代...
- 中科院开源 RISC-V 处理器“香山”流片,已成功运行 Linux
-
IT之家1月29日消息,去年6月份,中科院大学教授、中科院计算所研究员包云岗,发布了开源高性能RISC-V处理器核心——香山。近日,包云岗在社交平台晒出图片,香山芯片已流片,回片后...
- Linux 5.13内核有望合并对苹果M1处理器支持的初步代码
-
预计Linux5.13将初步支持苹果SiliconM1处理器,不过完整的支持工作可能还需要几年时间才能完全完成。虽然Linux已经可以在苹果SiliconM1上运行,但这需要通过一系列的补丁才能...
- Ubuntu系统下COM口测试教程(ubuntu port)
-
1、在待测试的板上下载minicom,下载minicom有两种方法:方法一:在Ubuntu软件中心里面搜索下载方法二:按“Ctrl+Alt+T”打开终端,打开终端后输入“sudosu”回车;在下...
- 湖北嵌入式软件工程师培训怎么选,让自己脱颖而出
-
很多年轻人毕业即失业、面试总是不如意、薪酬不满意、在家躺平。“就业难”该如何应对,参加培训是否能改变自己的职业走向,在湖北,有哪些嵌入式软件工程师培训怎么选值得推荐?粤嵌科技在嵌入式培训领域有十几年经...
- 新阁上位机开发---10年工程师的Modbus总结
-
前言我算了一下,今年是我跟Modbus相识的第10年,从最开始的简单应用到协议了解,从协议开发到协议讲解,这个陪伴了10年的协议,它一直没变,变的只是我对它的理解和认识。我一直认为Modbus协议的存...
- 创建你的第一个可运行的嵌入式Linux系统-5
-
@ZHangZMo在MicrochipBuildroot中配置QT5选择Graphic配置文件增加QT5的配置修改根文件系统支持QT5修改output/target/etc/profile配置文件...
- 如何在Linux下给zigbee CC2530实现上位机
-
0、前言网友提问如下:粉丝提问项目框架汇总下这个网友的问题,其实就是实现一个网关程序,内容分为几块:下位机,通过串口与上位机相连;下位机要能够接收上位机下发的命令,并解析这些命令;下位机能够根据这些命...
- Python实现串口助手 - 03串口功能实现
-
串口调试助手是最核心的当然是串口数据收发与显示的功能,pzh-py-com借助的是pySerial库实现串口收发功能,今天痞子衡为大家介绍pySerial是如何在pzh-py-com发挥功能的。一、...
- 为什么选择UART(串口)作为调试接口,而不是I2C、SPI等其他接口
-
UART(通用异步收发传输器)通常被选作调试接口有以下几个原因:简单性:协议简单:UART的协议非常简单,只需设置波特率、数据位、停止位和校验位就可以进行通信。相比之下,I2C和SPI需要处理更多的通...
- 同一个类,不同代码,Qt 串口类QSerialPort 与各种外设通讯处理
-
串口通讯在各种外设通讯中是常见接口,因为各种嵌入式CPU中串口标配,工业控制中如果不够还通过各种串口芯片进行扩展。比如spi接口的W25Q128FV.对于软件而言,因为驱动接口固定,软件也相对好写,因...
- 嵌入式linux为什么可以通过PC上的串口去执行命令?
-
1、uboot(负责初始化基本硬bai件,如串口,网卡,usb口等,然du后引导系统zhi运行)2、linux系统(真正的操作系统)3、你的应用程序(基于操作系统的软件应用)当你开发板上电时,u...
你 发表评论:
欢迎- 一周热门
- 最近发表
-
- go语言也可以做gui,go-fltk让你做出c++级别的桌面应用
- 旧电脑的首选系统:TinyCore!体积小+精简+速度极快,你敢安装吗
- codeblocks和VS2019下的fltk使用中文
- FLTK(Fast Light Toolkit)一个轻量级的跨平台Python GUI库
- 中科院开源 RISC-V 处理器“香山”流片,已成功运行 Linux
- Linux 5.13内核有望合并对苹果M1处理器支持的初步代码
- Ubuntu系统下COM口测试教程(ubuntu port)
- 湖北嵌入式软件工程师培训怎么选,让自己脱颖而出
- 新阁上位机开发---10年工程师的Modbus总结
- 创建你的第一个可运行的嵌入式Linux系统-5
- 标签列表
-
- wireshark怎么抓包 (75)
- qt sleep (64)
- cs1.6指令代码大全 (55)
- factory-method (60)
- sqlite3_bind_blob (52)
- hibernate update (63)
- c++ base64 (70)
- nc 命令 (52)
- wm_close (51)
- epollin (51)
- sqlca.sqlcode (57)
- lua ipairs (60)
- tv_usec (64)
- 命令行进入文件夹 (53)
- postgresql array (57)
- statfs函数 (57)
- .project文件 (54)
- lua require (56)
- for_each (67)
- c#工厂模式 (57)
- wxsqlite3 (66)
- dmesg -c (58)
- fopen参数 (53)
- tar -zxvf -c (55)
- 速递查询 (52)