第一篇中介绍了Redis是一个强大的键-值仓储,支持五种灵活的数据结构。其实,Redis还支持其他的一些高级特性:事务、公布与订阅、管道、脚本等,本篇我们来看一下事务。
前一篇中我们提到,在Redis中每一个命令都是原子性的,由于Redis内部的实现是单线程的。当然Redis也支持多个命令之间的事务,只是事务在Redis中相对来说非常easy。不像数据库事务那样涉及传播级别、隔离级别等特性。
使用multi命令開始一个新的事务。exec命令提交,discard命令回滚。假设把信用卡的可用额度存入balance。欠额存入debt,在消费的时候就必须在一个事务内同一时候更新这两个键。
127.0.0.1:6379> set balance 100
OK
127.0.0.1:6379> set debt 0
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby balance 25
QUEUED
127.0.0.1:6379> incrby debt 25
QUEUED
127.0.0.1:6379> exec
1) (integer) 75
2) (integer) 25
127.0.0.1:6379> get balance
"75"
127.0.0.1:6379> get debt
"25"
在multi命令后的其他命令,返回结果都是"QUEUED“,这些命令不会马上运行,仅仅是简单的在Server端缓存起来了。在发出exec命令后,他们才会被一起运行。或者discard命令回滚事务。
在Redis官方文档有指出事务的两个特点:
- 事务中的命令都是按着他们进入缓存队列的顺序依次运行的。在事务运行中,Redis不会受理其他client的命令(隔离性)
- 事务中的命令,或者所有运行,或者所有不运行。(原子性)
上面的样例是信用卡扣减,但实际中在做扣减时我们须要检查剩余金额是否足够,所以通常会这么做:
redis.multi()
balance = redis.get('balance')
if (balance < amtToSubtract) {
redis.discard()
} else {
redis.decrby('balance', amtToSubtract)
redis.incrby('debt', amtToSubtract)
redis.exec()
}
对于普通数据库事务,上面的代码没问题。但对于Redis事务来说行不通。由于在exec命令之前,全部的命令都被Redis缓存起来了,根本就拿不到balance的值。那类似这样的须要基于已经存在的某个值的事务在Redis中怎样实现呢?答案是Watch命令:
redis.watch('balance')
balance = redis.get('balance')
if (balance < amtToSubtract) {
redis.unwatch()
} else {
redis.multi()
redis.decrby('balance', amtToSubtract)
redis.incrby('debt', amtToSubtract)
redis.exec()
}
通俗点讲,watch命令就是标记一个键。假设标记了一个键,在提交事务前假设该键被别人改动过,那事务就会失败,这样的情况通常能够在程序中又一次再尝试一次。
像上面的样例,首先标记了键balance,然后检查剩余金额是否足够,不足就取消标记。并不做扣减;足够的话,就启动事务进行更新操作,假设在此期间键balance被其他人改动,那在提交事务(运行exec)时就会报错。程序中通常能够捕获这类错误再又一次运行一次。直到成功。
Redis事务失败后不支持回滚
与数据库事务非常重要的一个差别是Redis事务在运行过程中出错后不会回滚。在exec命令后。Redis Server開始一个个的运行被缓存的命令,假设当中某个命令运行出错了,那之前的命令并不会被回滚。
127.0.0.1:6379> set value 1
OK
127.0.0.1:6379> set value2 abc
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> incr value
QUEUED
127.0.0.1:6379> incr value2
QUEUED
127.0.0.1:6379> exec
1) (integer) 2
2) (error) ERR value is not an integer or out of range
127.0.0.1:6379> get value
"2"
127.0.0.1:6379>
exec提交事务后。在运行到incr value2时错误了(数据类型不对),但事务对value的操作却是生效的。这点能够从后面的get value的返回值看到。