1、理论基础
1、基础
a)redis的事务本质是一个队列,不能保证事务的原子性:
因为即使事务中有任何操作隐式地执行失败(即事务提交后该操作执行失败),事务仍会被提交,能正确执行的操作仍会写入数据库中。
b)它的实质是将所有操作放到一个队列中按顺序执行。
c)相关命令
multi:开启一个事务。
exec:提交一个事务。
discard:回滚事务。
watch key [key...]:监视一个key或多个key。
被监视的key如果在事务提交前发生改变,则事务不会被提交。
注意:指的是事务提交前,而不是事务执行期间,好好理解事务提交前和事务执行期间的区别。
unwatch:取消watch命令对所有key的监控。
2、事务执行成功
127.0.0.1:6379> set zhang3 100
OK
127.0.0.1:6379> set li4 100
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby zhang3 10
QUEUED
127.0.0.1:6379> incrby li4 10
QUEUED
127.0.0.1:6379> exec
1) (integer) 90
2) (integer) 110
3、事务执行失败
127.0.0.1:6379> set zhang3 100
OK
127.0.0.1:6379> set li4 100
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby zhang3 10.0 #####该操作隐式执行失败
QUEUED
127.0.0.1:6379> incrby li4 10
QUEUED
127.0.0.1:6379> exec
1) (error) ERR value is not an integer or out of range
2) (integer) 110
4、事务执行 中断
127.0.0.1:6379> set zhang3 100
OK
127.0.0.1:6379> set li4 100
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby zhang3 #####该操作显示报错,事务中断
(error) ERR wrong number of arguments for 'decrby' command
127.0.0.1:6379> decrby zhang3 10
QUEUED
127.0.0.1:6379> incrby li4 10
QUEUED
127.0.0.1:6379> exec
(error) EXECABORT Transaction discarded because of previous errors.
5、监视:事务执行成功
127.0.0.1:6379> set zhang3 100
OK
127.0.0.1:6379> set li4 100
OK
127.0.0.1:6379> watch zhang3 li4
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby zhang3 10
QUEUED
127.0.0.1:6379> incrby li4 10
QUEUED
127.0.0.1:6379> exec
1) (integer) 90
2) (integer) 110
6、监视:事务执行失败
127.0.0.1:6379> set zhang3 100
OK
127.0.0.1:6379> set li4 100
OK
127.0.0.1:6379> watch zhang3 li4
OK
127.0.0.1:6379> decrby zhang3 10 #####监视期间事务值发生了变化
(integer) 90
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby zhang3 10
QUEUED
127.0.0.1:6379> incrby li4 10
QUEUED
127.0.0.1:6379> exec
(nil)
7、取消监视:事务执行成功
127.0.0.1:6379> set zhang3 100
OK
127.0.0.1:6379> set li4 100
OK
127.0.0.1:6379> watch zhang3 li4
OK
127.0.0.1:6379> decrby zhang3 10 #####监视期间key发生变化
(integer) 90
127.0.0.1:6379> unwatch #####取消所有key的监视
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby zhang3 10
QUEUED
127.0.0.1:6379> incrby li4 10
QUEUED
127.0.0.1:6379> exec
1) (integer) 80
2) (integer) 110