Redis事务操作
原子性:要么同时成功,要么同时失败
Redis单条命令是保证原子性的,但是食物不保证原子性。
Redis事务的本质:一组命令的集合,一个事务中的所有命令都会被序列化,在事务执行的过程中,会按照顺序执行。一次性、顺序性、拍他性。Redis事务没有隔离级别的概念。所有的命令在事务中,并没有直接被执行,只有发起执行命令的时候才会执行。
Redis事务
开启事务
命令入队
执行事务
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
(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 k2 #所有命令都不会被执行
(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"
redis监控
悲观锁
很悲观,认为什么时候都会出问题,无论做什么都会加锁
乐观锁
很乐观,认为什么时候都不会出问题,不会上锁,更新数据的时候去判断一下,在此期间是否有人修改过这个数据
获取version版本号
更新的时候比较version版本号
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的乐观锁操作
如下线程1开始执行时开启watch监控,然后开启事务,执行相应命令加入到事务队列中,将要提交的时候,线程2插入进来修改money对象的值,线程2执行完成后,线程1提交事务,此时watch监控到money被修改,事务提交失败,返回nil,相当于乐观锁操作。当发现事务执行失败,先unwatch解锁,再重新 watch
线程1:
127.0.0.1:6379> watch 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)
线程2:
127.0.0.1:6379> get money
"80"
127.0.0.1:6379> set money 1000
OK