Redis基本的事务操作
事务
MYSQL:ACID!
Redis事务本质:一组命令的集合!一个事务的所有命令都会被序列化,在事务执行过程中,会按照顺序执行!
一次性、顺序性、排他性!执行一系列的命令!
------ 队列 set set set ------
Redis事务没有隔离级别的概念!
所有的命令在事务中,并没有直接被执行!只有发起执行命令的时候才会执行!Exec
Redis单挑命令是保证原子性的,但是事务不保证原子性!
redis的事务分为三个阶段:
- 开启事务(Multi)
- 命令入队(.........)
- 执行事务(exec)
正常执行事务
正常执行事务!
127.0.0.1:6379> multi # 开启事务
OK
#命令入队
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> get k2
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> exec # 执行事务
1) OK
2) OK
3) "v2"
4) OK
放弃事务
放弃事务!
127.0.0.1:6379> multi # 开启事务
OK
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> set k4 v4
QUEUED
127.0.0.1:6379> DISCARD # 取消事务
OK
127.0.0.1:6379> get k4 # 事务队列中的命令都没有被执行,所以得到k4的值为nil
(nil)
编译型异常
编译型异常(代码有问题!命令有错),事务中所有的命令都不会被执行!
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> getset k3 # 错误的命令
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379> set k4 v4
QUEUED
127.0.0.1:6379> set k5 v5
QUEUED
127.0.0.1:6379> exec # 执行事务报错!
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get k5 # 事务队列里所有的命令都不会被执行!所以k5的值为nil
(nil)
运行时异常
运行时异常,如果事务队列中某一条命令存在语法性的错误,那么执行命令的时候,其他命令是可以正常执行的!错误命令会抛异常
127.0.0.1:6379> set k1 "v1"
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> incr k1 # 这里入队的时候不会失败,执行的时候会失败!
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> get k3
QUEUED
127.0.0.1:6379> exec
1) (error) ERR value is not an integer or out of range #虽然第一条命令报错了,但是后面的命令依旧正常执行成功了!
2) OK
3) OK
4) "v3"
127.0.0.1:6379> get k2
"v2"
127.0.0.1:6379> get k3
"v3"
Redis实现乐观锁
监控 !Watch
悲观锁:
- 很悲观,认为什么时候都会出问题,无论做什么都会加锁!
乐观锁:
-
很乐观,认为什么时候都不会出现问题,所以不会加锁!只会在更新数据的时候去判断一下,在此期间是否有人修改过这个数据,
MySQL使用的是一个version字段来处理的!
-
乐观锁的原理:先获得一个version,然后更新的时候比较version
Redis的监视测试
正常执行成功!
127.0.0.1:6379> set money 100
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> DECRBY money 20
QUEUED
127.0.0.1:6379> INCRBY out 20
QUEUED
127.0.0.1:6379> exec # 事务正常执行结束,数据期间没有发生变动,这个时候就正常执行成功!
1) (integer) 80
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> DECRBY money 10
QUEUED
127.0.0.1:6379> INCRBY out 10
QUEUED
127.0.0.1:6379> exec # 执行之前,另外一个线程修改了我们的值,这个时候就会导致事务执行失败!
(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> DECRBY money 1
QUEUED
127.0.0.1:6379> INCRBY out 1
QUEUED
127.0.0.1:6379> exec # 比对监视的值是否发生了变化,如果没有变化那么可以执行成功,如果有变化就执行失败
1) (integer) 999
2) (integer) 21