事务
redis事物本质:一组命令的集合!一个事务中的所以命令都会被序列化,在事务执行过程中,会按照顺序执行!
-------------队列 set set set 执行 --------------
redis事务没有隔离级别概念!
所有命令在事务中,并没有直接被执行!只有发起执行命令的时候才会执行!exec
redis单条命令保存原子性,但是事务不保证原子性!
redis事务:
- 开启事务(multi)
- 命令入队(…)
- 执行事务(exec)
正常执行事务
127.0.0.1:6379[8]> multi
OK
127.0.0.1:6379[8](TX)> set k1 vi
QUEUED
127.0.0.1:6379[8](TX)> set k2 v2
QUEUED
127.0.0.1:6379[8](TX)> get k1
QUEUED
127.0.0.1:6379[8](TX)> set k3 v3
QUEUED
127.0.0.1:6379[8](TX)> exec
1) OK
2) OK
3) "vi"
4) OK
放弃事务
127.0.0.1:6379[8]> multi #开启事务
OK
127.0.0.1:6379[8](TX)> set k1 v1
QUEUED
127.0.0.1:6379[8](TX)> set k4 v4
QUEUED
127.0.0.1:6379[8](TX)> discard #取消事务
OK
127.0.0.1:6379[8]> get k4 #队列中的命令都不会执行
(nil)
编译型异常(代码有问题!命令有错),事务中所有命令都不会执行!
127.0.0.1:6379[8]> multi
OK
127.0.0.1:6379[8](TX)> set k1 v1
QUEUED
127.0.0.1:6379[8](TX)> set k1 v1
QUEUED
127.0.0.1:6379[8](TX)> set k2 v2
QUEUED
127.0.0.1:6379[8](TX)> getset k3 #错误的命令
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379[8](TX)> set ke v4
QUEUED
127.0.0.1:6379[8](TX)> exec #执行事务报错!所有命令都不会被执行
(error) EXECABORT Transaction discarded because of previous errors.
运行时错误1/0,如果事务队列存在语法性,那么执行时,其他命令可以正常执行,错误命令抛出异常!
127.0.0.1:6379[8]> set k1 v1
OK
127.0.0.1:6379[8]> multi
OK
127.0.0.1:6379[8](TX)> incr k1 #错误的命令
QUEUED
127.0.0.1:6379[8](TX)> set k1 v1
QUEUED
127.0.0.1:6379[8](TX)> get k1
QUEUED
127.0.0.1:6379[8](TX)> exec
1) (error) ERR value is not an integer or out of range #虽然第一条哦命令报错,但是依旧正常执行成功!
2) OK
3) "v1"
监控!Watch
mysql
悲观锁:
- 很悲观,什么时候都会出问题,无论什么时候都会加锁!
乐观锁:
- 很乐观,认为什么时候都不会出问题,所以不会上锁!更新数据的时候判断一下,在此期间是否有人修改过这个数据,version!
- 获取version
- 更新的时候比较version
Redis监视测试:
正常执行成功!
127.0.0.1:6379[8]> set money 100
OK
127.0.0.1:6379[8]> set out 0
OK
127.0.0.1:6379[8]> watch money #监视money对象
OK
127.0.0.1:6379[8]> multi #事务正常结束,数据期间没有发生变动,这个时候正常执行成功
OK
127.0.0.1:6379[8](TX)> decrby money 20
QUEUED
127.0.0.1:6379[8](TX)> incrby out 20
QUEUED
127.0.0.1:6379[8](TX)> exec
1) (integer) 80
2) (integer) 20
测试多线程修改值,监视失败,使用watch相当于乐观锁!
127.0.0.1:6379[8]> watch money #监视money
OK
127.0.0.1:6379[8]> multi
OK
127.0.0.1:6379[8](TX)> decrby money 10
QUEUED
127.0.0.1:6379[8](TX)> incrby out 10
QUEUED
127.0.0.1:6379[8](TX)> exec #执行之前,另外一个线程修改了值,导致事务执行失败
(nil)
如果修改失败,获取最新的值就好(重新监视)
127.0.0.1:6379[8]> unwatch #如果发现事务执行失败,先解锁
OK
127.0.0.1:6379[8]> watch money #获取最新的值,再次监视,select version
OK
127.0.0.1:6379[8]> multi
OK
127.0.0.1:6379[8](TX)> decrby money 1
QUEUED
127.0.0.1:6379[8](TX)> incrby out 1
QUEUED
127.0.0.1:6379[8](TX)> exec #对比监视的值是否发生了变化,没有变化,执行成功,变化了就执行失败。
1) (integer) 999
2) (integer) 21