1、写在前面

最近在看尚硅谷的Redis视频，里面的老师说到了事务冲突，我寻思Redis是单线程的，而且事务还有隔离性，哪来的事务冲突，于是上网搜答案，结果清一色复制粘贴，最后在看官网文档后才想明白这个问题，结论就是Redis没有事务冲突。
注：本文不适合没了解过Redis事务的人阅读

2、Redis事务

有三个阶段：

  • 开始事务（MULTI）
  • 命令入队
  • 执行事务（EXEC）/ 取消事务（DISCARD）

有两个保证：

  • 事务中的所有命令都将被串行执行，事务执行过程中，Redis不会接收其它客户端发送的请求
  • 服务器如果在接收到EXEC命令前丢失了客户端连接，那么事务中的所有命令都不会被执行，如果接收到了EXEC命令，那么事务中的所有命令都会被执行。

有两种错误：

  • 入队异常 -> 所有命令都不会被执行
  • 执行异常 -> 除了异常命令外的其它命令都会继续执行

3、WATCH命令

WATCH命令为事务提供CAS（check-and-set），当两个事务产生资源竞争的时候，可以用WATCH对资源进行监控，如果资源发生变化，则取消执行当前事务。下面为大家举个例子说明，假如我们要将钱包里的钱扣减1000（myMoney表示钱包里的钱，初始值假设为1500），那么我们可以使用下面这个命令：

DECRBY myMoney 1000

然后我们会发现上面这个命令执行两次及以上时，myMoney就会变成负数，因此需要先将myMoney值取出来，判断大于等于1000后再进行扣减：

val = GET myMoney
if val >= 1000:
    DECRBY myMoney 1000

上述命令分了三个步骤（取值、判断、扣减），如果两个客户端同时进行请求，会导致第二个请求执行执行到判断语句时，val还是1500，但是在执行扣减语句时，val已经变成500了，所以要用WATCH命令对myMoney进行监控：

WATCH myMoney
val = GET myMoney
if val >= 1000:
    MULTI
    DECRBY myMoney 1000
    EXEC

上述代码都是伪代码，就是为了说明WATCH怎么跟事务搭配着用。

4、写在后面

其实根据第二节的两个保证，就可以很明确的看出来Redis是没有事务冲突的，因为Redis的两个事务是不可能同时执行的。

那为什么要讲WATCH命令呢？

这是由于很多博客都在说因为Redis有事务冲突，所以要用到这个WATCH命令，这里我认为是他们讲错了，实际上是因为两个事务之间会有资源竞争，我认为的事务冲突是两个事务的命令会交叉着执行。

有什么不对的地方请指正！