Redis的事务
Redis的事务
一、事务相关命令
1.1 MULTI
标记一个事务块的开始。
事务块内的多条命令会按照先后顺序被放进一个队列当中,最后由 EXEC 命令原子性(atomic)地执行。
返回值:总是返回 OK 。
1.2 EXEC
执行所有事务块内的命令。
假如某个(或某些) key 正处于 WATCH 命令的监视之下,且事务块中有和这个(或这些) key 相关的命令,那么 EXEC
命令只在这个(或这些) key 没有被其他命令所改动的情况下执行并生效,否则该事务被打断(abort)。
返回值:事务块内所有命令的返回值,按命令执行的先后顺序排列。当操作被打断时,返回空值 nil 。
1.3 DISCARD
取消事务,放弃执行事务块内的所有命令。
如果正在使用 WATCH 命令监视某个(或某些) key,那么取消所有监视,等同于执行命令 UNWATCH 。
返回值:总是返回OK
1.4 WATCH key [key …]
监视一个(或多个) key ,如果在事务执行之前这个(或这些) key 被其他命令所改动,那么事务将被打断。
返回值:总是返回OK
1.5 UNWATCH
取消 WATCH 命令对所有 key 的监视。
如果在执行 WATCH 命令之后, EXEC 命令或 DISCARD 命令先被执行了的话,那么就不需要再执行 UNWATCH 了。
因为 EXEC 命令会执行事务,因此 WATCH 命令的效果已经产生了;而 DISCARD 命令在取消事务的同时也会取消所有对 key 的监视,因此这两个命令执行之后,就没有必要执行 UNWATCH 了。
1.6 什么是Redis的事务?
可以一次执行多个命令,本质是一组命令的集合。一个事务中的所有命令都会序列化,按顺序地串行化执行而不会被其它命令插入,不许加塞。
1.7 Redis的事务能干什么?
一个队列中,一次性、顺序性、排他性的执行一系列命令
二、实操
1、正常放行
MULTI
set k1 v1
set k2 v2
get k2
set k3 v3
EXEC
2、放弃事务
MULTI
set k1 v1
set k2 22
set k3 33
DISCARD
再查看下k2的值,如下图,k2的值并没有变,所以事务并未提交
3、全体连坐
一个错误,全体连坐,都不执行
MULTI
set k1 v1
set k2 v2
set k3 v3
getset k3
set k4 v4
set k5 v5
exec
可以看到并没有取到k5的值,所有上面的事务并没有提交
4、冤头债主
对的执行,错的抛出
设置个k1
set k1 aa
MULTI
incr k1
set k2 22
set k3 33
set k4 v4
get k3
get k4
EXEC
可以看到 Incr k1这句并没有执行成功,因为不能给字符串自增1,最后的命令get k4也没问题
5、watch监控
1、悲观锁和乐观锁的概念:
悲观锁(Pessimistic Lock),
顾名思义,就是很悲观,每次去拿数据的时候都认为别人会修改,所以每次在拿数据的时候都会上锁,这样别人想拿这个数据就会block直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制,比如行锁,表锁等,读锁,写锁等,都是在做操作之前先上锁。
乐观锁(Optimistic Lock), 顾名思义,就是很乐观,每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,可以使用版本号等机制。乐观锁适用于多读的应用类型,这样可以提高吞吐量,
乐观锁策略:提交版本必须大于记录当前版本才能执行更新
加入初始化一个信用卡的可用余额和欠额
set balance 100
set debt 0
比如吃面剪掉balance的20,debt加20
2、无加塞篡改,先监控再开启MULTI,保证两笔金额变动在同一个事务内
WATCH balance
MULTI
decrby balance 20
incrby debt 20
exec
3、有加塞篡改
监控了key,如果key被修改了,后面一个事务的执行失效
启动两个终端窗口
先开启监控(窗口1)
watch balance
再 设置balance(窗口2)
set balance 800
接着都是窗口1的命令:
MULTI
decrby balance 20
incrby debt 20
exec
可以看到加塞篡改之后事务执行失败了
4、UNWATCH
watch balance
set balance 800
set balance 500
UNWATCH
5、watch总结
一旦执行了exec之前加的监控锁都会被取消掉了
Watch指令,类似乐观锁,事务提交时,如果Key的值已被别的客户端改变,比如某个list已被别的客户端push/pop过了,整个事务队列都不会被执行
通过WATCH命令在事务执行之前监控了多个Keys,倘若在WATCH之后有任何Key的值发生了变化,EXEC命令执行的事务都将被放弃,同时返回Nullmulti-bulk应答以通知调用者事务执行失败
三、总结
3.1 Redis事务的三个阶段
- 开启:以MULTI开始一个事务
- 入队:将多个命令入队到事务中,接到这些命令并不会立即执行,而是放到等待执行的事务队列里面
- 执行:由EXEC命令触发事务
3.2 Redis事务的三个特性
- 单独的隔离操作:事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中,不会被其他客户端发送来的命令请求所打断。
- 没有隔离级别的概念:队列中的命令没有提交之前都不会实际的被执行,因为事务提交前任何指令都不会被实际执行,
也就不存在”事务内的查询要看到事务里的更新,在事务外查询不能看到”这个让人万分头痛的问题 - 不保证原子性:redis同一个事务中如果有一条命令执行失败,其后的命令仍然会被执行,没有回滚。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· DeepSeek 开源周回顾「GitHub 热点速览」
· 物流快递公司核心技术能力-地址解析分单基础技术分享
· .NET 10首个预览版发布:重大改进与新特性概览!
· AI与.NET技术实操系列(二):开始使用ML.NET
· 单线程的Redis速度为什么快?
2020-05-29 约瑟夫环问题(单向循环链表实现)