Redis事务

1、Redis 的事务定义

Redis事务是一个单独的隔离操作：事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。

Redis事务的主要作用就是串联多个命令防止别的命令插队。

2、Multi、Exec、discard

从输入Multi命令开始，输入的命令都会依次进入命令队列中，但不会执行，直到输入Exec后，Redis会将之前的命令队列中的命令依次执行。

组队的过程中可以通过discard来放弃组队。 

案例：

 

 

如果组队阶段报错(比如某条指令写错)，会导致提交失败

 

3、事务错误的处理

组队中某个命令出现了报告错误，执行时整个的所有队列都会被取消。

 

如果执行阶段某个命令报出了错误，则只有报错的命令不会被执行，而其他的命令都会执行，不会回滚。

4、为什么要做成事务？

 想想一个场景：有很多人有你的账户,同时去参加双十一抢购

5、事务冲突问题

1、例子

假设账户余额是10000元

一个请求想给金额减8000

一个请求想给金额减5000

一个请求想给金额减1000

在并发场景下，如果操作是非原子性的，会导致以上的状况

1、线程1，线程2，线程3 先判断当前账户余额大小，是超过要支出的金额的

2、线程1，2，3，都通过了第一步判断，然后继续执行支出操作

3、三个线程都支出成功，最后发现账户余额变成了-4000

如果我们想解决这个问题，有哪些办法？

1、让事务之间相互隔离，即三条指令逐一进行，这种解决办法，使得并发事务变得串行化，三个线程排排坐，先判断余额，再进行支出，这是一个完整的操作，不能被打断。

由此，我们引出悲观锁：

 悲观锁(Pessimistic Lock), 顾名思义，就是很悲观，每次去拿数据的时候都认为别人会修改，所以每次在拿数据的时候都会上锁，这样别人想拿这个数据就会block直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制，比如行锁，表锁等，读锁，写锁等，都是在做操作之前先上锁。(这是一种独占锁)。

2、乐观锁

 

 乐观锁(Optimistic Lock), 顾名思义，就是很乐观，每次去拿数据的时候都认为别人不会修改，所以不会上锁，但是在更新的时候会判断一下在此期间别人有没有去更新这个数据，可以使用版本号等机制。乐观锁适用于多读的应用类型，这样可以提高吞吐量。Redis就是利用这种check-and-set机制实现事务的。

2、WATCH key [key ...]

在执行multi之前，先执行watch key1 [key2],可以监视一个(或多个) key ，如果在事务执行之前这个(或这些) key 被其他命令所改动，那么事务将被打断。

3、unwatch

取消 WATCH 命令对所有 key 的监视。

如果在执行 WATCH 命令之后，EXEC 命令或DISCARD 命令先被执行了的话，那么就不需要再执行UNWATCH 了。

6、Redis 事务三特性

• 单独的隔离操作
  1. 事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。
• 没有隔离级别的概念
  1. 队列中的命令没有提交之前都不会实际被执行，因为事务提交前任何指令都不会被实际执行
• 不保证原子性
  1. 事务中如果有一条命令执行失败，其后的命令仍然会被执行，没有回滚

7、案例

在进行秒杀场景测试的时候，会出现一些问题：

(多个线程，操作共同资源，临界区是在内存里的，但线程内部有自己的栈空间的，线程操作临界资源，会把内存里的资源拷贝到自己的操作数栈，局部变量表等结构，操作结束后，再拷贝回内存中，线程与线程之间的栈空间是相互隔离的，某种意义上说，线程内部空间是安全的)

1、超卖问题

1、描述

 

 

2、利用乐观锁淘汰用户，解决超卖问题

 

2、已经秒杀光，但是还有库存

已经秒光，可是还有库存。原因，就是乐观锁导致很多请求都失败。先点的没秒到，后点的可能秒到了。

使用任务队列的模式(其实就是一种串行化)实际上是redis 利用其单线程的特性，用任务队列的方式解决多任务并发问题。