事务演示：Redis的事务是部分事务

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