Redis的事务

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同一个事务中如果有一条命令执行失败，其后的命令任然会被执行，没有回滚