1.Redis 事务定义

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

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

2. Multi 、Exec 、discard

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

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

案例1

 

 

组队成功，提交成功

案例2

 

 

 

 组队阶段报错，提交失败

 

 

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

案例3

 

 

组队成功，提交有成功有失败情况，由于v1为字符串类型，incr执行失败。 

 

 

 

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

3.乐观锁

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

4.事务冲突的例子

watch  key  [key ...]

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

unwatch

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

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

案例 

客户端1> set k1 100
客户端1> watch k1
 
客户端2> watch k1 
 
客户端1> multi
客户端1> incrby k1 10
 
客户端2> multi
客户端2> incrby k1 20
 
客户端1> exec  #修改成功
客户端2> exec  #修改失败

该案例验证了redis使用的是乐观锁实现事务

5.Redis  事务三特性

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

➢  没有隔离级别的概念
◼  队列中的命令没有提交之前都不会实际被执行，因为事务提交前任何指令都不会被实际执行

➢  不保证原子性
◼  事务中如果有一条命令执行失败，其后的命令仍然会被执行，没有回滚