Redis的事务
1、Redis的事务是什么?
可以一次执行多个命令,本质是一组命令的集合。一个事务中的所有命令都会序列化,按顺序地串行化执行而不会被其它命令插入,不允许加塞
2、用途
一个队列中,一次性、顺序性、排他性的执行一系列命令
3、常用命令
案例:
#正常执行
#multi标记一个事务块的开始
127.0.0.1:6379> multi
OK
#操作进入队列
127.0.0.1:6379> set id 12
QUEUED
127.0.0.1:6379> get id
QUEUED
127.0.0.1:6379> incr id
QUEUED
127.0.0.1:6379> decr id
QUEUED
127.0.0.1:6379> get id
QUEUED
#exec执行所有事务块内的命令
127.0.0.1:6379> exec
1) OK
2) "12"
3) (integer) 13
4) (integer) 12
5) "12"
#放弃事务
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set name z3
QUEUED
127.0.0.1:6379> set age 28
QUEUED
127.0.0.1:6379> incr id
QUEUED
#discard放弃事务
127.0.0.1:6379> discard
OK
#执行事务失败情况一
#存在语法错误,事务中的命令都不执行
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set name zs
QUEUED
127.0.0.1:6379> get name
QUEUED
127.0.0.1:6379> set age 19
QUEUED
127.0.0.1:6379> incr age
QUEUED
127.0.0.1:6379> get age
QUEUED
#语法错误
127.0.0.1:6379> set email
(error) ERR wrong number of arguments for 'set' command
#事务中的命令都不执行
127.0.0.1:6379> exec
(error) EXECABORT Transaction discarded because of previous errors.
#执行事务失败情况二
#执行命令时存在逻辑上的错误,事务中其他命令正常执行,逻辑上存在问题的命令不执行。
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set name abc
QUEUED
127.0.0.1:6379> get name
QUEUED
127.0.0.1:6379> set age 19
QUEUED
127.0.0.1:6379> get age
QUEUED
#存在逻辑上的问题,字符串不能进行加减运算
127.0.0.1:6379> incr name
QUEUED
127.0.0.1:6379> get name
QUEUED
127.0.0.1:6379> exec
1) OK
2) "abc"
3) OK
4) "19"
5) (error) ERR value is not an integer or out of range
6) "abc"
4、watch监控
1、悲观锁/乐观锁/CAS(Check And Set)
-
悲观锁:
悲观锁(Pessimistic Lock),顾名思义,就是很悲观,每次去拿数据的时候都认为别人会修改,所以每次在拿数据的时候都会上锁,这样别人想拿这个数据就会block直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制,比如行锁,表锁等,读锁,写锁等,都是在做操作之前先上锁。
-
乐观锁:
乐观锁(Optimistic Lock),顾名思义,就是很乐观,每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,可以使用版本号等机制。乐观锁适用于读多写少的应用类型,这样可以提高吞吐量。
乐观锁策略:提交版本必须大于记录当前版本才能执行更新
2、初始化信用卡可用余额和欠额
127.0.0.1:6379> set balance 100
OK
127.0.0.1:6379> set debt 0
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby balance 30
QUEUED
127.0.0.1:6379> incrby debt 30
QUEUED
127.0.0.1:6379> exec
1) (integer) 70
2) (integer) 30
127.0.0.1:6379> get balance
"70"
127.0.0.1:6379> get debt
"30"
3、无加塞篡改,先监控再开启multi,保证两笔金额变动在同一个事务内
#监控balance,事务正常执行完后释放监控
127.0.0.1:6379> watch balance
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby balance 10
QUEUED
127.0.0.1:6379> incrby debt 10
QUEUED
127.0.0.1:6379> exec
1) (integer) 60
2) (integer) 40
4、有加塞篡改
监控了key,如果key被修改了,后面一个事务的执行失效
#监控balance
127.0.0.1:6379> watch balance
OK
#此处修改了balance,会导致后面执行事务失败
127.0.0.1:6379> set balance 300
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby balance 15
QUEUED
127.0.0.1:6379> incrby debt 15
QUEUED
#执行事务失败,返回(nil)
127.0.0.1:6379> exec
(nil)
#balance未发生改变
127.0.0.1:6379> get balance
"300"
5、unwatch
#监控balance
127.0.0.1:6379> watch balance
OK
127.0.0.1:6379> set balance 300
OK
127.0.0.1:6379> set balance 350
OK
#释放监控,不监控balance
127.0.0.1:6379> unwatch
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set balance 100
QUEUED
127.0.0.1:6379> set debt 0
QUEUED
127.0.0.1:6379> exec
1) OK
2) OK
127.0.0.1:6379> get balance
"100"
6、一旦执行了exec之前加的监控锁都会被取消掉了
7、小结:
watch指令,类似乐观锁,事务提交时,如果key的值已被别的客户端改变,比例如list已被别的客户端push/pop过了,整个事务队列都不会被执行。
通过watch命令在事务执行之前监控了多个keys,倘若在watch之后任何key的值发生了变化,exec命令执行的事务都将被放弃,同时返回Nullmulti-bulk应答以通知者事务执行失败
8、三阶段
开启:以multi开始一个事务
入队:将多个命令入队到事务中,接到这些命令并不会立即执行,而是放到等待执行的事务队列里面
执行:由exec命令触发事务
9、三特性
- 单独的隔离操作:事务中的所有命令都会序列化、按顺序的执行。事务在执行的过程中,不会被其它客户端发送过来的命令请求所打断。
- 没有隔离级别的概念:队列中的命令没有提交之前都不会实际的被执行,因为事务提交前任何指令都不会被实际执行
- 不保证原子性:redis同一个事务中如果有一条命令执行失败,其后的命令任然会被执行,没有回滚
中,接到这些命令并不会立即执行,而是放到等待执行的事务队列里面
执行:由exec命令触发事务
9、三特性
- 单独的隔离操作:事务中的所有命令都会序列化、按顺序的执行。事务在执行的过程中,不会被其它客户端发送过来的命令请求所打断。
- 没有隔离级别的概念:队列中的命令没有提交之前都不会实际的被执行,因为事务提交前任何指令都不会被实际执行
- 不保证原子性:redis同一个事务中如果有一条命令执行失败,其后的命令任然会被执行,没有回滚