【Redis】事务

Redis 事务

1. Redis事务的本质是一组命令的集合，一个事务中的所有命令都会被序列化，在事务执行过程中，会按照顺序执行
2. 特点

• 一次性
• 顺序性
• 排他性

3. Redis 事务没有隔离级别的概念
   所有的命令在事务中，并没有直接被执行。 只有发起执行命令Exec 才会执行
4. Redis单条命令是保证原子性的，但事务不保证原子性

Redis 正常执行事务 exec

1. 开启事务(multi)
2. 命令入队(…)
3. 执行事务(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> set k3 v3
QUEUED
127.0.0.1:6379> get k2
QUEUED
127.0.0.1:6379> exec #执行事务
1) OK
2) OK
3) OK
4) "v2"

放弃事务 discard

discard 放弃事务
放弃事务后 事务队列中的命令都不被执行

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> exec #执行事务 报错 所有的命令都不会执行
(error) EXECABORT Transaction discarded because of previous errors.

运行时异常

如果事务队列中存在语法型错误，那么执行命令的时候，其他命令时可以正常执行的。 【也就是不保证原子性了】

127.0.0.1:6379> set k1 v1
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> incr k1 # 字符串不能加1 会报错
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"

watch 监视

监视一个(或多个) key ，如果在事务执行之前这个(或这些) key 被其他命令所改动，那么事务将被打断。

悲观锁和乐观锁

watch可以充当乐观锁

• 悲观锁：
  很悲观，认为什么都会出问题，无论做什么都会加锁
• 乐观锁：
  很乐观，认为什么都不会出问题，所以不会上锁！
  更新数据的时候取判断一下，在此期间是否有人修改过这个数据。

java中就是获取version，然后更新的时候比较version。
在redis中，可以通过watch 实现乐观锁

事务正常结束

例子： 监视money ，事务正常结束

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

测试多线程修改完值

再开一个，做如下操作

127.0.0.1:6379> get money
"80"
127.0.0.1:6379> set money 1000 
OK
127.0.0.1:6379>

原来的线程 用watch监视money，因为另一个中途改了money的值，所以这个事务不能执行
所以使用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> incryby out 10
(error) ERR unknown command `incryby`, with args beginning with: `out`, `10`,
127.0.0.1:6379> incrby out 10
QUEUED
127.0.0.1:6379> exec # 执行之前，另外一个线程修改了值
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379>

unwatch

事务执行失败后 先用unwatch解锁
然后再用watch 监视