一、简介
1、Redis事务的概念
Redis 事务的本质是一组命令的集合。事务支持一次执行多个命令,一个事务中所有命令都会被序列化。在事务执行过程,会按照顺序串行化执行队列中的命令,其他客户端提交的命令请求不会插入到事务执行命令序列中。
总结说:redis事务就是一次性、顺序性、排他性的执行一个队列中的一系列命令。
2、Redis 事务可以一次执行多个命令, 并且带有以下三个重要的保证:
- 批量操作在发送 EXEC 命令前被放入队列缓存。
- 收到 EXEC 命令后进入事务执行,事务中任意命令执行失败,其余的命令依然被执行。
- 在事务执行过程,其他客户端提交的命令请求不会插入到事务执行命令序列中。
3、一个事务从开始到执行会经历以下三个阶段:
- 开始事务。
- 命令入队。
- 执行事务。
二、示例
1、正常执行
以下是一个事务的例子, 它先以 MULTI 开始一个事务, 然后将多个命令入队到事务中, 最后由 EXEC 命令触发事务, 一并执行事务中的所有命令:
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set name wangxiaoyu
QUEUED
127.0.0.1:6379> get name
QUEUED
127.0.0.1:6379> sadd tag "tag1" "tag2" "tag3"
QUEUED
127.0.0.1:6379> smembers tag
QUEUED
127.0.0.1:6379> exec
1) OK
2) "wangxiaoyu"
3) (integer) 3
4) 1) "tag1"
2) "tag2"
3) "tag3"
2、语法性错误
若在事务队列中存在语法性错误(类似于java的1/0的运行时异常),则执行EXEC命令时,其他正确命令会被执行,错误命令抛出异常。
127.0.0.1:6379> set k1 string
OK
127.0.0.1:6379> set k2 2
OK
127.0.0.1:6379> set k3 3
OK
127.0.0.1:6379> multi
OK
#k1位字符串类型,自增不了,所以这条命令执行会报错
127.0.0.1:6379> incr k1
QUEUED
127.0.0.1:6379> incr k2
QUEUED
127.0.0.1:6379> incr k3
QUEUED
127.0.0.1:6379> get k1
QUEUED
127.0.0.1:6379> get k2
QUEUED
127.0.0.1:6379> get k3
QUEUED
#错误命令抛出异常,正确命令继续执行
127.0.0.1:6379> exec
1) OK
2) OK
3) OK
4) (error) ERR value is not an integer or out of range
5) (integer) 3
6) (integer) 4
7) "string"
8) "3"
9) "4"
3、命令性错误
若在事务队列中存在命令性错误(类似于java编译性错误),则执行EXEC命令时,所有命令都不会执行
127.0.0.1:6379> set k4 4
OK
127.0.0.1:6379> set k5 5
OK
#开始事务
127.0.0.1:6379> multi
OK
127.0.0.1:6379> incr k4
QUEUED
127.0.0.1:6379> incr k5
QUEUED
#执行一个不存在的命令,会报错,并且执行事务的时候所有命令都不执行
127.0.0.1:6379> incrtest k4
(error) ERR unknown command 'incrtest'
127.0.0.1:6379> incr k5
QUEUED
#执行事务,报错
127.0.0.1:6379> exec
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get k4
"4"
127.0.0.1:6379> get k5
"5"
4、discard命令 放弃事务
127.0.0.1:6379> set k1 v1
OK
127.0.0.1:6379> set k2 v2
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set k1 v11
QUEUED
127.0.0.1:6379> set k2 v22
QUEUED
#放弃事务,未执行事务中的命令
127.0.0.1:6379> discard
OK
127.0.0.1:6379> get k1
"v1"
127.0.0.1:6379> get k2
"v2"
5、使用watch
watch 用于在进行事务操作的最后一步也就是在执行exec 之前对某个key进行监视,如果这个被监视的key被改动,那么事务就被取消,否则事务正常执行。
一般在MULTI 命令前就用watch命令对某个key进行监控.如果想让key取消被监控,可以用unwatch命令。
watch指令类似于乐观锁,在事务提交时,如果watch监控的多个KEY中任何KEY的值已经被其他客户端更改,则使用EXEC执行事务时,事务队列将不会被执行,同时返回Nullmulti-bulk应答以通知调用者事务执行失败。
(1)未使用watch的正常情况下执行成功
#设置信用卡额度为100,欠款为0
127.0.0.1:6379> set balance 100
OK
127.0.0.1:6379> set debt 0
OK
#开始事务,减少20额度,增加20欠款
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby balance 20
QUEUED
127.0.0.1:6379> incrby debt 20
QUEUED
#正常情况下执行成功
127.0.0.1:6379> exec
1) (integer) 80
2) (integer) 20
127.0.0.1:6379> get balance
"80"
127.0.0.1:6379> get debt
"20"
(2)使用watch检测balance,在开启事务后,在新窗口更改balance的值,模拟其他客户端在事务执行期间更改watch监控的数据,然后再执行增减操作,执行EXEC后,事务未成功执行。
127.0.0.1:6379> set balance 100
OK
127.0.0.1:6379> set debt 0
OK
127.0.0.1:6379> watch balance
OK
#开启事务,然后先在新窗口修改监听的值,再进行事务中的操作
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby balance 20
QUEUED
127.0.0.1:6379> incrby debt 20
QUEUED
#执行失败
127.0.0.1:6379> exec
(nil)
#无论事务使用执行成功, WARCH 对变量的监控都将被取消。所以这里重新开启事务后能执行成功
#故当事务执行失败后,需重新执行WATCH命令对变量进行监控,并开启新的事务进行操作。
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby balance 20
QUEUED
127.0.0.1:6379> exec
1) (integer) 100
前面执行multi开启事务后,在新窗口执行
127.0.0.1:6379> get balance
"100"
127.0.0.1:6379> set balance 120
OK