Redis事务操作
Redis事务本质:
一组命令的集合(一组命令一起执行)!一个事务中的所有命令都会被序列化,在事务执行过程中,会按照顺序执行。
一次性、顺序性、排他性(事务在执行时不允许被干扰)执行一系列的命令
---队列 set set set 执行---
所有命令在事务中并没有直接执行!只有发起执行命令时才会执行!所以Redis事务没有隔离级别的概念!
提到事务我们最先想到的就是原子性,也就是大家常说的要么同时成功要么同时失败,在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
- 放弃事务 (DISCARD)
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> set k4 v4
QUEUED
127.0.0.1:6379> DISCARD #放弃事务 事务队列中的命令不会被执行
OK
127.0.0.1:6379>
- 事务异常
代入java中的异常概念
编译型异常(代码有问题!命令有问题!),事务中所有命令都不会被执行
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> exec
(error) EXECABORT Transaction discarded because of previous errors. #所有命令都不会被执行
127.0.0.1:6379>
运行时异常(1/0)如果事务队列中存在语法性异常,那么执行命令的时候,其他命令是可以正常执行的,错误命令抛出异常。证明Redis事务是不保证原子性的。
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set k1 "v1" #设置一个字符串的值
QUEUED
127.0.0.1:6379> incr k1 #自增1 因为是字符串的值所以会报错
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> exec
1) OK #执行成功
2) (error) ERR value is not an integer or out of range #提示错误
3) OK #执行成功
127.0.0.1:6379> get k1
"v1"
127.0.0.1:6379> get k2
"v2"
Redis锁:(Watch)
- 悲观锁
很悲观,认为什么时候都会有问题,无论做什么都会加锁,会很影响性能。 - 乐观锁
很乐观,认为什么时候都不会出问题,无论什么时候都不会加锁!在更新数据的时候去判断一下,在此期间是否有人修改过这个数据。
1.获取version
2.更新的时候比较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的乐观锁操作。
线程1:
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 #执行之前如果另外的线程修改了我们监视的值 money,这个时候就会导致执行失败
(nil)
127.0.0.1:6379>
线程2:
127.0.0.1:6379> get money
"80"
127.0.0.1:6379> set money 1000 #在线程1执行之前修改监控的值
OK
127.0.0.1:6379>
执行失败之后处理方式
修改失败获取最新的值
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 5
QUEUED
127.0.0.1:6379> incrby out 1
QUEUED
127.0.0.1:6379> exec #再次执行如果被监视的值没有变化就执行成功,如果改变了重复此操作
1) (integer) 995
2) (integer) 21
127.0.0.1:6379>