Redis事物的本质:一组命令的集合!一个事务中的所有命令都会被序列化,在事务执行的中,会按照顺序执行
一次性、顺序性、排他性!执行一系列的命令
----------- 队列 set set set 执行 -----------
Redis实物没有隔离级别的概念
所有的命令在事务中,并没有直接执行!只有发起执行命令的时候才会执行!Exec
注:Redis单条命令是保持原子性的,但是事务不保证原子性!
redis的事务:
正常执行事务!
127.0.0.1:6379> multi # 开启事务 OK # 命令入队 127.0.0.1:6379(TX)> set v1 wangyapeng QUEUED 127.0.0.1:6379(TX)> set v2 hahahahha QUEUED 127.0.0.1:6379(TX)> set v3 zezeze QUEUED 127.0.0.1:6379(TX)> get v1 QUEUED 127.0.0.1:6379(TX)> exec # 启动事务 1) OK 2) OK 3) OK 4) "wangyapeng"
放弃事务
127.0.0.1:6379> multi # 开启事务 OK 127.0.0.1:6379(TX)> set k1 v1 QUEUED 127.0.0.1:6379(TX)> set k2 v2 QUEUED 127.0.0.1:6379(TX)> set k4 v4 QUEUED 127.0.0.1:6379(TX)> DISCARD # 放弃事务 OK 127.0.0.1:6379> get k4 # 事务中的命令不会被执行 (nil)
编译时异常(命令有问题),事务中所有的命令都不会被执行!
127.0.0.1:6379> multi # 开启事务 OK 127.0.0.1:6379(TX)> set k1 v1 QUEUED 127.0.0.1:6379(TX)> set k3 v3 QUEUED 127.0.0.1:6379(TX)> set k4 v4 QUEUED 127.0.0.1:6379(TX)> get 1 0 # 命令有问题 那么队列里面的所有命令都不会执行 (error) ERR wrong number of arguments for 'get' command 127.0.0.1:6379(TX)> set k6 v6 QUEUED 127.0.0.1:6379(TX)> exec # 执行命令 (error) EXECABORT Transaction discarded because of previous errors. 127.0.0.1:6379> get k6 # 空的值 (nil)
运行时异常 1/0,如果事务队列中 存在语法性,那么执行命令的时候,其他命令可以正常执行
127.0.0.1:6379> set k1 hello OK 127.0.0.1:6379> multi OK 127.0.0.1:6379(TX)> incr k1 # 无法执行,命令没问题,语法有问题不会影响其他的命令执行 QUEUED 127.0.0.1:6379(TX)> set k1 1 QUEUED 127.0.0.1:6379(TX)> set k2 2 QUEUED 127.0.0.1:6379(TX)> set k3 3 QUEUED 127.0.0.1:6379(TX)> get k1 QUEUED 127.0.0.1:6379(TX)> exec 1) (error) ERR value is not an integer or out of range 2) OK 3) OK 4) OK 5) "1"
监控 Watch (面试常问)
乐观锁:
悲观锁:
Redis监视测试
正常执行成功!
127.0.0.1:6379> set money 1000 OK 127.0.0.1:6379> set out 0 OK 127.0.0.1:6379> watch money # 监视 money OK 127.0.0.1:6379> multi # 开启事务 OK 127.0.0.1:6379(TX)> decrby money 20 QUEUED 127.0.0.1:6379(TX)> incrby out 20 QUEUED 127.0.0.1:6379(TX)> exec # 执行事务 1) (integer) 980 2) (integer) 20
测试多线程修改值,使用watch可以当做redis的乐观锁
127.0.0.1:6379> watch money # 监视 money OK 127.0.0.1:6379> multi OK 127.0.0.1:6379(TX)> decrby money 100 QUEUED 127.0.0.1:6379(TX)> incrby out 100 QUEUED 127.0.0.1:6379(TX)> exec # 执行线程之前 另一个线程修改了 money值 这时候就会导致事务执行失败 (nil)
如果事务执行失败就解锁后重新获取锁就行
127.0.0.1:6379> unwatch # 这里的解锁可以没有必要 因为无论执行是否成功 都会解锁 OK 127.0.0.1:6379> watch money # 重新获取锁 获取最新的值 OK 127.0.0.1:6379> multi OK 127.0.0.1:6379(TX)> decrby money 100 QUEUED 127.0.0.1:6379(TX)> incrby out 100 QUEUED 127.0.0.1:6379(TX)> exec # 比较监视的值是否发生变动,若没变动就会成功,变动了就直接失败 1) (integer) 980 2) (integer) 100